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 (opens in a new tab)

Related topics

Related topics

5 relations
HaskellLazy evaluationLennart AugustssonProgramming language

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
1997
1997
An Inference Algorithm for Strictness
In this paper we introduce an algorithm for detecting strictness information in typed functional programs. Our algorithm is based… 
1993
1993
The interactive Lazy ML system
Abstract In this paper we describe an implementation of an interactive version of the purely functional programming language Lazy… 
1993
1993
The functional strategy and transitive term rewriting systems
The functional strategy has been widely used implicitly (Haskell, Miranda, Lazy ML) and explicitly (Clean) as an e(cid:14)cient… 
1993
1993
Tools for a calculus of broadcasting systems
This thesis presents two tools to examine agents in a Calculus of Broadcasting Systems, CBS. The rst is a simulator implementing… 
1993
1993
From VDM Speci cations to Functional
1 Abstract This paper describes, mostly in an informal way, a method for translating formal, model-based speciications, into… 
1991
1991
GAML: a Parallel Implementation of Lazy ML
We present a new parallel implementation of lazy ML. Our scheme is a direct extension of the G-machine-based implementation of… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)