Lennart Augustsson
#28,162
Most Influential Person Across History
Swedish computer scientist
Lennart Augustsson's AcademicInfluence.com Rankings
Lennart Augustssoncomputer-science Degrees
Computer Science
#932
Historical Rank
Programming
#21
Historical Rank
Database
#8868
Historical Rank
Download Badge
Computer Science
Lennart Augustsson's Degrees
- PhD Computer Science Chalmers University of Technology
- Masters Computer Science Chalmers University of Technology
Similar Degrees You Can Earn
Why Is Lennart Augustsson Influential?
(Suggest an Edit or Addition)According to Wikipedia, Lennart Augustsson is a Swedish computer scientist. He was formerly a lecturer at the Computing Science Department at Chalmers University of Technology. His research field is functional programming and implementations of functional programming languages.
Lennart Augustsson's Published Works
Published Works
- Cayenne—a language with dependent types (1998) (361)
- A compiler for lazy ML (1984) (205)
- Compiling Pattern Matching (1985) (204)
- The Chalmers Lazy-ML Compiler (1989) (113)
- Parallel graph reduction with the (v , G)-machine (1989) (83)
- Benchmarking implementations of functional languages with ‘Pseudoknot’, a float-intensive benchmark (1996) (81)
- Paradise (1889) (78)
- Implementing Haskell overloading (1993) (64)
- An exercise in dependent types: A well-typed interpreter (1999) (50)
- PH Language Reference Manual, Version 1.0---preliminary (1995) (34)
- Paradise: a two-stage DSL embedded in Haskell (2008) (32)
- Functional Pearl: On generating unique names (1994) (27)
- Pseudoknot: A Float-Intensive Benchmark for Functional Compilers (1994) (26)
- Putting Curry-Howard to work (2009) (23)
- Partial evaluation in aircraft crew planning (1997) (17)
- BWM: A Concrete Machine for Graph Reduction (1991) (7)
- Experience report: types for a relational algebra library (2016) (6)
- The interactive Lazy ML system (1993) (5)
- O, partial evaluator, where art thou? (2010) (3)
- Special Issue on Run-Time Systems and Target Platforms for Functional Languages: Editorial (2014) (0)
- The Journal of Functional and Logic Programming the Journal of Functional and Logic Programming a Declarative Debugging Scheme (1997) (0)
- The Journal of Functional and Logic Programming the Journal of Functional and Logic Programming Compile-time Pointer Reversal (1996) (0)
- Session details: Session 2 (2007) (0)
This paper list is powered by the following services:
Other Resources About Lennart Augustsson
What Schools Are Affiliated With Lennart Augustsson?
Lennart Augustsson is affiliated with the following schools: