Value Recursion in Monadic Computations (2002)

Cached

Download Links

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

Documents Related by Co-Citation

43 Recursive Monadic Bindings – Levent Erkok, John Launchbury - 2000
34 On embedding a microarchitectural design language within Haskell – John Launchbury, Jeffrey R. Lewis, Byron Cook - 1999
7 Semantics of value recursion for monadic input/output – Levent Erkök, John Launchbury, Andrew Moran - 2002
18 An abstract monadic semantics for value recursion – Eugenio Moggi, Amr Sabry - 2003
48 A new notation for arrows – Ross Paterson - 2001
109 A Calculus of Module Systems – Davide Ancona, Elena Zucca, Via Dodecaneso - 2001
99 Premonoidal Categories and Notions of Computation – John Power, Edmund Robinson - 1995
1312 Monads for functional programming – Philip Wadler - 1995
730 Notions of Computation and Monads – Eugenio Moggi - 1991
5 Composing programs in a rewriting logic for declarative programming – J M Molina-Bravo, E Pimentel
3 Equivalence of two formal semantics for functional logic programs – F J López-Fraguas, J Rodríguez-Hortalá, J Sánchez-Hernández - 2007
3 A fully abstract semantics for constructor systems – F J López-Fraguas, J Rodríguez-Hortalá, J Sánchez-Hernández - 2009
95 An approach to declarative programming based on a rewriting logic – J C González-Moreno, M T Hortalá-González, F J López-Fraguas, M RodríguezArtalejo - 1999
43 Non-Determinism in Functional Languages – H Sondergaard, P Sestoft - 1992
326 Theorems for free! – Philip Wadler - 1989
4 Traced premonoidal categories (Extended Abstract – N BENTON, M HYLAND - 2002
6 Semantics of fixIO – Levent Erkök, John Launchbury, Andrew Moran - 2001
23 Reactive Objects and Functional Programming – Johan Nordlander - 1999
32 Microprocessor Specification in Hawk – John Matthews, Byron Cook, John Launchbury - 1998