A type-theoretic foundation of delimited continuations Journal Articles

authors

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

status

• published 

publication date

• September 2009

has subject area

• 0802 Computation Theory and Mathematics (FoR)
• 1702 Cognitive Sciences (FoR)
• Software Engineering (Science Metrix)

published in

• LISP and Symbolic Computation  Journal

keywords

• 46 Information and Computing Sciences
• 4612 Software Engineering
• 4613 Theory Of Computation

Digital Object Identifier (DOI)

• 10.1007/s10990-007-9006-0

start page

• 233

end page

• 273

volume

• 22

issue

• 3