C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
COS
2013
2013
2013
Keyphrases
Publications
2013
James Laird
Combining and Relating Control Effects and their Semantics.
COS
(2013)
Yoshihiko Kakutani
,
Daisuke Kimura
Induction by Coinduction and Control Operators in Call-by-Name.
COS
(2013)
Malgorzata Biernacka
,
Dariusz Biernacki
,
Sergueï Lenglet
,
Marek Materzok
Proving termination of evaluation for System F with control operators.
COS
(2013)
Federico Aschieri
Strong Normalization for HA + EM1 by Non-Deterministic Choice.
COS
(2013)
Giovanni Birolo
Interpreting a Classical Geometric Proof with Interactive Realizability.
COS
(2013)
Bram Geron
,
Herman Geuvers
Continuation calculus.
COS
(2013)
Harley Eades III
,
Aaron Stump
Hereditary Substitution for the λΔ-Calculus.
COS
(2013)
Danko Ilik
A formalized type-directed partial evaluator for shift and reset
COS
(2013)
volume 127, 2013
Proceedings First Workshop on Control Operators and their Semantics, COS 2013, Eindhoven, The Netherlands, June 24-25, 2013.
COS
127 (2013)