|
116
|
On the Expressive Power of Programming Languages
– Matthias Felleisen
- 1990
|
|
7
|
Abstract Models of Storage
– Robert D. Tennent, Dan R. Ghica
- 2000
|
|
35
|
Semantics of Local Variables
– P.W. O'Hearn, R. D. Tennent
- 1992
|
|
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
|
|
|
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments
– Claus Reinke
- 1998
|
|
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
|
|
64
|
Programming with Intersection Types and Bounded Polymorphism
– Benjamin C. Pierce
- 1991
|
|
6
|
Contextual Polymorphism
– Glen Jeffrey Ditchfield
- 1994
|
|
6
|
Interpreter Prototypes From Formal Language Definitions
– Gregory John Michaelson
- 1993
|
|
|
Lambda-Calculus and Functional Programming
– Jonathan P. Seldin
|
|
237
|
The Revised Report on the Syntactic Theories of Sequential Control and State
– Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb
- 1992
|
|
|
Learning Guide
– Andrew M. Pitts
|
|
22
|
Correctness of Data Representations involving Heap Data Structures
– Uday S. Reddy, Hongseok Yang
- 2003
|
|
9
|
A Semantics for Static Type Inference
– Gordon Plotkin
- 1993
|
|
|
Elaborating Intersection and Union Types
– Joshua Dunfield
|
|
|
unknown title
– unknown authors
|
|
44
|
Semantics of Types for Mutable State
– Amal Jamil Ahmed
- 2004
|
|
16
|
Objects, Interference, and the Yoneda Embedding
– Peter W. O'Hearn, Uday S. Reddy
- 1995
|
|
5
|
Semantics of Dynamic Variables in Algol-like Languages
– Dan R. Ghica
- 1997
|
