Lennart Augustsson

Publication Activity (10 Years)

Years Active: 1984-2024
Publications (10 Years): 3

Top Topics

Relational Algebra

Disjunctive Logic Programming

Top Venues

Proc. ACM Program. Lang.

J. Funct. Program.

Publications

Lennart Augustsson
MicroHs: A Small Compiler for Haskell. Haskell (2024)
Lennart Augustsson, Joachim Breitner, Koen Claessen, Ranjit Jhala, Simon Peyton Jones, Olin Shivers, Guy L. Steele Jr., Tim Sweeney
The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Lennart Augustsson, Mårten Ågren
Experience report: types for a relational algebra library. Haskell (2016)
Michael Sperber, Lennart Augustsson
Special Issue on Run-Time Systems and Target Platforms for Functional Languages: Editorial. J. Funct. Program. 24 (6) (2014)
Lennart Augustsson
O, partial evaluator, where art thou? PEPM (2010)
Lennart Augustsson, Howard Mansell, Ganesh Sittampalam
Paradise: a two-stage DSL embedded in Haskell. ICFP (2008)
Lennart Augustsson
Cayenne - a Language with Dependent Types. ICFP (1998)
Lennart Augustsson
Partial Evaluation in Aircraft Crew Planning. Partial Evaluation (1998)
Lennart Augustsson
Cayenne - A Language with Dependent Types. Advanced Functional Programming (1998)
Lennart Augustsson
Partial Evaluation in Aircraft Crew Planning. PEPM (1997)
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, Melody Y. Ivory, Richard E. Jones, Jasper Kamperman, Peter Lee, Xavier Leroy, Rafael Dueire Lins, Sandra Loosemore, Niklas Röjemo, Manuel Serrano, Jean-Pierre Talpin, Jon Thackray, Stephen Thomas, Pum Walters, Pierre Weis, Peter Wentworth
Benchmarking Implementations of Functional Languages with 'Pseudoknot', a Float-Intensive Benchmark. J. Funct. Program. 6 (4) (1996)
Lennart Augustsson, Mikael Rittri, Dan Synek
On Generating unique Names. J. Funct. Program. 4 (1) (1994)
Lennart Augustsson
The Interactive Lazy ML System. J. Funct. Program. 3 (1) (1993)
Lennart Augustsson
Implementing Haskell Overloading. FPCA (1993)
Lennart Augustsson
BWM: A Concrete Machine for Graph Reduction. Functional Programming (1991)
Lennart Augustsson, Thomas Johnsson
Parallel Graph Reduction with the -Machine. FPCA (1989)
Lennart Augustsson, Thomas Johnsson
The Chalmers Lazy-ML Compiler. Comput. J. 32 (2) (1989)
Lennart Augustsson
Compiling Pattern Matching. FPCA (1985)
Lennart Augustsson
A Compiler for Lazy ML. LISP and Functional Programming (1984)