Recursion is a Computational Effect (2000)

by Daniel P. Friedman , Daniel P. Friedman , Amr Sabry , Amr Sabry
Citations:8 - 1 self

Documents Related by Co-Citation

66 Mixin modules in a call-by-value setting – Tom Hirschowitz, Xavier Leroy - 2002
611 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David MacQueen - 1997
43 Recursive Monadic Bindings – Levent Erkok, John Launchbury - 2000
188 Units: Cool Modules for HOT Languages – Matthew Flatt, Matthias Felleisen - 1998
109 A Calculus of Module Systems – Davide Ancona, Elena Zucca, Via Dodecaneso - 2001
896 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
1318 Monads for functional programming – Philip Wadler - 1995
734 Notions of Computation and Monads – Eugenio Moggi - 1991
8668 Introduction to Algorithms – T H Cormen, C E Leiserson, R L Rivest, C Stein - 2001