|
Journals in DBLP
- John C. Reynolds
The Discoveries of Continuations. [Citation Graph (0, 0)][DBLP] Lisp and Symbolic Computation, 1993, v:6, n:3-4, pp:233-248 [Journal]
- Lockwood Morris
The Next 700 Formal Language Descriptions. [Citation Graph (0, 0)][DBLP] Lisp and Symbolic Computation, 1993, v:6, n:3-4, pp:249-258 [Journal]
- Michael J. Fischer
Lambda-Calculus Schemata. [Citation Graph (0, 0)][DBLP] Lisp and Symbolic Computation, 1993, v:6, n:3-4, pp:259-288 [Journal]
- Amr Sabry, Matthias Felleisen
Reasoning about Programs in Continuation-Passing Style. [Citation Graph (0, 0)][DBLP] Lisp and Symbolic Computation, 1993, v:6, n:3-4, pp:289-360 [Journal]
- Robert Harper, Mark Lillibridge
Polymorphic Type Assignment and CPS Conversion. [Citation Graph (0, 0)][DBLP] Lisp and Symbolic Computation, 1993, v:6, n:3-4, pp:361-380 [Journal]
|