Lennart Augustsson

Lennart Augustsson is a Swedish computer scientist. He was previously a lecturer at the Computing Science Department at Chalmers University of… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1985-2014
0119852014

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Journal of Functional Programming / Volume 24 / Special Issue 06 / November 2014, pp 612 612 DOI: 10.1017/S0956796815000039… (More)
Is this relevant?
2009
2009
It is a well known fact that there is a correspondence between propositions and type, and similarly a correspondence between a… (More)
  • table 1
  • table 2
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2006
2006
Steering Committee Arvind, MIT (U.S.) Masahiro Fujita, U. Tokyo (Japan) Rajesh Gupta, UC-San Diego (U.S.) Constance Heitmeyer… (More)
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Bluespec System Verilog is an EDL toolset for ASIC and FPGA design offering significantly higher productivity via a radically… (More)
Is this relevant?
1993
1993
s of Demonstrations<lb>Cambridge Demo<lb>Tom Melham<lb>Theorem-proving tools in the HOL system<lb>Abstract<lb>The HOL system is… (More)
Is this relevant?
Review
1991
Review
1991
For a number of years, this author together with Lennart Augustsson have been developing fast implementations of lazy functional… (More)
  • figure 1
  • figure 2
Is this relevant?
1987
1987
Some functional programs may use more space than would be expected. A modiication to the garbage collector is suggested which… (More)
Is this relevant?
1985
1985
Abstrac t The G-machine is an abs t rac t architecture for evaluating functional-language programs by programmed graph reduction… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?