Value Recursion in Monadic Computations

Value Recursion in Monadic Computations (2002)

Cached

Download Links

[cse.cse.ogi.edu]

by Levent Erkok

Venue:	OGI School of Science and Engineering, OHSU
Citations:	10 - 2 self

BibTeX

@TECHREPORT{Erkok02valuerecursion,
    author = {Levent Erkok},
    title = {Value Recursion in Monadic Computations},
    institution = {OGI School of Science and Engineering, OHSU},
    year = {2002}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

viii 1

Citations

7321	Introduction to Algorithms - Cormen, Leiserson, et al. - 2001
418	Comprehending monads - Wadler - 1990
369	Category Theory for Computing Science - Barr, Wells - 1990
265	Why functional programming matters - Hughes - 1989
237	The revised report on the syntactic theories of sequential control and state - Felleisen, Hieb - 1992
194	Revised5 report on the algorithmic language Scheme - Kelsey, Clinger, et al. - 1998
169	A natural semantics for lazy evaluation, in - Launchbury - 1993
150	Traced monoidal categories - Joyal, Street, et al. - 1996
133	Generalizing monads to arrows - Hughes - 2000
116	Representing monads - Filinski - 1994
102	Functional programming and input/output - Gordon - 1994
96	Lava: Hardware design in Haskell - Bjesse, Claessen, et al. - 1999
88	Typing first-class continuations in ML - Harper, Duba, et al. - 1993
73	Using circular programs to eliminate multiple traversals of data - Bird - 1984
64	Composing monads - Jones, Duponcheel - 1993
60	Models of Sharing Graphs: A Categorical Semantics of let and letrec - Hasegawa - 1997
49	Typing Haskell in Haskell - Jones - 1999
46	First-class polymorphism with type inference - Jones
41	Recursive monadic bindings - Erkök, Launchbury - 2000
40	Recursion from cyclic sharing: traced monoidal categories and models of cyclic lambda calculi. Typed Lambda Calculi and Applications - Hasegawa - 1997
39	Monads and effects - Benton, Hughes, et al. - 2002
36	Observable sharing for functional circuit description - Claessen, Sands - 1999
32	On embedding a microarchitectural design language within Haskell - LAUNCHBURY, LEWIS, et al.
30	Lazy imperative programming - Launchbury - 1993
26	Fudgets - Purely Functional Processes with applications to Graphical User Interfaces - Carlsson, Hallgren - 1998
25	Programming with Fudgets - Hallgren, Carlsson - 1995
24	Structuring depth-first search algorithms in Haskell - King, Launchbury - 1995
22	Lambda calculi. A guide for computer scientists. Graduate Texts - Hankin - 1994
22	Parametricity and unboxing with unpointed types - Launchbury, Paterson - 1996
21	Porting the Clean Object I/O library to Haskell - Achten, Jones, et al.
19	Introduction to Functional Programming using - Bird - 1998
18	Premonoidal categories and a graphical view of programs, available from http://klee.cs.depaul.edu/premon - Jeffrey - 1998
17	Embedded Languages for Describing and Verifying Hardware - Claessen - 2001
13	Typed logical variables in Haskell - Claessen, Ljunglöf - 2000
10	The Generic Approximation Lemma - Hutton, Gibbons - 2001
9	A recursive do for Haskell - Erkök, Launchbury - 2002
7	The equational logic of fixed points - Bloom, Ésik
7	what have they done to DB2 - Carey, Chamberlin, et al. - 1999
7	Semantics of value recursion for monadic input/output. Theoretical informatics and applications - Erkök, Launchbury, et al. - 2002
7	Recursion is a computational effect - Friedman, Sabry - 2000
6	Semantics of fixIO - Erkök, Launchbury, et al. - 2001
4	Programming languages and their definition - Bekič - 1984
4	Traced premonoidal categories (Extended Abstract - BENTON, HYLAND - 2002
3	An exercise in polytypic program derivation: repmin. Unpublished manuscript. URL: web.comlab.ox. ac.uk/oucl/work/oege.demoor/pubs.htm - MOOR - 1996
3	A recursive do for Haskell: Design and implementation - ERKÖK, LAUNCHBURY - 2000
2	Fixed-point operations on ccc’s - Bloom, Ésik - 1996
2	Global variables in Haskell. Draft paper. URL: www.cs.chalmers.se/~rjmh/Globals.ps - HUGHES
2	Users Gofer System) web page. URL: www. haskell.org/hugs - Hugs