|
|
Edinburgh Research Archive >
Browsing by Subject Laboratory for Foundations of Computer Science
Showing results 20 to 39 of 40
| Issue Date | Title | Author(s) | Supervisor(s) | | 3-Nov-2003 | An Illative Theory of Relations | Plotkin, Gordon | - |
| 2000 | Lax Logical Relations | Plotkin, Gordon; Power, John; Sannella, Donald; Tennent, Robert | - |
| 5-Nov-2003 | A Logic for Parametric Polymorphism | Plotkin, Gordon; Abadi, Martin | - |
| 2000 | Logical Full Abstraction and PCF | Longley, John R; Plotkin, Gordon | - |
| 5-Nov-2003 | A Logical View of Composition | Abadi, Martin; Plotkin, Gordon | - |
| 2002 | Notions of Computation Determine Monads | Plotkin, Gordon; Power, John | - |
| 1996 | On a Question of H. Friedman | Plotkin, Gordon | - |
| 1991 | On Functors Expressible in the Polymorphic Typed Lambda Calculus | Plotkin, Gordon; Reynolds, John | - |
| 5-Nov-2003 | A Per Model of Polymorphism and Recursive Types | Abadi, Martin; Plotkin, Gordon | - |
| 2009 | Program Transformations in Weak Memory Models | Sevcik, Jaroslav | Aspinall, David |
| 31-Mar-2008 | Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata and Pushdown Systems | Etessami, Kousha; Wojtczak, Dominik; Yannakakis, Mihalis | - |
| 2009 | Recursive Probabilistic Models: efficient analysis and implementation | Wojtczak, Dominik | Etess, Kousha |
| 2003 | Semantics for algebraic operations | Plotkin, Gordon; Power, John | - |
| 1991 | A Semantics for Static Type Inference | Plotkin, Gordon | - |
| 5-Nov-2003 | A Set-Theoretical Definition of Application | Plotkin, Gordon | - |
| 5-Nov-2003 | Subtyping and Parametricity | Plotkin, Gordon; Abadi, Martin; Cardelli, Luca | - |
| 6-Nov-2003 | Three Inadequate Models | Plotkin, Gordon | - |
| 5-Nov-2003 | Towards a Mathematical Operational Semantics | Plotkin, Gordon; Turi, Daniele | - |
| 5-Nov-2003 | Type Theory and Recursion Extended Abstract | Plotkin, Gordon | - |
| 2008 | Type-based amortized stack memory prediction | Campbell, Brian | Sannella, Don |
Showing results 20 to 39 of 40
|
