A Compiler for Lazy ML. - Lennart Augustsson (LISP and Functional Programming, 1984)

Compiling Pattern Matching. - Lennart Augustsson (FPCA, 1985)

Parallel Graph Reduction with the <nu, G>-Machine. - Lennart Augustsson; Thomas Johnsson (FPCA, 1989)

The Chalmers Lazy-ML Compiler. - Lennart Augustsson; Thomas Johnsson (Comput. J., 1989)

BWM: A Concrete Machine for Graph Reduction. - Lennart Augustsson (Functional Programming, 1991)

Implementing Haskell Overloading. - Lennart Augustsson (FPCA, 1993)

The Interactive Lazy ML System. - Lennart Augustsson (J. Funct. Program., 1993)

On Generating unique Names. - Lennart Augustsson; Mikael Rittri; Dan Synek (J. Funct. Program., 1994)

Benchmarking Implementations of Functional Languages with 'Pseudoknot', a Float-Intensive Benchmark. - Pieter H. Hartel; Marc Feeley; Martin Helmut Alt; Lennart Augustsson; Peter Baumann; Marcel Beemster; Emmanuel Chailloux; Christine H. Flood; Wolfgang Grieskamp; John H. G. van Groningen; Kevin Hammond; Bogumil Hausman; et al. (J. Funct. Program., 1996)

Partial Evaluation in Aircraft Crew Planning. - Lennart Augustsson (PEPM, 1997)

Cayenne - A Language with Dependent Types. - Lennart Augustsson (Advanced Functional Programming, 1998)

Paradise: a two-stage DSL embedded in Haskell. - Lennart Augustsson; Howard Mansell; Ganesh Sittampalam (ICFP, 2008)

O, partial evaluator, where art thou? - Lennart Augustsson (PEPM, 2010)

Special Issue on Run-Time Systems and Target Platforms for Functional Languages: Editorial. - Michael Sperber; Lennart Augustsson (J. Funct. Program., 2014)

Experience report: types for a relational algebra library. - Lennart Augustsson; Mårten Ågren (Haskell, 2016)

The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming. - Lennart Augustsson; Joachim Breitner; Koen Claessen; Ranjit Jhala; Simon Peyton Jones; Olin Shivers; Guy L. Steele Jr.; Tim Sweeney (Proc. ACM Program. Lang., 2023)

MicroHs: A Small Compiler for Haskell. - Lennart Augustsson (Haskell, 2024)