Toggle navigation
Home
People
Departments
Research
About
Login
Search
ICFP04: ACM SIGPLAN International Conference on Functional Programming
Conference
Scholarly Activity
Scholarly Activity
related documents
A type-theoretic foundation of continuations and prompts
Conferences