Travelled to:1 × Canada
1 × Denmark
1 × France
1 × Portugal
1 × Spain
1 × The Netherlands
1 × United Kingdom
2 × USA
Collaborated with:∅ T.Johnsson M.Ågren H.Mansell G.Sittampalam
Talks about:type (3) partial (2) languag (2) haskel (2) depend (2) compil (2) cayenn (2) evalu (2) implement (1) parallel (1)
Person: Lennart Augustsson
DBLP: Augustsson:Lennart
Contributed to:
2010
2008
199819981997
199319891985
1984
2016Wrote 10 papers:
- PEPM-2010-Augustsson #question
- O, partial evaluator, where art thou? (LA), pp. 1–2.
- ICFP-2008-AugustssonMS #domain-specific language #embedded #haskell #named
- Paradise: a two-stage DSL embedded in Haskell (LA, HM, GS), pp. 225–228.
- AFP-1998-Augustsson98 #dependent type #named
- Cayenne — A Language with Dependent Types (LA), pp. 240–267.
- ICFP-1998-Augustsson #dependent type #named
- Cayenne — a Language with Dependent Types (LA), pp. 239–250.
- PEPM-1997-Augustsson #partial evaluation
- Partial Evaluation in Aircraft Crew Planning (LA), pp. 127–136.
- FPCA-1993-Augustsson #haskell #implementation
- Implementing Haskell Overloading (LA), pp. 65–73.
- FPCA-1989-AugustssonJ #graph #parallel #reduction
- Parallel Graph Reduction with the
- FPCA-1985-Augustsson85 #compilation #pattern matching
- Compiling Pattern Matching (LA), pp. 368–381.
- LFP-1984-Augustsson #compilation #lazy evaluation #ml
- A Compiler for Lazy ML (LA), pp. 218–227.
- Haskell-2016-AugustssonA #algebra #case study #experience #library #relational
- Experience report: types for a relational algebra library (LA, MÅ), pp. 127–132.