|
|
Lisp - Almost a whole Truth!
– Christian Queinnec
- 1989
|
|
|
Validation Suite Generation
– This Work, Christian Queinnec, Equipe Icsla
|
|
|
Lambda-Calculus and Functional Programming
– Jonathan P. Seldin
|
|
6
|
Interpreter Prototypes From Formal Language Definitions
– Gregory John Michaelson
- 1993
|
|
14
|
Modules, Macros and Lisp
– Christian Queinnec, Julian Padget
- 1990
|
|
8
|
Models for Persistence in Lazy Functional Programming Systems
– David John McNally, Ky Ss, Tony Davie, Al Dearle, Simon Peyton Jones, Stef Joosten, Graham Kirby
- 1993
|
|
8
|
A Pragmatic Approach to the Analysis and Compilation of Lazy Functional Languages
– Hugh Glaser, Pieter Hartel, John Wild
- 1990
|
|
16
|
Compilation of Functional Languages Using Flow Graph Analysis
– Pieter H. Hartel, Hugh Glaser, John M. Wild
- 1994
|
|
2
|
Struggle - The First Denotational Game
– Christian Queinnec
- 1990
|
|
1
|
PolyScheme: a Semantics for a Concurrent Scheme
– Christian Queinnec
- 1990
|
|
47
|
Static and Dynamic Semantics Processing
– Charles Consel, Olivier Danvy
- 1991
|
|
30
|
A Dynamic Extent Control Operator for Partial Continuations
– Christian Queinnec, Bernard Serpette, Ecole Polytechnique
- 1991
|
|
30
|
Extensible Denotational Language Specifications
– Robert Cartwright, Matthias Felleisen
- 1994
|
|
38
|
evolution, and application of functional programming languages
– Paul Hudak
- 1989
|
|
1
|
Semantic Analyses for Storage Management Optimizations in Functional Language Implementations
– Young Gil Park, Benjamin Goldberg, Grace Sunjung, Jihwa Park
- 1991
|
|
1
|
Abstract Interpretation and Attribute Grammars
– Mads Rosendahl, Clare Hall
- 1992
|
|
11
|
A New Approach to Procedures with Variable Arity
– Kent Dybvig, Robert Hieb
- 1990
|
|
4
|
A Parallel Functional Language Compiler for Message-Passing Multicomputers
– Sahalu B. Junaidu
- 1998
|
|
29
|
Compilation by Transformation in Non-Strict Functional Languages
– André L. de M. Santos
- 1995
|
