John Launchbury
发表
Levent Erkok,
John Launchbury,
2000
.
John Launchbury,
John Matthews,
Byron Cook,
1998
.
John Launchbury,
Ricardo Rocha,
2011
.
John Launchbury,
1991
.
John Launchbury,
John Matthews,
Byron Cook,
1998
.
John Launchbury,
John C. Mitchell,
2002,
POPL 2002.
John Launchbury,
J. Launchbury,
1991,
FPCA.
Simon L. Peyton Jones,
John Launchbury,
Mark Shields,
1998,
POPL '98.
John Launchbury,
John Matthews,
Byron Cook,
1998
.
John Launchbury,
J. Launchbury,
1991
.
John Launchbury,
Kathleen Fisher,
Raymond Richards,
2017,
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.
John Launchbury,
2008,
PADL.
John Launchbury,
John Matthews,
1999,
CAV.
Simon L. Peyton Jones,
John Launchbury,
John Hughes,
1993,
SIGP.
Philip W. Trinder,
John Hughes,
John Launchbury,
1987,
DBPL.
John Launchbury,
J. Launchbury,
1995,
Advanced Functional Programming.
John Launchbury,
John Matthews,
Byron Cook,
1998,
Proceedings of the 1998 International Conference on Computer Languages (Cat. No.98CB36225).
John Launchbury,
David W. Archer,
Eric Mertens,
2014,
ESOP.
John Launchbury,
Ricardo Rocha,
2011
.
John Launchbury,
Tim Sheard,
Erik Meijer,
1995,
Lecture Notes in Computer Science.
John Launchbury,
1991
.
John Launchbury,
J. Launchbury,
1993,
POPL '93.
John Launchbury,
2004,
ICFP '04.
Dusko Pavlovic,
John Launchbury,
Sava Krstic,
2001,
FoSSaCS.
Andrew Moran,
John Launchbury,
Levent Erkök,
2002,
RAIRO Theor. Informatics Appl..
John Launchbury,
Ricardo Rocha,
2011,
Lecture Notes in Computer Science.
Paul Hudak,
Nick Feamster,
Ashish Agarwal,
2010
.
John Launchbury,
Erik Meijer,
Mark Shields,
2000,
POPL '00.
Simon L. Peyton Jones,
John Launchbury,
1994,
PLDI '94.
John Launchbury,
Tim Sheard,
Erik Meijer,
1996
.
Simon L. Peyton Jones,
John Launchbury,
S. Jones,
1991,
FPCA.
John Launchbury,
1989,
Functional Programming.
John Launchbury,
J. Launchbury,
1991
.
John Launchbury,
David J. King,
J. Launchbury,
1995,
POPL '95.
John Launchbury,
Patrick C. Hickey,
Lee Pike,
2014,
ICFP 2014.
John Launchbury,
Patrick Sansom,
1993
.
John Launchbury,
Jeffrey R. Lewis,
1998
.
John Launchbury,
Levent Erkök,
2002,
Haskell '02.
David Lorge Parnas,
Premkumar T. Devanbu,
Gregor Kiczales,
2003,
ICSE.
John Hughes,
John Launchbury,
John Hughes,
1992,
Sci. Comput. Program..
John Launchbury,
Tim Sheard,
1995,
FPCA '95.
John Launchbury,
Byron Cook,
1997,
ICFP '97.
John Launchbury,
Byron Cook,
Jeffrey R. Lewis,
1999,
ICFP '99.
John Launchbury,
Tim Sheard,
Erik Meijer,
1996
.
John Launchbury,
Ross Paterson,
J. Launchbury,
1996,
ESOP.
John Launchbury,
Sava Krstić,
Timothy E. Sauerwein,
2000
.
Simon L. Peyton Jones,
John Launchbury,
S. Jones,
1995,
LISP Symb. Comput..
John Launchbury,
Sava Krstic,
T. E. Sauerwein,
2013,
Festschrift for Dave Schmidt.
John Hughes,
John Launchbury,
John Hughes,
1992,
Mathematical Structures in Computer Science.
John Launchbury,
Byron Cook,
Jeffrey R. Lewis,
2000
.
Simon L. Peyton Jones,
Philip Wadler,
John Hughes,
1992,
Functional Programming.
John Launchbury,
J. Launchbury,
1991,
PLDI '91.
Simon L. Peyton Jones,
John Launchbury,
1994,
ICLP.
John Launchbury,
Patrick Sansom,
1992
.
John Launchbury,
Simon Jones,
SL Peyton Jones,
1991
.
John Launchbury,
R. Frost,
J. Launchbury,
1989,
Comput. J..
John Hughes,
John Launchbury,
Ryszard Kubiak,
1991,
Functional Programming.
John Launchbury,
Iavor S. Diatchki,
Thomas DuBuisson,
2012,
ICFP.
John Launchbury,
John Robert Matthews,
John Matthews,
2000
.
John Launchbury,
Mark B. Shields,
J. Launchbury,
2001
.
John Launchbury,
Simon Winwood,
Patrick C. Hickey,
2015,
Haskell.
John Launchbury,
2011,
GPCE '11.
John Launchbury,
2007,
CUFP '07.
John Launchbury,
Gebreselassie Baraki,
1996,
J. Funct. Program..
John Launchbury,
1990,
Inf. Process. Lett..
John Launchbury,
Levent Erkök,
2000,
ICFP '00.
John Launchbury,
Sava Krstić,
Timothy E. Sauerwein,
2000
.
John Launchbury,
Trevor Elliott,
2010,
Haskell '10.
John Launchbury,
Patrick C. Hickey,
Lee Pike,
2014,
PLPV '14.
John Launchbury,
Trevor Elliott,
2010
.
Levent Erkok,
John Launchbury,
2002
.
John Launchbury,
1991
.
Simon Peyton Jones,
John Launchbury,
1994,
ICLP 1994.
John Launchbury,
David J. King,
1993,
Functional Programming.
John Launchbury,
John Matthews,
Byron Cook,
1999,
CHARME.
John Launchbury,
Mike Walker,
Justin Sanchez,
2016
.
Warm Fusion for the Masses: Detailing Virtual Data Structure Elimination in Fully Recursive Language
Patricia Johann,
John Launchbury,
J. Launchbury,
1997
.
John Hughes,
John Launchbury,
John Hughes,
1990,
Functional Programming.
John Launchbury,
1991
.
John Launchbury,
2017
.
John Hughes,
John Launchbury,
1994,
Sci. Comput. Program..
Simon L. Peyton Jones,
John Launchbury,
Andrew John Gill,
1993,
FPCA '93.
John Hughes,
John Launchbury,
1992,
J. Log. Comput..
John Launchbury,
Patrick M. Sansom,
Patrick Sansom,
1993,
Workshops in Computing.
Amr Sabry,
John Launchbury,
A. Sabry,
1997,
ICFP '97.
Andrew Moran,
John Launchbury,
Levent Erkök,
2001
.
John Launchbury,
1991
.
John Launchbury,
John Matthews,
1999
.
John Launchbury,
1991
.
John Launchbury,
Patrick C. Hickey,
Lee Pike,
2014
.