Value Recursion in Monadic Computations (2002)

Cached

Download Links

by Levent Erkok
Venue:OGI School of Science and Engineering, OHSU
Citations:12 - 2 self

Documents Related by Co-Citation

43 Recursive Monadic Bindings – Levent Erkok, John Launchbury - 2000
1318 Monads for functional programming – Philip Wadler - 1995
734 Notions of Computation and Monads – Eugenio Moggi - 1991
500 The synchronous dataflow programming language LUSTRE – N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud - 1991
459 Comprehending Monads – Philip Wadler - 1992
589 Communication and Mobile System: π-calculus – R Milner - 1999
1549 Foundations of Databases – S ABITEBOUL, R HULL, V VIANU - 1995
520 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
1121 The Lambda Calculus, its Syntax and Semantics – H P Barendregt - 1981