COS

201320132013

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)