ICFP
2001
ACM
15 years 12 days 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
15 years 12 days ago
2001
ACM
ICFP
2001
ACM
15 years 12 days ago
2001
ACM
ICFP
2001
ACM
15 years 12 days 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
15 years 12 days ago
2001
ACM
ICFP
2001
ACM
15 years 12 days 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
15 years 12 days ago
2001
ACM
ICFP
2001
ACM
15 years 12 days 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
15 years 12 days 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
15 years 12 days ago
2001
ACM