Sciweavers

34 search results - page 1 / 7
» popl 2006
Sort
View
POPL
2006
ACM
15 years 10 months ago
Interruptible iterators
Jed Liu, Aaron Kimball, Andrew C. Myers
POPL
2006
ACM
15 years 10 months ago
N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems
Albert Cohen, Marc Duranton, Christine Eisenbeis, ...
POPL
2006
ACM
15 years 10 months ago
A verifiable SSA program representation for aggressive compiler optimization
Vijay Menon, Neal Glew, Brian R. Murphy, Andrew Mc...
POPL
2006
ACM
15 years 10 months ago
Why dependent types matter
We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...
James McKinna