Skip to search formSkip to main contentSkip to account menu

Lazy ML

Known as: LazyML 
Lazy ML (LML) is a functional programming language developed in the early 1980s by Lennart Augustsson and Thomas Johnsson at Chalmers University of… 
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2007
Highly Cited
2007
1997
1997
The SML-like module systems are small typed languages of their own. As is, one would expect a proof of their soundness following… 
1997
1997
This article describes the process of developing a system for translating VDM executable specifications into Lazy ML prototypes… 
Highly Cited
1995
Highly Cited
1995
We present the first profiler for a compiled, non-strict, higher-order, purely functional language capable of measuring time as… 
1995
1995
Generational garbage collection is an established method for creating efficient garbage collectors. Even a simple implementation… 
1993
1993
  • L. Augustsson
  • Journal of Functional Programming
  • 1993
  • Corpus ID: 43426914
Abstract In this paper we describe an implementation of an interactive version of the purely functional programming language Lazy… 
1993
1991
1991
We present a new parallel implementation of lazy ML. Our scheme is a direct extension of the G-machine-based implementation of… 
1990
1990
A criticism often levelled at functional languages is that they do not cope elegantly or efficiently with problems involving… 
Highly Cited
1984
Highly Cited
1984
LML is a strongly typed, statically scoped functional Language with Lazy evaluation. It is compiled trough a number of program…