Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,307 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
5 relations
Haskell
Lazy evaluation
Lennart Augustsson
Programming language
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
1997
1997
An Inference Algorithm for Strictness
Ferruccio Damiani
,
P. Giannini
International Conference on Typed Lambda Calculus…
1997
Corpus ID: 32465506
In this paper we introduce an algorithm for detecting strictness information in typed functional programs. Our algorithm is based…
Expand
1993
1993
The interactive Lazy ML system
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…
Expand
1993
1993
Tools for a calculus of broadcasting systems
Jenny Petersson
1993
Corpus ID: 59963043
This thesis presents two tools to examine agents in a Calculus of Broadcasting Systems, CBS. The rst is a simulator implementing…
Expand
1993
1993
From VDM Speci cations to Functional
PrototypesPaulo
,
Borba
1993
Corpus ID: 18374242
1 Abstract This paper describes, mostly in an informal way, a method for translating formal, model-based speciications, into…
Expand
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)
ACCEPT & CONTINUE