John Launchbury

John Launchbury, Iavor S. Diatchki, Thomas DuBuisson, Andy Adams-Moran: Efficient lookup-table protocol in secure multiparty computation. ICFP 2012: 189-200

John Launchbury: Theorem-based circuit derivation in cryptol. GPCE 2011: 185-186

Ricardo Rocha, John Launchbury (Eds.): Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings. Lecture Notes in Computer Science 6539, Springer 2011, isbn 978-3-642-18377-5

John Launchbury, Trevor Elliott: Concurrent orchestration in Haskell. Haskell 2010: 79-90

John Launchbury: Industrial Functional Programming. PADL 2008: 1

John Launchbury: Galois: high assurance software. ICFP 2004: 3

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

Levent Erkök, John Launchbury, Andrew Moran: Semantics of value recursion for Monadic Input/Output. ITA 36(2): 155-180 (2002)

John Launchbury, John C. Mitchell (Eds.): Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, OR, USA, January 16-18, 2002. ACM 2002, isbn 1-58113-450-9

Sava Krstic, John Launchbury, Dusko Pavlovic: Categories of Processes Enriched in Final Coalgebras. FoSSaCS 2001: 303-317

Levent Erkök, John Launchbury: Recursive monadic bindings. ICFP 2000: 174-185

Jeffrey R. Lewis, John Launchbury, Erik Meijer, Mark Shields: Implicit Parameters: Dynamic Scoping with Static Types. POPL 2000: 108-118

John Matthews, John Launchbury: Elementary Microarchitecture Algebra. CAV 1999: 288-300

Byron Cook, John Launchbury, John Matthews, Richard B. Kieburtz: Formal Verification of Explicitly Parallel Microprocessors. CHARME 1999: 23-36

John Launchbury, Jeffrey R. Lewis, Byron Cook: On Embedding a Microarchitectural Design Language within Haskell. ICFP 1999: 60-69

John Matthews, Byron Cook, John Launchbury: Microprocessor Specification in Hawk. ICCL 1998: 90-101

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

John Launchbury, Amr Sabry: Monadic State: Axiomatization and Type Safety. ICFP 1997: 227-238

Byron Cook, John Launchbury: Disposable Memo Functions (Extended Abstract). ICFP 1997: 310

John Launchbury, Gebreselassie Baraki: Representing Demand by Partial Projections. J. Funct. Program. 6(4): 563-585 (1996)

John Launchbury, Ross Paterson: Parametricity and Unboxing with Unpointed Types. ESOP 1996: 204-218

John Launchbury, Erik Meijer, Tim Sheard (Eds.): Advanced Functional Programming, Second International School, Olympia, WA, USA, August 26-30, 1996, Tutorial Text. Lecture Notes in Computer Science 1129, Springer 1996, isbn 3-540-61628-4

John Launchbury, Simon L. Peyton Jones: State in Haskell. Lisp and Symbolic Computation 8(4): 293-341 (1995)

John Launchbury: Graph Algorithms with a Functional Flavous. Advanced Functional Programming 1995: 308-331

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

David J. King, John Launchbury: Structuring Depth-First Search Algorithms in Haskell. POPL 1995: 344-354

John Hughes, John Launchbury: Reversing Abstract Interpretations. Sci. Comput. Program. 22(3): 307-326 (1994)

John Launchbury, Simon L. Peyton Jones: Lazy Funtional State Threads: An Abstract. ICLP 1994: 3-5

John Launchbury, Simon L. Peyton Jones: Lazy Functional State Threads. PLDI 1994: 24-35

Simon L. Peyton Jones, John Hughes, John Launchbury: How to Give a Good Research Talk. SIGPLAN Notices 28(11): 9-12 (1993)

Andrew J. Gill, John Launchbury, Simon L. Peyton Jones: A Short Cut to Deforestation. FPCA 1993: 223-232

John Launchbury: A Natural Semantics for Lazy Evaluation. POPL 1993: 144-154

John Launchbury, Patrick M. Sansom (Eds.): Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992. Workshops in Computing, Springer 1993, isbn 3-540-19820-2

John Hughes, John Launchbury: Relational Reversal of Abstract Interpretation. J. Log. Comput. 2(4): 465-482 (1992)

John Hughes, John Launchbury: Projections for Polymorphic First-Order Strictness Analysis. Mathematical Structures in Computer Science 2(3): 301-326 (1992)

John Hughes, John Launchbury: Reversing Abstract Interpretations. ESOP 1992: 269-286

John Launchbury, Andy Gill, John Hughes, Simon Marlow, Simon L. Peyton Jones, Philip Wadler: Avoiding Unnecessary Updates. Functional Programming 1992: 144-153

Ryszard Kubiak, John Hughes, John Launchbury: Implementing Projection-based Strictness Analysis. Functional Programming 1991: 207-224

John Launchbury: A Strongly-Typed Self-Applicable Partial Evaluator. FPCA 1991: 145-164

Simon L. Peyton Jones, John Launchbury: Unboxed Values as First Class Citizens in a Non-Strict Functional Language. FPCA 1991: 636-666

John Launchbury: Strictness and Binding-Time Analyses: Two for the Price of One. PLDI 1991: 80-91

John Launchbury: Strictness Analysis Aids Inductive Proofs. Inf. Process. Lett. 35(3): 155-159 (1990)

R. Frost, John Launchbury: Constructing Natural Language Interpreters in a Lazy Functional Language. Comput. J. 32(2): 108-121 (1989)

John Launchbury: Dependent Sums Express Separation of Binding Times. Functional Programming 1989: 238-253

Guy Argo, John Hughes, Philip W. Trinder, Jon Fairbairn, John Launchbury: Implementing Functional Databases. DBPL 1987: 165-176