Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,261,456 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
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.
Highly Cited
2007
Highly Cited
2007
Flow analysis of lazy higher-order functional programs
N. Jones
,
Nils Andersen
Theor. Comput. Sci.
2007
Corpus ID: 1229854
1997
1997
An Applicative Module Calculus
J. Courant
TAPSOFT
1997
Corpus ID: 16922423
The SML-like module systems are small typed languages of their own. As is, one would expect a proof of their soundness following…
Expand
1997
1997
A System for Translating Executable VDM Specifications into Lazy ML
Paulo Borba
,
S. Meira
1997
Corpus ID: 62719412
This article describes the process of developing a system for translating VDM executable specifications into Lazy ML prototypes…
Expand
Highly Cited
1995
Highly Cited
1995
Time and space profiling for non-strict, higher-order functional languages
Patrick M. Sansom
,
S. Jones
POPL '95
1995
Corpus ID: 8189614
We present the first profiler for a compiled, non-strict, higher-order, purely functional language capable of measuring time as…
Expand
1995
1995
Generational Garbage Collection without Temporary Space Leaks for Lazy Functional Languages
Niklas Röjemo
IWMM
1995
Corpus ID: 30606732
Generational garbage collection is an established method for creating efficient garbage collectors. Even a simple implementation…
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
From VDM specifications to functional prototypes
Paulo Borba
,
S. Meira
J. Syst. Softw.
1993
Corpus ID: 10316407
1991
1991
GAML: a Parallel Implementation of Lazy ML
Luc Maranget
FPCA
1991
Corpus ID: 7365879
We present a new parallel implementation of lazy ML. Our scheme is a direct extension of the G-machine-based implementation of…
Expand
1990
1990
Linearity and Laziness
D. Wakeling
,
C. Runciman
FPCA
1990
Corpus ID: 2012244
A criticism often levelled at functional languages is that they do not cope elegantly or efficiently with problems involving…
Expand
Highly Cited
1984
Highly Cited
1984
A compiler for lazy ML
L. Augustsson
LFP '84
1984
Corpus ID: 11365842
LML is a strongly typed, statically scoped functional Language with Lazy evaluation. It is compiled trough a number of program…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
,
Terms of Service
, and
Dataset License
ACCEPT & CONTINUE