John Launchbury
John Launchbury
Chief Scientist, Galois
Verified email at
Cited by
Cited by
A short cut to deforestation
A Gill, J Launchbury, SL Peyton Jones
Proceedings of the conference on Functional programming languages and …, 1993
A natural semantics for lazy evaluation
J Launchbury
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993
Haskell 98—A Non− strict ‚Purely Functional Language
P Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, S Fraser, ...
Available from http://www. haskell. org/definition/, 1999
Lazy functional state threads
J Launchbury, SL Peyton Jones
ACM SIGPLAN Notices 29 (6), 24-35, 1994
Unboxed values as first class citizens in a non-strict functional language
SLP Jones, J Launchbury
Conference on Functional Programming Languages and Computer Architecture …, 1991
State in haskell
J Launchbury, SLP Jones
Lisp and symbolic computation 8 (4), 293-341, 1995
Implicit parameters: Dynamic scoping with static types
JR Lewis, J Launchbury, E Meijer, MB Shields
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000
Warm fusion: Deriving build-catas from recursive definitions
J Launchbury, T Sheard
Proceedings of the seventh international conference on Functional …, 1995
Projection factorisations in partial evaluation
J Launchbury
PQDT-Global, 1989
Microprocessor specification in Hawk
J Matthews, B Cook, J Launchbury
Proceedings of the 1998 International Conference on Computer Languages (Cat …, 1998
Structuring depth-first search algorithms in Haskell
DJ King, J Launchbury
Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995
Haskell 98–A non-strict, purely functional language
S Peyton Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, ...
Constructing natural language interpreters in a lazy functional language
R Frost, J Launchbury
The Computer Journal 32 (2), 108-121, 1989
Lazy imperative programming
J Launchbury
Workshop on State in Programming Languages, Copenhagen, Denmark, ACM, 1993
Report on the programming language Haskell 98, a non-strict purely functional language
SP Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, J Fasel, ...
Yale University, Department of Computer Science Tech Report YALEU/DCS/RR-ll06, 1999
On embedding a microarchitectural design language within Haskell
J Launchbury, JR Lewis, B Cook
ACM SIGPLAN Notices 34 (9), 60-69, 1999
Recursive monadic bindings
L Erkök, J Launchbury
ACM Sigplan Notices 35 (9), 174-185, 2000
Handwriting cogen to avoid problems with static typing
CK Holst, J Launchbury
Draft Proceedings, Fourth Annual Glasgow Workshop on Functional Programming …, 1992
Specifying superscalar microprocessors in Hawk
B Cook, J Launchbury, J Matthews
Formal Techniques for Hardware and Hardware-like Systems. Marstrand, Sweden, 1998
Efficient lookup-table protocol in secure multiparty computation
J Launchbury, IS Diatchki, T DuBuisson, A Adams-Moran
Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012
The system can't perform the operation now. Try again later.
Articles 1–20