Lennart Augustsson

19 papers A 3C 4Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2024 C conf
MicroHs: A Small Compiler for Haskell.
Haskell
Lennart Augustsson
2023 J jnl
The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming.
Proc. ACM Program. Lang.
Lennart Augustsson, Joachim Breitner, Koen Claessen, Ranjit Jhala, Simon Peyton Jones, Olin Shivers, Guy L. Steele Jr., Tim Sweeney
2016 C conf
Experience report: types for a relational algebra library.
Haskell
Lennart Augustsson, Mårten Ågren
2014 J jnl
Special Issue on Run-Time Systems and Target Platforms for Functional Languages: Editorial.
J. Funct. Program.
Michael Sperber, Lennart Augustsson
2010 C conf
O, partial evaluator, where art thou?
PEPM
Lennart Augustsson
2008 A conf
Paradise: a two-stage DSL embedded in Haskell.
ICFP
Lennart Augustsson, Howard Mansell, Ganesh Sittampalam
1998 — conf
Cayenne - A Language with Dependent Types.
Advanced Functional Programming
Lennart Augustsson
1998 A conf
Cayenne - a Language with Dependent Types.
ICFP
Lennart Augustsson
1998 — conf
Partial Evaluation in Aircraft Crew Planning.
Partial Evaluation
Lennart Augustsson
1997 C conf
Partial Evaluation in Aircraft Crew Planning.
PEPM
Lennart Augustsson
1996 J jnl
Benchmarking Implementations of Functional Languages with 'Pseudoknot', a Float-Intensive Benchmark.
J. Funct. Program.
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
1994 J jnl
On Generating unique Names.
J. Funct. Program.
Lennart Augustsson, Mikael Rittri, Dan Synek
1993 — conf
Implementing Haskell Overloading.
FPCA
Lennart Augustsson
1993 J jnl
The Interactive Lazy ML System.
J. Funct. Program.
Lennart Augustsson
1991 A conf
BWM: A Concrete Machine for Graph Reduction.
Functional Programming
Lennart Augustsson
1989 — conf
Parallel Graph Reduction with the <nu, G>-Machine.
FPCA
Lennart Augustsson, Thomas Johnsson
1989 J jnl
The Chalmers Lazy-ML Compiler.
Comput. J.
Lennart Augustsson, Thomas Johnsson
1985 — conf
Compiling Pattern Matching.
FPCA
Lennart Augustsson
1984 — conf
A Compiler for Lazy ML.
LISP and Functional Programming
Lennart Augustsson