Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
ICFP
2001
ACM
12 years 5 months ago
Extensible Algebraic Datatypes with Defaults
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...
Matthias Zenger, Martin Odersky
ICFP
2001
ACM
12 years 5 months ago
Real-Time FRP
Zhanyong Wan, Walid Taha, Paul Hudak
ICFP
2001
ACM
12 years 5 months ago
On Regions and Linear Types
David Walker, Kevin Watkins
ICFP
2001
ACM
12 years 5 months ago
Developing a Stage Lighting System from Scratch
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...
Michael Sperber
ICFP
2001
ACM
12 years 5 months ago
Recursive Structures for Standard ML
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...
Claudio V. Russo
ICFP
2001
ACM
12 years 5 months ago
A New Notation for Arrows
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...
Ross Paterson
ICFP
2001
ACM
12 years 5 months ago
Down with Emacs Lisp: Dynamic Scope Analysis
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 ...
Matthias Neubauer, Michael Sperber
ICFP
2001
ACM
12 years 5 months ago
Automatic Generation of Staged Geometric Predicates
Aleksandar Nanevski, Guy E. Blelloch, Robert Harpe...
books