Monadic Type Systems: Pure Type Systems for Impure Settings (Preliminary Report) (1997)

Cached

Download Links

by Gilles Barthe , John Hatcliff , Peter Thiemann
Venue:In Proceedings of the Second HOOTS Workshop
Citations:8 - 2 self

Documents Related by Co-Citation

87 A Generic Account of Continuation-Passing Styles – John Hatcliff, Olivier Danvy - 1994
733 Notions of Computation and Monads – Eugenio Moggi - 1991
620 Compiling with Continuations – A W Appel - 1992
458 Comprehending Monads – Philip Wadler - 1992
105 Compiling Standard ML to Java bytecodes – Nick Benton, Andrew Kennedy, George Russell, Nick Benton, Andrew Kennedy, George Russell - 1998
441 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
1312 Monads for functional programming – Philip Wadler - 1995
10 de Paiva. Computational types from a logical perspective – P N Benton, G M Bierman, V C V - 1995
30 Strictness Analysis of Lazy Functional Programs – F Damiani, P Giannini Benton, P N - 1992
519 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
54 Computational types from a logical perspective – P. N. Benton, G. M. Bierman, V. C. V. De Paiva - 1998
220 Call-by-name, call-by-value and the -calculus – G D Plotkin - 1975
19 The elimination theorem when modality is present – Haskell B Curry - 1952
60 A Reflection on Call-by-Value – Amr Sabry, Philip Wadler - 1996
13 Optimizing ML Using a Hierarchy of Monadic Types – Andrew Tolmach - 1998
28 Monadic Encapsulation of Effects: A Revised Approach (Extended Version) – E. Moggi, Amr Sabry - 1999
92 Simple Imperative Polymorphism – Andrew Wright - 1995
106 Lazy functional state threads – John Launchbury, Simon L Peyton Jones - 1994
55 Representing Layered Monads – Andrzej Filinski - 1999