Value Recursion in Monadic Computations (2002)

Cached

Download Links

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

Active Bibliography

7 Semantics of value recursion for monadic input/output – Levent Erkök, John Launchbury, Andrew Moran - 2002
7 Traced Premonoidal Categories – Nick Benton, Martin Hyland - 1999
43 Recursive Monadic Bindings – Levent Erkok, John Launchbury - 2000
Causal commutative arrows – Hai Liu, Eric Cheng, Paul Hudak
48 A new notation for arrows – Ross Paterson - 2001
1 Diagrammatic Representations in Domain-Specific Languages – Konstantinos Tourlas - 2000
2 Categorical and Graphical Models of Programming Languages – Ralf Schweimeier - 2001
7 Recursion is a Computational Effect – Daniel P. Friedman, Daniel P. Friedman, Amr Sabry, Amr Sabry - 2000
12 Monads for Natural Language Semantics – Chung-Chieh Shan
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments – Claus Reinke - 1998
29 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
2 Monad Transformers as Monoid Transformers – Mauro Jaskelioff
35 Semantic Lego – David Espinosa - 1995
10 Confessions of a used programming language salesman (getting the masses hooked on haskell – Erik Meijer - 2006
Integrating Dataflow Evaluation into a Practical . . . – Gregory Harold Cooper - 2008
10 A Recursive do for Haskell – Levent Erkök, John Launchbury - 2002
Reusable Monadic Semantics of Logic Programs with Arithmetic Predicates – J. E. Labra Gayo, J. M. Cueva Lovelle, M. C. Luengo Diez, A. Cernuda del Rio, A. Cernuda Del Río - 2001
LPS: A Language Prototyping System Using Modular Monadic Semantics – J.E. Labra Gayo, M. C. Luengo Díez, J. M. Cueva Lovelle, A. Cernuda Del Río - 2001
12 The Structure of Call-by-Value – Carsten Führmann - 2000