Searching for authors named Lennart Augustsson – sorted by Relevance.
-
Partial Evaluation in Aircraft Crew Planning
- Partial evaluation in aircraft crew planning Lennart Augustsson Carlstedt Research & Technology
- Cited by 6 (0 self) – Add To MetaCart
-
Equality proofs in Cayenne
- Equality proofs in Cayenne Lennart Augustsson Department of Computing Sciences Chalmers University
- Cited by 1 (0 self) – Add To MetaCart
-
BWM a concrete machine for graph reduction
- BWM a concrete machine for graph reduction Lennart Augustsson Department of Computer Sciences
- Cited by 3 (0 self) – Add To MetaCart
-
Implementing Haskell overloading
- Implementing Haskell overloading Lennart Augustsson Department of Computer Sciences Chalmers
- Cited by 43 (1 self) – Add To MetaCart
-
Cayenne - a Language With Dependent Types
- Cayenne a language with dependent types Lennart Augustsson Department of Computing Sciences
- Cited by 169 (0 self) – Add To MetaCart
-
Parallel Graph Reduction with the
- Parallel Graph Reduction with the h; Gi-machine Lennart Augustsson and Thomas Johnsson Department
- Add To MetaCart
-
An exercise in dependent types: A well-typed interpreter
- An exercise in dependent types: A well-typed interpreter Lennart Augustsson Magnus Carlsson
- Cited by 16 (0 self) – Add To MetaCart
-
Parallel Graph Reduction with the -machine
- Parallel Graph Reduction with the h; Gi-machine Lennart Augustsson and Thomas Johnsson Department
- Cited by 10 (1 self) – Add To MetaCart
-
An exercise in dependent types: A well-typed interpreter
- An exercise in dependent types: A well-typed interpreter Lennart Augustsson Magnus Carlsson
- Add To MetaCart
-
The Hbc Compiler
- Haskell B. user's manual Version 0.999.4 Lennart Augustsson July 19, 1993 Draft Comments
- Add To MetaCart

