Concepedia

John Launchbury

JL

Statistics

Publications

28

Citations

2.1K

H-Index

20

Active since

1991

Affiliations

University of Glasgow(Current)

Galois (United States)

Oregon Health & Science University

Oregon Research Institute

Oregon Museum of Science and Industry

John Launchbury is an author at University of Glasgow specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisFormal VerificationAutomated ReasoningSoftware AnalysisComputer EngineeringComputer ArchitectureLanguage

Publications per year

1991–2017

28

Publications

28

A short cut to deforestation

Andrew Gill, John Launchbury, Simon Jones · 1993 · 410 citations · Full text

A natural semantics for lazy evaluation

John Launchbury · 1993 · 374 citations

Engineering, Space Behaviour, Computational Complexity +21

Lazy functional state threads

John Launchbury, Simon Jones · 1994 · 206 citations

Engineering, Verification, Concurrent System +18

State in Haskell

John Launchbury, Simon Jones · LISP and Symbolic Computation · 1995 · 186 citations

Engineering, Automated Reasoning, Functional Programming Language +3

Implicit parameters

Jeffrey R. Lewis, John Launchbury, Erik Meijer et al. · 2000 · 153 citations · Full text

Syntax, Engineering, Generic Programming +14

1–5 of 28