BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × The Netherlands
10 × USA
2 × Canada
2 × Denmark
3 × France
3 × Italy
3 × Sweden
Collaborated with:
S.L.P.Jones J.Hughes B.Cook T.Elliott J.R.Lewis T.DuBuisson L.Erkök M.Shields J.Matthews A.Sabry R.Paterson T.Sheard D.J.King S.Krstic D.Pavlovic A.J.Gill P.C.Hickey L.Pike J.Bielman D.Archer E.Mertens I.S.Diatchki A.Adams-Moran E.Meijer A.P.Tolmach S.Winwood J.Sharp E.L.Seidel
Talks about:
function (5) haskel (4) type (4) abstract (3) languag (3) state (3) embed (3) lazi (3) microarchitectur (2) multiparti (2)

Person: John Launchbury

DBLP DBLP: Launchbury:John

Facilitated 4 volumes:

PADL 2011Ed
POPL 2002Ed
AFP 1996Ed
HW 1997Ed

Contributed to:

ESOP 20142014
ICFP 20142014
ICFP 20122012
GPCE 20112011
PADL 20082008
ICFP 20042004
FoSSaCS 20012001
ICFP 20002000
POPL 20002000
CAV 19991999
ICFP 19991999
POPL 19981998
ICFP 19971997
ESOP 19961996
AFP 19951995
FPCA 19951995
POPL 19951995
ICLP 19941994
PLDI 19941994
FPCA 19931993
POPL 19931993
ESOP 19921992
ESOP 19921994
FPCA 19911991
PLDI 19911991
Haskell 20102010
Haskell 20152015

Wrote 29 papers:

ESOP-2014-LaunchburyADM #multi
Application-Scale Secure Multiparty Computation (JL, DA, TD, EM), pp. 8–26.
ICFP-2014-HickeyPEBL #domain-specific language #embedded
Building embedded systems with embedded DSLs (PCH, LP, TE, JB, JL), pp. 3–9.
ICFP-2012-LaunchburyDDA #multi #performance #protocol
Efficient lookup-table protocol in secure multiparty computation (JL, ISD, TD, AAM), pp. 189–200.
Theorem-based circuit derivation in cryptol (JL), pp. 185–186.
PADL-2008-Launchbury #functional #industrial #programming
Industrial Functional Programming (JL), p. 1.
ICFP-2004-Launchbury #assurance #named
Galois: high assurance software (JL), p. 3.
FoSSaCS-2001-KrsticLP #algebra #category theory #process
Categories of Processes Enriched in Final Coalgebras (SK, JL, DP), pp. 303–317.
ICFP-2000-ErkokL #monad #recursion
Recursive monadic bindings (LE, JL), pp. 174–185.
POPL-2000-LewisLMS #parametricity #static typing
Implicit Parameters: Dynamic Scoping with Static Types (JRL, JL, EM, MS), pp. 108–118.
CAV-1999-MatthewsL #algebra #architecture
Elementary Microarchitecture Algebra (JM, JL), pp. 288–300.
ICFP-1999-LaunchburyLC #architecture #design #haskell #on the
On Embedding a Microarchitectural Design Language within Haskell (JL, JRL, BC), pp. 60–69.
POPL-1998-JonesSLT #haskell #ml
Bridging the Gulf: A Common Intermediate Language for ML and Haskell (SLPJ, MS, JL, APT), pp. 49–61.
Disposable Memo Functions (BC, JL), p. 310.
ICFP-1997-LaunchburyS #axiom #monad #type safety
Monadic State: Axiomatization and Type Safety (JL, AS), pp. 227–238.
ESOP-1996-LaunchburyP #parametricity
Parametricity and Unboxing with Unpointed Types (JL, RP), pp. 204–218.
AFP-1995-Launchbury95 #algorithm #functional #graph
Graph Algorithms with a Functional Flavous (JL), pp. 308–331.
FPCA-1995-LaunchburyS #recursion
Warm Fusion: Deriving Build-Cata’s from Recursive Definitions (JL, TS), pp. 314–323.
POPL-1995-KingL #algorithm #haskell
Structuring Depth-First Search Algorithms in Haskell (DJK, JL), pp. 344–354.
ICLP-1994-LaunchburyJ #lazy evaluation #thread
Lazy Funtional State Threads: An Abstract (JL, SLPJ), pp. 3–5.
PLDI-1994-LaunchburyJ #functional #lazy evaluation #thread
Lazy Functional State Threads (JL, SLPJ), pp. 24–35.
FPCA-1993-GillLJ #deforestation
A Short Cut to Deforestation (AJG, JL, SLPJ), pp. 223–232.
POPL-1993-Launchbury #evaluation #lazy evaluation #semantics
A Natural Semantics for Lazy Evaluation (JL), pp. 144–154.
ESOP-1992-HughesL #abstract interpretation
Reversing Abstract Interpretations (JH, JL), pp. 269–286.
ESOP-J-1992-HughesL94 #abstract interpretation
Reversing Abstract Interpretations (JH, JL), pp. 307–326.
FPCA-1991-JonesL #functional #strict
Unboxed Values as First Class Citizens in a Non-Strict Functional Language (SLPJ, JL), pp. 636–666.
FPCA-1991-Launchbury #self
A Strongly-Typed Self-Applicable Partial Evaluator (JL), pp. 145–164.
PLDI-1991-Launchbury #analysis #strict
Strictness and Binding-Time Analyses: Two for the Price of One (JL), pp. 80–91.
Haskell-2010-LaunchburyE #concurrent #distributed #haskell
Concurrent orchestration in Haskell (JL, TE), pp. 79–90.
Guilt free ivory (TE, LP, SW, PCH, JB, JS, ELS, JL), pp. 189–200.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.