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

Active Bibliography

7 On the call-by-value CPS transform and its semantics – Carsten Führmann , Hayo Thielecke - 2004
11 Axioms for Recursion in Call-by-Value – Masahito Hasegawa, Yoshihiko Kakutani - 2001
unknown title – Carsten Führmann A, Hayo Thielecke B
9 Duality between Call-by-Name Recursion and Call-by-Value Iteration – Yoshihiko Kakutani - 2001
Axioms for Recursion in Call-by-Value (Extended Abstract) – Masahito Hasegawa, Yoshihiko Kakutani - 2001
766 Notions of Computation and Monads – Eugenio Moggi - 1991
12 The Structure of Call-by-Value – Carsten Führmann - 2000
1353 Monads for functional programming – Philip Wadler - 1995
619 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003