Calculi for Functional Programming Languages with Assignment (1996)

Cached

Download Links

by Daniel Eli Rabin , Daniel Eli Rabin
Citations:3 - 0 self

Active Bibliography

15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
161 Reasoning about Programs in Continuation-Passing Style – Amr Sabry Sabry, Matthias Felleisen
32 A Syntactic Theory of Dynamic Binding – Luc Moreau - 1997
7 Call byName, Assignment and the Lambda Calculus – Martin Odersky, Dan Rabin, Paul Hudak - 1992
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
42 Semantics of memory management for polymorphic languages – Greg Morrisett, Robert Harper - 1997
32 Extensible Denotational Language Specifications – Robert Cartwright, Matthias Felleisen - 1994
14 A type-theoretic foundation of delimited continuations. Higher Order Symbol – Zena M. Ariola, Hugo Herbelin, Amr Sabry - 2009
49 Fully abstract semantics for observably sequential languages – Robert Cartwright, Robert Cartwright, Pierre-louis Curien, Pierre-louis Curien, Matthias Felleisen, Matthias Felleisen - 1994
12 Reasoning about Explicit and Implicit Representations of State – Amr Sabry , John Field - 1993
34 Functional Nets – Martin Odersky - 2000
108 A Practical Soft Type System for Scheme – Andrew K. Wright, Robert Cartwright - 1993
4 A study of syntactic and semantic artifacts and its application to lambda definability, strong normalization, and weak normalization in the presence of state – Johan Munk - 2008
14 A Monadic Framework for Delimited Continuations – R. Kent Dybvig, Simon Peyton Jones, Amr Sabry
5 Sound Rules for Parallel Evaluation of a Functional Language with callcc – Luc Moreau, Daniel Ribbens - 1993
15 Monadic Encapsulation in ML – Miley Semmelroth, Amr Sabry - 1999
7 Revisiting Coroutines – Ana Lucia de Moura, Roberto Ierusalimschy - 2004
18 The Semantics of Scheme with Future – Luc Moreau - 1996
24 Monadic State: Axiomatization and Type Safety – John Launchbury, Amr Sabry, When Launchbury, Peyton Jones Introduced Encapsulated - 1997