Lennart Augustsson

According to our database, Lennart Augustsson authored at least 16 papers between 1984 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

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., August, 2023

2016

Experience report: types for a relational algebra library.

Lennart Augustsson, Mårten Ågren

Proceedings of the 9th International Symposium on Haskell, 2016

2014

Special Issue on Run-Time Systems and Target Platforms for Functional Languages: Editorial.

Michael Sperber, Lennart Augustsson

J. Funct. Program., 2014

2010

O, partial evaluator, where art thou?

Lennart Augustsson

Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010

2008

Paradise: a two-stage DSL embedded in Haskell.

Lennart Augustsson, Howard Mansell, Ganesh Sittampalam

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

1998

Partial Evaluation in Aircraft Crew Planning.

Lennart Augustsson

Proceedings of the Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29, 1998

Cayenne - a Language with Dependent Types.

Lennart Augustsson

Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998

1996

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, 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

J. Funct. Program., 1996

1994

On Generating unique Names.

Lennart Augustsson, Mikael Rittri, Dan Synek

J. Funct. Program., 1994

1993

The Interactive Lazy ML System.

Lennart Augustsson

J. Funct. Program., 1993

Implementing Haskell Overloading.

Lennart Augustsson

Proceedings of the conference on Functional programming languages and computer architecture, 1993

1991

BWM: A Concrete Machine for Graph Reduction.

Lennart Augustsson

Proceedings of the Functional Programming, 1991

1989

The Chalmers Lazy-ML Compiler.

Lennart Augustsson, Thomas Johnsson

Comput. J., 1989

Parallel Graph Reduction with the <nu, G>-Machine.

Lennart Augustsson, Thomas Johnsson

Proceedings of the fourth international conference on Functional programming languages and computer architecture, 1989

1985

Compiling Pattern Matching.

Lennart Augustsson

Proceedings of the Functional Programming Languages and Computer Architecture, 1985

1984

A Compiler for Lazy ML.

Lennart Augustsson

Proceedings of the 1984 ACM Conference on LISP and Functional Programming, 1984