ICFP
2001
ACM
14 years 4 months ago
2001
ACM
This paper presents a new implementation technique for priority search queues. This abstract data type is an amazing blend of finite maps and priority queues. Our implementation s...
ICFP
2001
ACM
14 years 4 months ago
2001
ACM
The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representation...
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
With few exceptions, macros have traditionally been viewed as operations on syntax trees or even on plain strings. This view makes macros seem ad hoc, and is at odds with two desi...
ICFP
2001
ACM
14 years 4 months ago
2001
ACM
The type systems of most typed functional programming languages are based on the Hindley-Milner type system. A practical problem with these type systems is that it is often hard t...
ICFP
2001
ACM
14 years 4 months ago
2001
ACM
Contification is a compiler optimization that turns a function that always returns to the same place into a continuation. Compilers for functional languages use contification to e...
ICFP
2001
ACM
14 years 4 months ago
2001
ACM
We present a dependently typed assembly language (DTAL) in which the type system supports the use of a restricted form of dependent types, reaping some benefits of dependent types...
ICFP
2001
ACM
14 years 4 months ago
2001
ACM
