|
2
|
An Implementation of Parallel Pattern-matching via Concurrent Haskell
– Lyndon While, Greg Mildenhall
- 2002
|
|
10
|
Two Techniques for Compiling Lazy Pattern Matching
– Luc Maranget, Luc Maranget, Projet Para
- 1994
|
|
|
Realizability Models for Sequential Computation
– John Longley
- 1998
|
|
12
|
Constructive Data Refinement in Typed Lambda Calculus
– Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki
- 2000
|
|
|
Matching typed and untyped realizability (Extended abstract)
– John Longley
|
|
36
|
The sequentially realizable functionals
– John Longley
|
|
20
|
Biorthogonality, Step-Indexing and Compiler Correctness
– Nick Benton, Chung-Kil Hur
- 2009
|
|
|
Contents
– Lucas Zamboulis, Eep Mittal, Edgar Jasper, Hao Fan, Ra Poulovassilis
- 2008
|
|
4
|
A Parallel Functional Language Compiler for Message-Passing Multicomputers
– Sahalu B. Junaidu
- 1998
|
|
8
|
Compiling Lazy Pattern Matching
– Luc Maranget
- 1992
|
|
|
Operational semantics of rewriting with priorities
– Jaco Van De Pal, Communicated U. Montanari
- 1996
|
|
2
|
Operational Semantics of Term Rewriting with Priorities
– Jaco van de Pol
- 1996
|
|
15
|
Functional logic overloading
– Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber
- 2002
|
|
1
|
Operational Semantics of Rewriting with Priorities
– Jaco van de Pol, Van De Pol
- 1997
|
|
273
|
An Implementation of Narrowing Strategies
– Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner
- 2001
|
|
15
|
The Functional Strategy and Transitive Term Rewriting Systems
– Yoshihito Toyama, Sjaak Smetsers, Marko van Eekelen, Rinus Plasmeijer
- 1993
|
|
9
|
Duality between Call-by-Name Recursion and Call-by-Value Iteration
– Yoshihiko Kakutani, Ii Yoshihiko Kakutani
- 2001
|
|
|
Lazy Least Fixed Points in ML
– François Pottier
|
|
2
|
RZ: A tool for bringing constructive and computable mathematics closer to programming practice
– Andrej Bauer, Christopher A. Stone
- 2007
|
