ICFP
2001
ACM
14 years 4 months ago
2001
ACM
A major problem for writing extensible software arises when recursively defined datatypes and operations on these types have to be extended simultaneously without modifying existi...
ICFP
2001
ACM
14 years 4 months ago
2001
ACM
ICFP
2001
ACM
14 years 4 months ago
2001
ACM
ICFP
2001
ACM
14 years 4 months ago
2001
ACM
Lula is a system for computer-assisted stage lighting design and control. Whereas other systems for the same purpose are usually the results of long chains of incremental improvem...
ICFP
2001
ACM
14 years 4 months ago
2001
ACM
ICFP
2001
ACM
14 years 4 months ago
2001
ACM
Standard ML is a statically typed programming language that is suited for the construction of both small and large programs. "Programming in the small" is captured by St...
ICFP
2001
ACM
14 years 4 months ago
2001
ACM
ICFP
2001
ACM
14 years 4 months ago
2001
ACM
The categorical notion of monad, used by Moggi to structure denotational descriptions, has proved to be a powerful tool for structuring combinator libraries. Moreover, the monadic...
ICFP
2001
ACM
14 years 4 months ago
2001
ACM
It is possible to translate code written in Emacs Lisp or another Lisp dialect which uses dynamic scoping to a more modern programming language with lexical scoping while largely ...
ICFP
2001
ACM
14 years 4 months ago
2001
ACM