John Launchbury
John Launchbury
Chief Scientist, Galois
Verified email at galois.com
Title
Cited by
Cited by
Year
A short cut to deforestation
A Gill, J Launchbury, SL Peyton Jones
Proceedings of the conference on Functional programming languages and …, 1993
5561993
A natural semantics for lazy evaluation
J Launchbury
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993
5011993
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
432*1999
Lazy functional state threads
J Launchbury, SL Peyton Jones
ACM SIGPLAN Notices 29 (6), 24-35, 1994
3301994
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
3241991
State in haskell
J Launchbury, SLP Jones
Lisp and symbolic computation 8 (4), 293-341, 1995
321*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
1832000
Warm fusion: Deriving build-catas from recursive definitions
J Launchbury, T Sheard
Proceedings of the seventh international conference on Functional …, 1995
1641995
Project Factorisations in Partial Evaluation
J Launchbury
Cambridge University Press, 1991
1491991
Microprocessor specification in Hawk
J Matthews, B Cook, J Launchbury
Proceedings of the 1998 International Conference on Computer Languages (Cat …, 1998
1081998
Structuring depth-first search algorithms in Haskell
DJ King, J Launchbury
Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995
921995
Haskell 98–A non-strict, purely functional language
S Peyton Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, ...
821999
Lazy imperative programming
J Launchbury
Workshop on State in Programming Languages, Copenhagen, Denmark, ACM, 1993
781993
Constructing natural language interpreters in a lazy functional language
R Frost, J Launchbury
The Computer Journal 32 (2), 108-121, 1989
751989
On embedding a microarchitectural design language within Haskell
J Launchbury, JR Lewis, B Cook
ACM SIGPLAN Notices 34 (9), 60-69, 1999
731999
Recursive monadic bindings
L Erkök, J Launchbury
ACM Sigplan Notices 35 (9), 174-185, 2000
682000
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
661999
Handwriting cogen to avoid problems with static typing
CK Holst, J Launchbury
Draft Proceedings, Fourth Annual Glasgow Workshop on Functional Programming …, 1992
571992
Specifying superscalar microprocessors in Hawk
B Cook, J Launchbury, J Matthews
Formal Techniques for Hardware and Hardware-like Systems. Marstrand, Sweden, 1998
551998
Monadic state: Axiomatization and type safety
J Launchbury, A Sabry
Proceedings of the second ACM SIGPLAN international conference on Functional …, 1997
531997
The system can't perform the operation now. Try again later.
Articles 1–20