Sciweavers

JFP
1998
62views more  JFP 1998»
13 years 10 months ago
Classical Logic, Continuation Semantics and Abstract Machines
Thomas Streicher, Bernhard Reus
JFP
1998
39views more  JFP 1998»
13 years 10 months ago
Profiling Large-Scale Lazy Functional Programs
Richard G. Morgan, Stephen A. Jarvis
JFP
1998
44views more  JFP 1998»
13 years 10 months ago
Functorial ML
C. Barry Jay, Gianna Bellè, Eugenio Moggi
JFP
1998
39views more  JFP 1998»
13 years 10 months ago
Monadic Parsing in Haskell
Graham Hutton, Erik Meijer
JFP
1998
36views more  JFP 1998»
13 years 10 months ago
Computational Types from a Logical Perspective
P. N. Benton, Gavin M. Bierman, Valeria de Paiva
JFP
1998
43views more  JFP 1998»
13 years 10 months ago
Functional Unparsing
Olivier Danvy