| A short cut to deforestation A Gill, J Launchbury, SL Peyton Jones Proceedings of the conference on Functional programming languages and …, 1993 | 597 | 1993 |
| A natural semantics for lazy evaluation J Launchbury Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993 | 522 | 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 | 439* | 1999 |
| Lazy functional state threads J Launchbury, SL Peyton Jones ACM SIGPLAN Notices 29 (6), 24-35, 1994 | 355 | 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 | 333 | 1991 |
| State in haskell J Launchbury, SL Peyton Jones Lisp and symbolic computation 8 (4), 293-341, 1995 | 330* | 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 | 193 | 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 | 151 | 1989 |
| Microprocessor specification in Hawk J Matthews, B Cook, J Launchbury Proceedings of the 1998 International Conference on Computer Languages (Cat …, 1998 | 107 | 1998 |
| Structuring depth-first search algorithms in Haskell DJ King, J Launchbury Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995 | 97 | 1995 |
| Haskell 98–A non-strict, purely functional language S Peyton Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, ... | 87 | 1999 |
| Constructing natural language interpreters in a lazy functional language R Frost, J Launchbury The Computer Journal 32 (2), 108-121, 1989 | 85 | 1989 |
| Lazy imperative programming J Launchbury Workshop on State in Programming Languages, Copenhagen, Denmark, ACM, 1993 | 80 | 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 | 75 | 1999 |
| On embedding a microarchitectural design language within Haskell J Launchbury, JR Lewis, B Cook ACM SIGPLAN Notices 34 (9), 60-69, 1999 | 74 | 1999 |
| Recursive monadic bindings L Erkök, J Launchbury ACM Sigplan Notices 35 (9), 174-185, 2000 | 69 | 2000 |
| 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 | 60 | 2012 |
| Specifying superscalar microprocessors in Hawk B Cook, J Launchbury, J Matthews Formal Techniques for Hardware and Hardware-like Systems. Marstrand, Sweden, 1998 | 58 | 1998 |
| Handwriting cogen to avoid problems with static typing CK Holst, J Launchbury Draft Proceedings, Fourth Annual Glasgow Workshop on Functional Programming …, 1992 | 58 | 1992 |
