A short cut to deforestation A Gill, J Launchbury, SL Peyton Jones Proceedings of the conference on Functional programming languages and …, 1993 | 639 | 1993 |
A natural semantics for lazy evaluation J Launchbury Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993 | 563 | 1993 |
Haskell 98: A non-strict, purely functional language SP Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, J Fasel, ... | 457* | 1999 |
Lazy functional state threads J Launchbury, SL Peyton Jones ACM SIGPLAN Notices 29 (6), 24-35, 1994 | 382 | 1994 |
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 | 350 | 1991 |
State in haskell J Launchbury, SL Peyton Jones Lisp and symbolic computation 8, 293-341, 1995 | 348* | 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 | 196 | 2000 |
Warm fusion: Deriving build-catas from recursive definitions J Launchbury, T Sheard Proceedings of the seventh international conference on Functional …, 1995 | 171 | 1995 |
Projection factorisations in partial evaluation J Launchbury PQDT-Global, 1989 | 154 | 1989 |
Microprocessor specification in Hawk J Matthews, B Cook, J Launchbury Proceedings of the 1998 International Conference on Computer Languages (Cat …, 1998 | 116 | 1998 |
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 | 112 | 1999 |
Structuring depth-first search algorithms in Haskell DJ King, J Launchbury Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995 | 102 | 1995 |
Constructing natural language interpreters in a lazy functional language R Frost, J Launchbury The Computer Journal 32 (2), 108-121, 1989 | 90 | 1989 |
Haskell 98–A non-strict, purely functional language S Peyton Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, ... | 87 | 1999 |
Lazy imperative programming J Launchbury Workshop on State in Programming Languages, Copenhagen, Denmark, ACM, 1993 | 86 | 1993 |
On embedding a microarchitectural design language within Haskell J Launchbury, JR Lewis, B Cook ACM SIGPLAN Notices 34 (9), 60-69, 1999 | 78 | 1999 |
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 | 76 | 2017 |
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 | 73 | 2012 |
Recursive monadic bindings L Erkök, J Launchbury ACM Sigplan Notices 35 (9), 174-185, 2000 | 70 | 2000 |
Handwriting cogen to avoid problems with static typing CK Holst, J Launchbury Draft Proceedings, Fourth Annual Glasgow Workshop on Functional Programming …, 1992 | 62 | 1992 |