- 06-02552 Principles of Programming Languages The University of Birmingham Spring Semester 2009-10 School of Computer Science
- 06-02552 Principles of Programming Languages The University of Birmingham Spring Semester 2009-10 School of Computer Science
- On the Power of Abstract Interpretation Uday S. Reddy, Samuel N. Kamin
- Global State Considered Unnecessary: Semantics of Interferencefree Imperative Programming
- 06-02552 Principles of Programming Languages The University of Birmingham Spring Semester 2009-10 School of Computer Science
- Objects and Classes in Algol-like Languages Uday S. Reddy
- 06-02552 Principles of Programming Languages The University of Birmingham Spring Semester 2009 School of Computer Science
- Semantics of Parametric Polymorphism in Imperative Programming Languages
- Fine-grained concurrency with separation logic Kalpesh Kapoor Kamal Lodaya Uday Reddy
- 06-02552 Principles of Programming Languages The University of Birmingham Spring Semester 2009-10 School of Computer Science
- Exercise Sheet 0: Solutions January 27, 2010
- 06-02552 Principles of Programming Languages The University of Birmingham Spring Semester 2009-10 School of Computer Science
- 06-02552 Principles of Programming Languages The University of Birmingham Spring Semester 2009-10 School of Computer Science
- 06-02552 Principles of Programming Languages The University of Birmingham Spring Semester 2009-10 School of Computer Science
- 06-02552 Principles of Programming Languages The University of Birmingham Spring Semester 2009-10 School of Computer Science
- 06-02525 Databases 2 The University of Birmingham Autumn Semester 2009 School of Computer Science
- 06-02525 Databases 2 The University of Birmingham Autumn Semester 2009 School of Computer Science
- 06-02525 Databases 2 The University of Birmingham Autumn Semester 2009 School of Computer Science
- 06-02525 Databases 2 The University of Birmingham Autumn Semester 2009 School of Computer Science
- 06-02525 Databases 2 The University of Birmingham Autumn Semester 2009 School of Computer Science
- 06-02525 Databases 2 The University of Birmingham Autumn Semester 2009 School of Computer Science
- 06-02525 Databases 2 The University of Birmingham Autumn Semester 2009 School of Computer Science
- When Parametricity implies Naturality Uday S. Reddy
- J. Symbolic Computation (1993) 11, 1--000 Deductive and Inductive Synthesis
- Clausal Completion Francois Bronsard \Lambda
- Copyright by Brian Patrick Dunphy, 2002 PARAMETRICITY AS A NOTION OF
- 06-02552 Principles of Programming Languages The University of Birmingham Spring Semester 2009-10 School of Computer Science
- 06-02552 Principles of Programming Languages The University of Birmingham Spring Semester 2009 School of Computer Science
- Typed Prolog: A Semantic Reconstruction of the
- A Linear Logic Model of State Uday S. Reddy
- Type Reconstruction for SCI \Lambda Howard Huang Uday Reddy
- Term Rewriting Induction \Lambda Uday S. Reddy y
- 06-02552 Principles of Programming Languages The University of Birmingham Spring Semester 2009-10 School of Computer Science
- 06-02552 Principles of Programming Languages The University of Birmingham Spring Semester 2009-10 School of Computer Science
- On the Semantics of Re nement Calculi Hongseok Yang 1 and Uday S. Reddy 2
- A Framework of Directionality for Proving Termination of Logic Programs
- 06-02552 Principles of Programming Languages The University of Birmingham Spring Semester 2009-10 School of Computer Science
- A Linear Logic Model of State (Preliminary Report)
- Imperative Lambda Calculus Revisited Hongseok Yang Uday Reddy
- Higherorder Aspects of Logic Programming Uday S. Reddy
- J. of Lisp and Symbolic Computation, ?, 1--78 (199?) fl 199? Kluwer Academic Publishers, Boston. Manufactured in The Netherlands.
- Programming Languages for State Manipulation Bibliography
- 06-02552 Principles of Programming Languages The University of Birmingham Spring Semester 2009-10 School of Computer Science
- Electronic Notes in Theoretical Computer Science 1 (1995) to appear Objects, Interference, and the Yoneda
- Fine-grained concurrency with separation logic Kalpesh Kapoor 1 , Kamal Lodaya 2 , Uday Reddy 3
- 06-02525 Databases 2 The University of Birmingham Autumn Semester 2009 School of Computer Science
- 06-02525 Databases 2 The University of Birmingham Autumn Semester 2009 School of Computer Science
- 06-02525 Databases 2 The University of Birmingham Autumn Semester 2009 School of Computer Science
- Syntactic Control of Interference for Separation Logic (Preliminary Report)
- Type Reconstruction for SCI, Part 2 Hongseok Yang Howard Huang
- Passivity and Independence \Lambda Uday S. Reddy
- A Typed Foundation for Directional Logic Programming Uday S. Reddy
- Acceptors as Values Functional Programming in Classical Linear Logic
- 06-02552 Principles of Programming Languages The University of Birmingham Spring Semester 2009-10 School of Computer Science
- 06-02552 Principles of Programming Languages The University of Birmingham Spring Semester 2009-10 School of Computer Science
- 06-02552 Principles of Programming Languages The University of Birmingham Spring Semester 2009-10 School of Computer Science
- Programming Theory 1 Uday S. Reddy
- Separation and Information Hiding Peter W. O'Hearn
- Two Semantic Models of ObjectOriented Languages \Lambda Samuel N. Kamin
- 06-02552 Principles of Programming Languages The University of Birmingham Spring Semester 2009-10 School of Computer Science
- Higher-order Aspects of Logic Programming Uday S. Reddy
- Type Reconstruction for SCI * Howard Huang Uday Reddy
- Global State Considered Unnecessary: Semantics of Interference-free Imperative Programming
- A Framework of Directionality for Proving Termination of Logic Programs
- A Linear Logic Model of State (Preliminary Report)
- Programming Theory1 Uday S. Reddy
- On the Semantics of Refinement Calculi Hongseok Yang1 and Uday S. Reddy2
- Parametric Limits Brian Dunphy
- 06-02552 Principles of Programming Languages The University of Birmingham Spring Semester 2009-10 School of Computer Science
- Assignments for Applicative Languages \Lambda Vipin Swarup y
- When Parametricity implies Naturality (Notes)
- Type Reconstruction for SCI, Part 2 Hongseok Yang Howard Huang
- Arrays in Imperative Lambda Calculus (Extended abstract)
- OcCopyright by Vipin Swarup, 1992 TYPE THEORETIC PROPERTIES OF ASSIGNMENTS
- Acceptors as Values Functional Programming in Classical Linear Logic
- Imperative Lambda Calculus Revisited Hongseok Yang Uday Reddy
- Correctness of Data Representations involving Heap Data Structures
- 06-02525 Databases 2 The University of Birmingham Autumn Semester 2009 School of Computer Science
- Parametric Sheaves for modelling Store Hongseok Yang Uday S. Reddy
- if l = nil then m := cons(a, nil);
- Electronic Notes in Theoretical Computer Science 1 (1995) to appear Objects, Interference, and the Yoneda
- A Linear Logic Model of State Uday S. Reddy
- A Typed Foundation for Directional Logic Programming Uday S. Reddy
- A Logical View of Assignments Vipin Swarup* Uday S. Reddyy
- Assignments for Applicative Languages* Vipin Swarupy Uday S. Reddyz Evan Ireland
- Two Semantic Models of Object-Oriented Languages* Samuel N. Kamin
- Passivity and Independence* Uday S. Reddy
- An Automata-Theoretic Model of Objects Uday S. Reddy
- Parametricity and Naturality in the Semantics of Algol-like Languages
- 06-21923/21980 Fundamentals/ICY: Databases The University of Birmingham Autumn Semester 2011 School of Computer Science
- 06-21923/21980 Fundamentals/ICY: Databases The University of Birmingham Autumn Semester 2011 School of Computer Science
- 06-06994 Fundamentals: Databases The University of Birmingham Autumn Semester 2011 School of Computer Science
- 06-21923/21980 Fundamentals/ICY: Databases The University of Birmingham Autumn Semester 2011 School of Computer Science
- 06-21923/21980 Fundamentals/ICY: Databases The University of Birmingham Autumn Semester 2011 School of Computer Science
- 06-21923/21980 Fundamentals/ICY: Databases The University of Birmingham Autumn Semester 2011 School of Computer Science
- 06-21923/21980 Fundamentals/ICY: Databases The University of Birmingham Autumn Semester 2011 School of Computer Science
- J. of Lisp and Symbolic Computation, ?, 1{78 (199?) c 199? Kluwer Academic Publishers, Boston. Manufactured in The Netherlands.
- 06-21923/21980 Fundamentals/ICY: Databases The University of Birmingham Autumn Semester 2011 School of Computer Science
- Syntactic Control of Interference for Separation Logic Uday S. Reddy
- 06-21923/21980 Fundamentals/ICY: Databases The University of Birmingham Autumn Semester 2011 School of Computer Science
- J Philos Logic (2011) 40:583632 DOI 10.1007/s10992-011-9195-1
- 06-21923/21980 Fundamentals/ICY: Databases The University of Birmingham Autumn Semester 2011 School of Computer Science
- 06-21923/21980 Fundamentals/ICY: Databases The University of Birmingham Autumn Semester 2011 School of Computer Science
- Global State Considered Unnecessary: Semantics of Interference-free Imperative Programming
- 06-21923/21980 Fundamentals/ICY: Databases The University of Birmingham Autumn Semester 2011 School of Computer Science
- 06-21923/21980 Fundamentals/ICY: Databases The University of Birmingham Autumn Semester 2011 School of Computer Science
- 06-21923/21980 Fundamentals/ICY: Databases The University of Birmingham Autumn Semester 2011 School of Computer Science
- 06-21923/21980 Fundamentals/ICY: Databases The University of Birmingham Autumn Semester 2011 School of Computer Science
- 06-21923/21980 Fundamentals/ICY: Databases The University of Birmingham Autumn Semester 2011 School of Computer Science
- 06-21923/21980 Fundamentals/ICY: Databases The University of Birmingham Autumn Semester 2011 School of Computer Science
- 06-21923/21980 Fundamentals/ICY: Databases The University of Birmingham Autumn Semester 2011 School of Computer Science
- 06-21923/21980 Fundamentals/ICY: Databases The University of Birmingham Autumn Semester 2011 School of Computer Science
- c Copyright by Vipin Swarup, 1992 TYPE THEORETIC PROPERTIES OF ASSIGNMENTS
- A Framework of Directionality for Proving Termination of Logic Programs
- A Linear Logic Model of State (Preliminary Report)
- Typed Prolog: A Semantic Reconstruction of the
- Fundamentals:Databases, ICY:Databases Autumn semester, 2011-12 13/12/2011 1 of 5
- A Logical View of Assignments Vipin Swarup
- Acceptors as Values Functional Programming in Classical Linear Logic
- Arrays in Imperative Lambda Calculus (Extended abstract)
- Higher-order Aspects of Logic Programming Uday S. Reddy
- A Typed Foundation for Directional Logic Programming Uday S. Reddy
- Assignments for Applicative Languages Vipin Swarup
- Passivity and Independence Uday S. Reddy
- Two Semantic Models of Object-Oriented Languages Samuel N. Kamin
- A Linear Logic Model of State Uday S. Reddy
