Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,537,316 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
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
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