Functional Pearl: Weaving a Web (2001)

Cached

Download Links

by Ralf Hinze , Johan Jeuring
Citations:5 - 0 self

Documents Related by Co-Citation

92 The zipper – Gérard Huet, Inria Rocquencourt France - 1997
2 Tool demonstration: A zipper based file/operating system – Oleg Kiselyov - 2005
2 Roll your own window manager: Tracking focus with a zipper. http://cgi.cse.unsw.edu.au/~dons/blog/2007/05/ 17 – Don Stewart - 2007
36 The derivative of a regular type is its type of one-hole contexts (extended abstract), 2001. Unpublished manuscript, available via http://strictlypositive.org/diff.pdf. Conor McBride and Ross Paterson. Applicative programming with effects – Conor Mcbride
2 A Survey of APIs and Techniques for Processing XML – D Obasanjo - 2003
2 On parent pointers – O Kiselyov
1 Exception safety issues and techniques, Exceptional C++: 47 Engineering – Herb Sutter - 1999
1 Yaxpo: Yet Another XML Parser for O’Caml. http://mikelin.mit.edu/yaxpo – Mike Lin
1 Functional Pearl: Scrap Your Zippers – M Adams - 2007
1 zipedit library – B Yorgey
2 Java theory and practice: To mutate or not to mutate? immutable objects can greatly simplify your life – Brian Goetz - 2003
2 Clase library download and screenshots – T Allwood
13 Linear Contexts and the Sharing Functor: Techniques for Symbolic Computation – Gérard Huet - 2003
18 Functional Pearl: The Zipper – Gérard Huet, Inria Rocquencourt France - 1997
303 Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser Theorem – N. G. De Bruijn - 1972
73 System F with type equality coercions – Martin Sulzmann, Manuel M. T. Chakravarty, Simon Peyton Jones, Kevin Donnelly - 2007
30 Generic Haskell: applications – Ralf Hinze, Johan Jeuring - 2003
2 From enumerators to cursors: turning the leftfold inside out, 2004. At http://okmij.org/ftp/Haskell/ fold-stream.lhs – Oleg Kiselyov
6 Another samefringe – John McCarthy - 1977