Design of the Programming Language Forsythe (1996)

by John C. Reynolds
Citations:111 - 0 self

Active Bibliography

132 On the Expressive Power of Programming Languages – Matthias Felleisen - 1990
35 Semantics of Local Variables – P.W. O'Hearn, R. D. Tennent - 1992
8 Abstract Models of Storage – Robert D. Tennent, Dan R. Ghica - 2000
9 Models for Persistence in Lazy Functional Programming Systems – David John McNally - 1993
29 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
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
67 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
Acknowledgments – unknown authors
Lambda-Calculus and Functional Programming – Jonathan P. Seldin
255 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
23 Correctness of Data Representations involving Heap Data Structures – Uday S. Reddy, Hongseok Yang - 2003
9 A Semantics for Static Type Inference – Gordon Plotkin - 1993
2 Elaborating Intersection and Union Types – Joshua Dunfield
unknown title – unknown authors
16 Objects, Interference, and the Yoneda Embedding – Peter W. O'Hearn, Uday S. Reddy - 1995
55 Semantics of Types for Mutable State – Amal Jamil Ahmed - 2004