Optimising Parallel Pattern-matching

Cached

Download Links

by Source-Level Program Transformation

Active Bibliography

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
36 The sequentially realizable functionals – John Longley
1 Matching typed and untyped realizability (Extended abstract) – John Longley
24 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
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
1 Operational Semantics of Rewriting with Priorities – Jaco van de Pol, Van De Pol - 1997
15 Functional logic overloading – Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber - 2002
15 The Functional Strategy and Transitive Term Rewriting Systems – Yoshihito Toyama, Sjaak Smetsers, Marko van Eekelen, Rinus Plasmeijer - 1993
11 Compiling Lazy Pattern Matching – Luc Maranget - 1992
294 An Implementation of Narrowing Strategies – Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner - 2001
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
Continuity of Gödel’s system T definable functionals via effectful forcing – Martín Escardó