| 1998 |
|---|
| 13 | | Lennart Augustsson:
Cayenne - A Language with Dependent Types.
Advanced Functional Programming 1998: 240-267 |
| 12 | EE | Lennart Augustsson:
Cayenne - a Language with Dependent Types.
ICFP 1998: 239-250 |
| 11 | | Lennart Augustsson:
Partial Evaluation in Aircraft Crew Planning.
Partial Evaluation 1998: 231-245 |
| 1997 |
|---|
| 10 | EE | Lennart Augustsson:
Partial Evaluation in Aircraft Crew Planning.
PEPM 1997: 127-136 |
| 1996 |
|---|
| 9 | | Pieter H. Hartel,
Marc Feeley,
Martin 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): 621-655 (1996) |
| 1994 |
|---|
| 8 | | Lennart Augustsson,
Mikael Rittri,
Dan Synek:
On Generating unique Names.
J. Funct. Program. 4(1): 117-123 (1994) |
| 1993 |
|---|
| 7 | | Lennart Augustsson:
Implementing Haskell Overloading.
FPCA 1993: 65-73 |
| 6 | | Lennart Augustsson:
The Interactive Lazy ML System.
J. Funct. Program. 3(1): 77-92 (1993) |
| 1991 |
|---|
| 5 | | Lennart Augustsson:
BWM: A Concrete Machine for Graph Reduction.
Functional Programming 1991: 36-50 |
| 1989 |
|---|
| 4 | EE | Lennart Augustsson,
Thomas Johnsson:
Parallel Graph Reduction with the <nu, G>-Machine.
FPCA 1989: 202-213 |
| 3 | | Lennart Augustsson,
Thomas Johnsson:
The Chalmers Lazy-ML Compiler.
Comput. J. 32(2): 127-141 (1989) |
| 1985 |
|---|
| 2 | | Lennart Augustsson:
Compiling Pattern Matching.
FPCA 1985: 368-381 |
| 1984 |
|---|
| 1 | | Lennart Augustsson:
A Compiler for Lazy ML.
LISP and Functional Programming 1984: 218-227 |
