Varieties of effects (2002)

Cached

Download Links

by Carsten Führmann
Venue:In Foundations of Software Science and Computation Structures, volume 2303 of LNCS
Citations:12 - 1 self

Documents Related by Co-Citation

730 Notions of Computation and Monads – Eugenio Moggi - 1991
11 Axioms for Recursion in Call-by-Value – Masahito Hasegawa, Yoshihiko Kakutani - 2001
84 Control Categories and Duality: on the Categorical Semantics of the Lambda-Mu Calculus – Peter Selinger, I Nger - 1999
99 Premonoidal Categories and Notions of Computation – John Power, Edmund Robinson - 1995
93 Typing First-Class Continuations in ML – Robert Harper, Bruce F. Duba, David Macqueen - 1992
37 Declarative continuations: an investigation of duality in programming language semantics – A Filinski - 1989
70 Categorical Structure of Continuation Passing Style – Hayo Thielecke, Alan Paxton, Andy Pitts, Jon Riecke, David N. Turner, Phil Wadler - 1997
240 A Formulae-as-Types Notion of Control – Timothy G. Griffin - 1990
625 Compiling With Continuations – A W Appel - 1992
12 The Structure of Call-by-Value – Carsten Führmann - 2000
75 Parametric Polymorphism and Operational Equivalence – Andrew M. Pitts - 2000
365 Types, abstraction and parametric polymorphism – J C Reynolds - 1983
326 Theorems for free! – Philip Wadler - 1989
9 Duality between Call-by-Name Recursion and Call-by-Value Iteration – Yoshihiko Kakutani, Ii Yoshihiko Kakutani - 2001
328 An algorithmic interpretation of classical natural deduction – M Parigot - 1992
141 Introduction to Higher-Order Categorical Logic – J Lambek, P Scott - 1986
10 Monad-independent Hoare Logic in HasCasl – Lutz Schröder, Till Mossakowski - 2003
88 Categorical Logic – Andrew M. Pitts - 1995
19 A General Semantics for Evaluation Logic – Eugenio Moggi - 1994