Implementing Functional Databases. - Guy Argo; John Hughes 001; Philip W. Trinder; Jon Fairbairn; John Launchbury (DBPL, 1987)

Dependent Sums Express Separation of Binding Times. - John Launchbury (Functional Programming, 1989)

Constructing Natural Language Interpreters in a Lazy Functional Language. - R. Frost; John Launchbury (Comput. J., 1989)

Projection factorisations in partial evaluation. - John Launchbury (1989)

Towards Relating Forwards and Backwards Analyses. - John Hughes 001; John Launchbury (Functional Programming, 1990)

Strictness Analysis Aids Inductive Proofs. - John Launchbury (Inf. Process. Lett., 1990)

Implementing Projection-based Strictness Analysis. - Ryszard Kubiak; John Hughes 001; John Launchbury (Functional Programming, 1991)

Unboxed Values as First Class Citizens in a Non-Strict Functional Language. - Simon L. Peyton Jones; John Launchbury (FPCA, 1991)

A Strongly-Typed Self-Applicable Partial Evaluator. - John Launchbury (FPCA, 1991)

Strictness and Binding-Time Analyses: Two for the Price of One. - John Launchbury (PLDI, 1991)

Avoiding Unnecessary Updates. - John Launchbury; Andy Gill; John Hughes 001; Simon Marlow; Simon L. Peyton Jones; Philip Wadler (Functional Programming, 1992)

Relational Reversal of Abstract Interpretation. - John Hughes 001; John Launchbury (J. Log. Comput., 1992)

Projections for Polymorphic First-Order Strictness Analysis. - John Hughes 001; John Launchbury (Math. Struct. Comput. Sci., 1992)

Functional Graph Algorithms with Depth-First Search (Preliminary Summary). - David J. King; John Launchbury (Functional Programming, 1993)

A Short Cut to Deforestation. - Andrew John Gill; John Launchbury; Simon L. Peyton Jones (FPCA, 1993)

A Natural Semantics for Lazy Evaluation. - John Launchbury (POPL, 1993)

How to Give a Good Research Talk. - Simon L. Peyton Jones; John Hughes 001; John Launchbury (ACM SIGPLAN Notices, 1993)

Lazy Funtional State Threads: An Abstract. - John Launchbury; Simon L. Peyton Jones (ICLP, 1994)

Lazy Functional State Threads. - John Launchbury; Simon L. Peyton Jones (PLDI, 1994)

Reversing Abstract Interpretations. - John Hughes 001; John Launchbury (Sci. Comput. Program., 1994)

Graph Algorithms with a Functional Flavous. - John Launchbury (Advanced Functional Programming, 1995)

Warm Fusion: Deriving Build-Cata's from Recursive Definitions. - John Launchbury; Tim Sheard (FPCA, 1995)

Structuring Depth-First Search Algorithms in Haskell. - David J. King; John Launchbury (POPL, 1995)

State in Haskell. - John Launchbury; Simon L. Peyton Jones (LISP Symb. Comput., 1995)

Parametricity and Unboxing with Unpointed Types. - John Launchbury; Ross Paterson (ESOP, 1996)

Representing Demand by Partial Projections. - John Launchbury; Gebreselassie Baraki (J. Funct. Program., 1996)

Disposable Memo Functions (Extended Abstract). - Byron Cook; John Launchbury (ICFP, 1997)

Monadic State: Axiomatization and Type Safety. - John Launchbury; Amr Sabry (ICFP, 1997)

Microprocessor Specification in Hawk. - John Matthews; Byron Cook; John Launchbury (ICCL, 1998)

Bridging the Gulf: A Common Intermediate Language for ML and Haskell. - Simon L. Peyton Jones; Mark Shields; John Launchbury; Andrew P. Tolmach (POPL, 1998)

Elementary Microarchitecture Algebra. - John Matthews; John Launchbury (CAV, 1999)

Formal Verification of Explicitly Parallel Microprocessors. - Byron Cook; John Launchbury; John Matthews; Richard B. Kieburtz (CHARME, 1999)

On Embedding a Microarchitectural Design Language within Haskell. - John Launchbury; Jeffrey R. Lewis; Byron Cook (ICFP, 1999)

Recursive monadic bindings. - Levent Erkök; John Launchbury (ICFP, 2000)

Implicit Parameters: Dynamic Scoping with Static Types. - Jeffrey R. Lewis; John Launchbury; Erik Meijer 001; Mark Shields (POPL, 2000)

Categories of Processes Enriched in Final Coalgebras. - Sava Krstic; John Launchbury; Dusko Pavlovic (FoSSaCS, 2001)

A recursive do for Haskell. - Levent Erkök; John Launchbury (Haskell, 2002)

Semantics of value recursion for Monadic Input/Output. - Levent Erkök; John Launchbury; Andrew Moran (RAIRO Theor. Informatics Appl., 2002)

Modularity in the New Millenium: A Panel Summary. - Premkumar T. Devanbu; Robert Balzer; Don S. Batory; Gregor Kiczales; John Launchbury; David Lorge Parnas; Peri L. Tarr (ICSE, 2003)

Galois: high assurance software. - John Launchbury (ICFP, 2004)

Industrial Functional Programming. - John Launchbury (PADL, 2008)

Concurrent orchestration in Haskell. - John Launchbury; Trevor Elliott (Haskell, 2010)

Theorem-based circuit derivation in cryptol. - John Launchbury (GPCE, 2011)

Efficient lookup-table protocol in secure multiparty computation. - John Launchbury; Iavor S. Diatchki; Thomas DuBuisson; Andy Adams-Moran (ICFP, 2012)

Coroutining Folds with Hyperfunctions. - John Launchbury; Sava Krstic; T. E. Sauerwein (Festschrift for Dave Schmidt, 2013)

Application-Scale Secure Multiparty Computation. - John Launchbury; Dave Archer 001; Thomas DuBuisson; Eric Mertens (ESOP, 2014)

Building embedded systems with embedded DSLs. - Patrick C. Hickey; Lee Pike; Trevor Elliott; James Bielman; John Launchbury (ICFP, 2014)

Programming languages for high-assurance autonomous vehicles: extended abstract. - Lee Pike; Patrick C. Hickey; James Bielman; Trevor Elliott; Thomas DuBuisson; John Launchbury (PLPV, 2014)

Guilt free ivory. - Trevor Elliott; Lee Pike; Simon Winwood; Patrick C. Hickey; James Bielman; Jamey Sharp; Eric L. Seidel; John Launchbury (Haskell, 2015)