Lennart Augustsson
Swedish computer scientist

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.
Augustsson has worked for Carlstedt Research and Technology, Sandburst, Credit Suisse, Standard Chartered Bank, Facebook, X Development, Google and is currently employed by Epic Games.
Programming
Augustsson was intimately involved in early development of the multi-user dungeon (MUD) LPMud, both in the LPMUD driver and the CD mudlib. His MUD community pseudonym is Marvin.
He authored several hardware device drivers for the Berkeley Software Distribution (BSD) Unix operating system NetBSD.
Languages
Augustsson has developed several programming languages and implementations, including:
Cayenne
Haskell-B compiler (HBC)
Parallel Haskell (pH) compiler front end, from the Massachusetts Institute of Technology (MIT)
Bluespec SystemVerilog (BSV) compiler, first version
Lazy ML (LML), co-developed with Thomas Johnsson, a functional programming language developed in the early 1980s, before Miranda and Haskell. LML is a strongly typed, statically scoped implementation of ML, with lazy evaluation. The key innovation of LML was to demonstrate how to compile a lazy functional language. Until then, lazy languages had been implemented via interpreted graph reduction.
The public source identifies “Lennart Augustsson” as swedish computer scientist. This brief keeps that definition visible, then builds a research path around Lennart, Augustsson and Swedish.
Why this record matters
A short description can identify a subject without explaining its stakes. For “Lennart Augustsson”, the useful work is to connect “swedish computer scientist” to the records capable of establishing context and consequence.
The entry’s evidential value lies in the named roles, institutions and publications that can be tested against primary documentation. The source revision retrieved here is dated Sep 13, 2026. The linked authority identifier is Q6522721. VIAF identifies the subject as 132148995967659751892. 1 of 2 selected statements include explicit references; 0 carry qualifiers and 0 use preferred rank.
Later biographies can compress uncertainty and repeat inherited reputations, so apparently settled claims may still require comparison. The source lead contains qualifying language; that uncertainty should survive quotation, summary and reuse. Authority statements aid reconciliation but still require their own references, qualifiers and ranks to be checked.
How to read it
Read biographical claims against dates, named institutions and the cited references. Distinguish a subject’s later reputation from evidence produced during their lifetime.
- Establishing names and roles
- Building a first chronology
- Locating cited institutions
Personal papers, civil or court records, institutional files and the scholarship cited by the source.
Three-step research path
- Establish the record: confirm the title “Lennart Augustsson”, its source revision and the description used here.
- Expand the search: follow Lennart Augustsson primary sources, Lennart Augustsson archive and Lennart research across catalogues and specialist indexes.
- Test the account: compare the strongest cited source with the responsible institution’s current record and note any disagreement.
Questions for further research
- Which source most directly establishes the central claim about “Lennart Augustsson”?
- How has the subject’s reputation changed across later accounts?
- Which claims depend on a single source or contested interpretation?
Search terms from this dossier
This entry incorporates text from “Lennart Augustsson” on English Wikipedia. Contributors are listed in the page history. Text is available under the Creative Commons Attribution-ShareAlike 4.0 License. Selected authority identifiers and statements are retrieved from Wikidata under CC0; their references and qualifiers remain part of the verification path.