Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.
Lazy ML
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2007
Highly Cited
2007
In recent years much interest has been shown in a class of functional languages including HASKELL, lazy ML, SASL/KRC/MIRANDA… Expand
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… Expand
1997
1997
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
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 is an established method for creating efficient garbage collectors. Even a simple implementation… Expand
1994
1994
In ML~style pattern matching, pattern size is not constrained and ambiguous patterns are allowed. This generality leads to a… Expand
1993
1993
In this paper we describe an implementation of an interactive version of the purely functional programming language Lazy ML (LML… Expand
1991
1991
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
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
LML is a strongly typed, statically scoped functional Language with Lazy evaluation. It is compiled trough a number of program… Expand