|
|
Edinburgh Research Archive >
Browsing by Author Power, John
Showing results 1 to 14 of 14
| Issue Date | Title | Author(s) | Supervisor(s) | | 2002 | Adequacy for Algebraic Effects | Plotkin, Gordon; Power, John | - |
| Nov-1994 | Axiomatic Domain Theory in Categories of Partial Maps | Fiore, Marcelo P | Plotkin, Gordon; Jay, Barry; Power, John |
| Jul-1997 | Categorical Structure of Continuation Passing Style | Thielecke , Hayo | Anderson, Stuart; Power, John |
| 5-Nov-2003 | Combining computational effects: commutativity and sum | Hyland, Martin; Plotkin, Gordon; Power, John | - |
| 6-Nov-2003 | Complete Cuboidal Sets in Axiomatic Domain Theory (Extended Abstract) | Fiore, Marcelo P; Plotkin, Gordon; Power, John | - |
| 2002 | Computational effects and operations: an overview | Plotkin, Gordon; Power, John | - |
| 2000 | Lax Logical Relations | Plotkin, Gordon; Power, John; Sannella, Donald; Tennent, Robert | - |
| 2010 | Logic and handling of algebraic effects | Pretnar, Matija | Plotkin, Gordon; Power, John |
| 2002 | Notions of Computation Determine Monads | Plotkin, Gordon; Power, John | - |
| 2003 | Semantics for algebraic operations | Plotkin, Gordon; Power, John | - |
| Jul-2000 | The structure of call-by-value | Führmann, Carsten | Anderson, Stuart; Power, John |
| Jul-1999 | A Theory of Program Refinement | Denney, Ewen WKC | Plotkin, Gordon; Power, John |
| Jul-1993 | Timed Processes: Models, Axioms and Decidability | Chen, Liang | Anderson, Stuart; Power, John |
| May-1995 | Universal Structure and a Categorical Framework for Type Theory | Takeyama, Makoto | Burstall, Rod; Power, John |
Showing results 1 to 14 of 14
|
