๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A type-theoretic foundation of delimited continuations

โœ Scribed by Zena M. Ariola; Hugo Herbelin; Amr Sabry

Publisher
Springer
Year
2007
Tongue
English
Weight
908 KB
Volume
22
Category
Article
ISSN
1388-3690

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A type-theoretic semantics of arrays
A type-theoretic semantics of arrays
โœ Carl McCrosky; Diptendu Dutta ๐Ÿ“‚ Article ๐Ÿ“… 1990 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 398 KB
A Type-theoretic Description of Action C
A Type-theoretic Description of Action Calculi
โœ Philippa Gardner ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 32 KB

Action calculi, introduced by Milner, provide a framework for investigating models of interaction. This talk will focus on the connection between action calculi and known concepts arising from type theory. The aim of this work is to isolate what is distinctive about action calculi, and to investigat