Follow
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
6121993
A natural semantics for lazy evaluation
J Launchbury
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993
5531993
Haskell 98: A non-strict, purely functional language
SP Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, J Fasel, ...
452*1999
Lazy functional state threads
J Launchbury, SL Peyton Jones
ACM SIGPLAN Notices 29 (6), 24-35, 1994
3711994
Unboxed values as first class citizens in a non-strict functional language
SLP Jones, J Launchbury
Functional Programming Languages and Computer Architecture: 5th ACM …, 1991
3481991
State in haskell
J Launchbury, SL Peyton Jones
Lisp and symbolic computation 8, 293-341, 1995
339*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
1932000
Warm fusion: Deriving build-catas from recursive definitions
J Launchbury, T Sheard
Proceedings of the seventh international conference on Functional …, 1995
1641995
Projection factorisations in partial evaluation
J Launchbury
PQDT-Global, 1989
1551989
Microprocessor specification in Hawk
J Matthews, B Cook, J Launchbury
Proceedings of the 1998 International Conference on Computer Languages (Cat …, 1998
1131998
Structuring depth-first search algorithms in Haskell
DJ King, J Launchbury
Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995
1011995
Constructing natural language interpreters in a lazy functional language
R Frost, J Launchbury
The Computer Journal 32 (2), 108-121, 1989
901989
Haskell 98–A non-strict, purely functional language
S Peyton Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, ...
871999
Lazy imperative programming
J Launchbury
Workshop on State in Programming Languages, Copenhagen, Denmark, ACM, 1993
861993
On embedding a microarchitectural design language within Haskell
J Launchbury, JR Lewis, B Cook
ACM SIGPLAN Notices 34 (9), 60-69, 1999
781999
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
781999
The HACMS program: using formal methods to eliminate exploitable bugs
K Fisher, J Launchbury, R Richards
Philosophical Transactions of the Royal Society A: Mathematical, Physical …, 2017
712017
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
712012
Recursive monadic bindings
L Erkök, J Launchbury
ACM Sigplan Notices 35 (9), 174-185, 2000
712000
Handwriting cogen to avoid problems with static typing
CK Holst, J Launchbury
Draft Proceedings, Fourth Annual Glasgow Workshop on Functional Programming …, 1992
641992
The system can't perform the operation now. Try again later.
Articles 1–20