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

70 Mixin modules in a call-by-value setting – Tom Hirschowitz, Xavier Leroy - 2002
195 Units: Cool Modules for HOT Languages – Matthew Flatt, Matthias Felleisen - 1998
37 The Recursive Record Semantics of Objects Revisited – Gérard Boudol, Projets Mimosa - 2001
635 The Definition of Standard ML (Revised – R Milner, M Tofte, R Harper, D B MacQueen - 1997
43 Recursive Monadic Bindings – Levent Erkok, John Launchbury - 2000
19 An abstract monadic semantics for value recursion – Eugenio Moggi, Amr Sabry - 2003
11 A Recursive do for Haskell – Levent Erkök, John Launchbury - 2002
929 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
113 A Calculus of Module Systems – Davide Ancona, Elena Zucca, Via Dodecaneso - 2001