Cause and Effect: Type Systems for Effects and Dependencies (2005)

by Geoffrey Washburn
Citations:1 - 0 self

Documents Related by Co-Citation

11 Exceptions Are Strictly More Powerful Than Call Cc – Mark Lillibridge - 1995
7 A type system for exceptions – J C Guzmán, A Suárez - 1994
2 A Short Note on Intuitionistic Propositional Logic with Multiple Conclusions – Valeria De Paiva, Luiz Carlos Pereira
25 Reasoning about Continuations with Control Effects – Pierre Jouvelot, David K. Gifford - 1989
10 The Non-deterministic Catch and Throw Mechanism and Its Subject Reduction Property – Hiroshi Nakano - 1994
108 Proof Theory – Gaisi Takeuti - 1987
16 A Constructive Formalization of the Catch and Throw Mechanism – Hiroshi Nakano - 1992
234 A Formulae-as-Types Notion of Control – Timothy G. Griffin - 1990
321 λµ-calculus: an algorithmic interpretation of classic natural deduction – M Parigot - 1992
685 Introduction to metamathematics – S C Kleene - 1952
604 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David B MacQueen - 1990
150 The Type and Effect Discipline – Jean-Pierre Talpin, Pierre Jouvelot - 1992
259 Investigations into logical deduction – G Gentzen - 1969
76 A Curry-Howard foundation for functional computation with control – C. -h. L. Ong, C. A. Stewart - 1997
37 A Simple Calculus of Exception Handling – Philippe de Groote - 1995
61 Type-Based Analysis of Uncaught Exceptions – Xavier Leroy, François Pessaux - 1998
11 Compiling with continuations, continued – Andrew Kennedy - 2007
12 Exception Handlers as Extensible Cases – Matthias Blume, Umut A. Acar, Wonseok Chae