|
21
|
Correspondence between Operational and Denotational Semantics
– C. -h. L. Ong
- 1995
|
|
16
|
Higher Order Logic
– Daniel Leivant
- 1994
|
|
3
|
Target code generation from G-machine code
– Thomas Johnsson
- 1986
|
|
24
|
Computational Comonads and Intensional Semantics
– Stephen Brookes, Shai Geva
- 1991
|
|
14
|
Fixed Points and Extensionality in Typed Functional Programming Languages
– Brian T. Howard
- 1992
|
|
|
External Examiner
– Weng Kin Ho, Dr. MartÃn Escardó
- 2006
|
|
1
|
Semantic Orthogonality of Type Disciplines
– Jon G. Riecke, Ramesh Subrahmanyam
- 1997
|
|
402
|
Domain Theory
– Samson Abramsky, Achim Jung
- 1994
|
|
5
|
A Chemical Abstract Machine for Graph Reduction
– Alan Jeffrey
- 1992
|
|
11
|
Game Semantics and Subtyping
– Juliusz Chroboczek
- 1999
|
|
14
|
Foundational Calculi for Programming Languages
– Benjamin C. Pierce
- 1995
|
|
43
|
Presheaf Models for Concurrency
– Gian Luca Cattani
- 1999
|
|
8
|
Models for Persistence in Lazy Functional Programming Systems
– David John McNally, Ky Ss, Tony Davie, Al Dearle, Simon Peyton Jones, Stef Joosten, Graham Kirby
- 1993
|
|
|
Mathematical Investigations of Functional Interpretation of a Constructive Arithmetic System With the Bar Induction (of Type 0) and Definitions By Transfinite Recursion
– n.n.
|
|
6
|
Interpreter Prototypes From Formal Language Definitions
– Gregory John Michaelson
- 1993
|
|
32
|
A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines
– Mads Sig Ager, Olivier Danvy, Jan Midtgaard
- 2004
|
|
27
|
Domains and Denotational Semantics: History, Accomplishments and Open Problems
– Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark
- 1996
|
|
1
|
Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles
– Seyed H. Haeri
- 2009
|
|
|
Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles
– Seyed H. Haeri (Hossein)
- 2009
|
