|
|
The Call-by-need Lambda Calculus, Revisited
– Stephen Chang, Matthias Felleisen
|
|
|
unknown title
– unknown authors
|
|
5
|
Small-step and big-step semantics for call-by-need
– Keiko Nakata, et al.
- 2009
|
|
17
|
A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines
– Małgorzata Biernacka, Olivier Danvy
- 2005
|
|
|
On Inter-deriving Small-step and Big-step Semantics: A Case Study for Storeless Call-by-need Evaluation
– Olivier Danvy A, Kevin Millikin B, Johan Munk C, Ian Zerny A
|
|
|
Under consideration for publication in J. Functional Programming 1 Lazy modules
– Keiko Nakata
- 2009
|
|
8
|
Purely Functional Lazy Non-deterministic Programming
– Sebastian Fischer, Chung-chieh Shan
|
|
1
|
Tracing the Evaluation of Lazy Functional Languages: a Model and its Implementation
– Richard Watson, Eric Salzman
- 1997
|
|
17
|
On the Dynamic Extent of Delimited Continuations
– Dariusz Biernacki, Olivier Danvy
- 2005
|
|
|
Denotational semantics for lazy initialization of letrec black
– Keiko Nakata
|
|
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
|
|
7
|
FUNDIO: A Lambda-Calculus with a letrec, case, Constructors, and an IO-Interface: Approaching a Theory of unsafePerformIO
– Manfred Schmidt-Schauß
- 2003
|
|
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
|
|
32
|
A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines
– Mads Sig Ager, Olivier Danvy, Jan Midtgaard
- 2004
|
|
2
|
A Substructural Type System for Delimited Continuations ⋆
– Oleg Kiselyov, Chung-chieh Shan
|
|
2
|
Separating Weakening and Contraction in a Linear Lambda Calculus
– John Maraist
- 1996
|
|
|
Signed Date
– Richard Douglas Watson, Be Mengsc Dipcompsc
|
|
166
|
Parameter-Passing and the Lambda Calculus
– Erik Crank, Matthias Felleisen
- 1991
|
