On the Expressive Power of Programming Languages (1990)

Cached

Download Links

by Matthias Felleisen
Venue:Science of Computer Programming
Citations:133 - 4 self

Active Bibliography

255 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992
9 Models for Persistence in Lazy Functional Programming Systems – David John McNally - 1993
Reasoning with Continuations III: A Complete Calculus of Control – Amr Sabry, Matthias Felleisen - 1992
32 Reasoning with Continuations II: Full Abstraction for Models of Control – Dorai Sitaram, Matthias Felleisen - 1990
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
39 Observable Sequentiality and Full Abstraction – Robert Cartwright, Matthias Felleisen - 1992
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
Sequential Languages – Robert Cartwright, Pierre-louis Curien, Matthias Felleisen
32 A Syntactic Theory of Dynamic Binding – Luc Moreau - 1997
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
108 A Practical Soft Type System for Scheme – Andrew K. Wright, Robert Cartwright - 1993
6 Interpreter Prototypes From Formal Language Definitions – Gregory John Michaelson - 1993
Lambda-Calculus and Functional Programming – Jonathan P. Seldin
234 A Formulae-as-Types Notion of Control – Timothy G. Griffin - 1990
13 Reasoning about Functions with Effects – Carolyn Talcott - 1997
49 Fully abstract semantics for observably sequential languages – Robert Cartwright, Robert Cartwright, Pierre-louis Curien, Pierre-louis Curien, Matthias Felleisen, Matthias Felleisen - 1994
32 Extensible Denotational Language Specifications – Robert Cartwright, Matthias Felleisen - 1994
Niels Jakob Rehof Morten Heine Srensen – Diku Department Of, Niels Jakob Rehof, Morten Heine Srensen - 1994
14 What is a Purely Functional Language? – Amr Sabry - 1998