Lennart Augustsson

Lennart Augustsson is a Swedish computer scientist. He was previously a lecturer at the Computing Science Department at Chalmers University of Technology. His research field is functional programming and implementations of functional languages.[1]

Augustsson has worked for Carlstedt Research and Technology, Sandburst, Credit Suisse, Standard Chartered Bank, Facebook, and is currently employed by X (company).[2]

Augustsson is the author of:

He was also a co-developer, with Thomas Johnsson, of Lazy ML,[8] a functional programming language developed in the early 1980s, prior to 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. LML compiled to G-machine code.

Augustsson was intimately involved in early LPMud development, both in the LPMUD driver and the CD mudlib. His MUD community pseudonym is Marvin.[9]

Augustsson has written three winning entries in the International Obfuscated C Code Contest:

References

  1. ↑ "Commercial Users of Functional Programming -- Lennart Augustsson". Archived from the original on 8 February 2012. Retrieved 18 September 2016.
  2. ↑ "Lennart Augustsson". LinkedIn profile. Retrieved 29 March 2017.
  3. ↑ "Cayenne -- A language with dependent types". Retrieved 18 September 2016.
  4. ↑ "Haskell Implementations". Retrieved 18 September 2016.
  5. ↑ "Chapter 13 USB Devices". Retrieved 18 September 2016.
  6. ↑ "Parallel Haskell". Retrieved 18 September 2016.
  7. ↑ "Bluespec -- Designer's Perspective" (PDF). Retrieved 18 September 2016.
  8. ↑ Augustsson, Lennart (1984). "A Compiler for Lazy ML". Proceedings of the 1984 ACM Symposium on LISP and functional programming. Retrieved 18 September 2016.
  9. ↑ "Common Expressions LPMud". Retrieved 18 September 2016.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.