| A short cut to deforestation A Gill, J Launchbury, SL Peyton Jones Proceedings of the conference on Functional programming languages and …, 1993 | 625 | 1993 |
| A natural semantics for lazy evaluation J Launchbury Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993 | 560 | 1993 |
| Haskell 98: A non-strict, purely functional language SP Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, J Fasel, ... | 456* | 1999 |
| Lazy functional state threads J Launchbury, SL Peyton Jones ACM SIGPLAN Notices 29 (6), 24-35, 1994 | 377 | 1994 |
| State in haskell J Launchbury, SL Peyton Jones Lisp and symbolic computation 8, 293-341, 1995 | 346* | 1995 |
| 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 | 346 | 1991 |
| 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 | 195 | 2000 |
| Warm fusion: Deriving build-catas from recursive definitions J Launchbury, T Sheard Proceedings of the seventh international conference on Functional …, 1995 | 169 | 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 | 101 | 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, ... | 86 | 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 | 77 | 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 | 72 | 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 | 72 | 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 |
