A type-theoretic foundation of continuations and prompts Conferences

authors

• Ariola, Zena M
• Herbelin, Hugo
• Sabry, Amr

status

• published 

publication date

• September 19, 2004

published in

• Proceedings of the ninth ACM SIGPLAN international conference on Functional programming  Journal

presented at event

• ICFP04: ACM SIGPLAN International Conference on Functional Programming  Conference

keywords

• 49 Mathematical Sciences
• 50 Philosophy and Religious Studies
• 5003 Philosophy

Digital Object Identifier (DOI)

• 10.1145/1016850.1016860

start page

• 40

end page

• 53