Recursion is a Computational Effect (2000)

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

Documents Related by Co-Citation

66 Mixin modules in a call-by-value setting – Tom Hirschowitz, Xavier Leroy - 2002
43 Recursive Monadic Bindings – Levent Erkok, John Launchbury - 2000
188 Units: Cool Modules for HOT Languages – Matthew Flatt, Matthias Felleisen - 1998
110 A Calculus of Module Systems – Davide Ancona, Elena Zucca, Via Dodecaneso - 2001
18 Mixin Modules and Computational Effects – D. Ancona, S. Fagorzi, E. Moggi, E. Zucca - 2003
34 The Recursive Record Semantics of Objects Revisited – Gérard Boudol, Projets Mimosa - 2001
18 An abstract monadic semantics for value recursion – Eugenio Moggi, Amr Sabry - 2003
10 A Recursive do for Haskell – Levent Erkök, John Launchbury - 2002
88 A Metalanguage for Programming with Bound Names Modulo Renaming – Andrew M. Pitts, Murdoch J. Gabbay - 2000
83 A Type System for Higher-Order Modules – Derek Dreyer, Karl Crary, Robert Harper - 2003
88 What is a Recursive Module? – Karl Crary, Robert Harper, Sidd Puri - 1999
605 The Definition of Standard ML (Revised – R Milner, M Tofte, R Harper, D MacQueen - 1997
63 Recursive Structures for Standard ML – Claudio V. Russo - 2001
7 Semantics of value recursion for monadic input/output – Levent Erkök, John Launchbury, Andrew Moran - 2002
34 On embedding a microarchitectural design language within Haskell – John Launchbury, Jeffrey R. Lewis, Byron Cook - 1999
31 A type system for well-founded recursion – Derek Dreyer, Robert Harper, Karl Crary - 2004
22 August) Compilation of extended recursion in call-by-value functional languages – Tom Hirschowitz, Ens Lyon, Xavier Leroy, Inria Rocquencourt, J. B. Wells - 2003
34 Meta-Programming with Names and Necessity – Aleksandar Nanevski, Frank Pfenning - 2002
11 Value Recursion in Monadic Computations – Levent Erkok - 2002