20 search results - page 2 / 4 » icfp 2001 |
10
Voted
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
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
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...