Compilation of non-linear, second order patterns on S-expressions (1990)

Cached

Download Links

by Christian Queinnec
Venue:In 2nd Int. Symp. on Programming Language Implementation and Logic Programming, LNCS 456
Citations:8 - 1 self

Active Bibliography

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
9 Models for Persistence in Lazy Functional Programming Systems – David John McNally - 1993
8 A Pragmatic Approach to the Analysis and Compilation of Lazy Functional Languages – Hugh Glaser, Pieter Hartel, John Wild - 1990
17 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
30 A Dynamic Extent Control Operator for Partial Continuations – Christian Queinnec, Bernard Serpette, Ecole Polytechnique - 1991
32 Extensible Denotational Language Specifications – Robert Cartwright, Matthias Felleisen - 1994
48 Static and Dynamic Semantics Processing – Charles Consel, Olivier Danvy - 1991
44 evolution and application of functional programming languages – Paul Hudak - 1989
1 Abstract Interpretation and Attribute Grammars – Mads Rosendahl, Clare Hall - 1992
UNC is an Equal Opportunity/Affirmative Action Institution. Practical Higher-order Functional a nd Logic Programming based o n Lambda Calculus and Set Abstract ioni – Frank S. K. Silbermann, Bharat Jayaraman, Frank S. I<. Silbermann, Bharat Jayaraman - 1988
1 Semantic Analyses for Storage Management Optimizations in Functional Language Implementations – Young Gil Park, Benjamin Goldberg, Grace Sunjung, Jihwa Park - 1991
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