20 search results - page 2 / 4 » icfp 2001 |
ICFP
2001
ACM
14 years 10 months ago
2001
ACM
ICFP
2001
ACM
14 years 10 months ago
2001
ACM
ICFP
2001
ACM
14 years 10 months ago
2001
ACM
ICFP
2001
ACM
14 years 10 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 10 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...