We stand with Ukraine  

Lennart Augustsson

Orcid: 0009-0008-6894-4020

Affiliations:
  • Chalmers University of Technology, Gothenburg, Sweden


According to our database1, Lennart Augustsson authored at least 17 papers between 1984 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
MicroHs: A Small Compiler for Haskell.
[BibTeX]
[DOI]
Lennart Augustsson
Proceedings of the 17th ACM SIGPLAN International Haskell Symposium, 2024

2023
The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Michael Sperber
,
Lennart Augustsson
J. Funct. Program., 2014

2010
O, partial evaluator, where art thou?
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Lennart Augustsson
,
Howard Mansell
,
Ganesh Sittampalam
Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

1998
Cayenne - A Language with Dependent Types.
[BibTeX]
[DOI]
Lennart Augustsson
Proceedings of the Advanced Functional Programming, 1998

1997
Partial Evaluation in Aircraft Crew Planning.
[BibTeX]
[DOI]
Lennart Augustsson
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), 1997

1996
Benchmarking Implementations of Functional Languages with 'Pseudoknot', a Float-Intensive Benchmark.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Lennart Augustsson
,
Mikael Rittri
,
Dan Synek
J. Funct. Program., 1994

1993
The Interactive Lazy ML System.
[BibTeX]
[DOI]
Lennart Augustsson
J. Funct. Program., 1993

Implementing Haskell Overloading.
[BibTeX]
[DOI]
Lennart Augustsson
Proceedings of the conference on Functional programming languages and computer architecture, 1993

1991
BWM: A Concrete Machine for Graph Reduction.
[BibTeX]
[DOI]
Lennart Augustsson
Proceedings of the Functional Programming, 1991

1989
The Chalmers Lazy-ML Compiler.
[BibTeX]
[DOI]
Lennart Augustsson
,
Thomas Johnsson
Comput. J., 1989

Parallel Graph Reduction with the <nu, G>-Machine.
[BibTeX]
[DOI]
Lennart Augustsson
,
Thomas Johnsson
Proceedings of the fourth international conference on Functional programming languages and computer architecture, 1989

1985
Compiling Pattern Matching.
[BibTeX]
[DOI]
Lennart Augustsson
Proceedings of the Functional Programming Languages and Computer Architecture, 1985

1984
A Compiler for Lazy ML.
[BibTeX]
[DOI]
Lennart Augustsson
Proceedings of the 1984 ACM Conference on LISP and Functional Programming, 1984


  Loading...