The expression lemma ⋆

Cached

Download Links

by Ralf Lämmel , Ondrej Rypacek
Citations:1 - 1 self

Documents Related by Co-Citation

10 shapely functors and traversals – Monads - 1998
2 Functor Pulling – Lambert Meertens - 1998
2 Power and Makoto Takeyama. Sketches – Yoshiki Kinoshita, John - 1999
2 Sketches: Outline with References – Charles Wells - 1994
2 Johan Jeuring and Lambert Meertens. Generic programming. An introduction – Roland Backhouse, Patrik Jansson - 1998
1 Altenkirch and Neil Ghani. Categories of containers – Michael Abbott, Thorsten - 2003
1 Category Theory for Computing Science. CRM, 3rd edition – Michael Barr, Charles Wells - 1999
1 James Thatcher and Eric Wagner. An initial algebra approach to the specification, correctness and implementation of abstract data types – Joseph A Goguen - 1978
1 Jeuring and Andres Löh. Comparing approaches to generic programming in haskell – Ralf Hinze, Johan - 2006
1 Computational effects and operations: An overview, 2002. Gordon Plotkin and John Power. Tensors of comodels and models for operational semantics. Electron. Notes Theor – Gordon Plotkin, John Power - 2004
1 Type-theoretic design patterns – Ondrej Rypacek, Roland Backhouse, Henrik Nilsson - 2006
6 On Functors Expressible in the Polymorphic Lambda Calculus – J C Reynolds, G D Plotkin - 1990
2 Object-Orientation with Parallelism and Persistence – B Jacobs, Objects, co-algebraically classes, in B Freitag - 1996
4 Lokal Präsentierbare Kategorien, volume 221 of Lecture Notes in Mathematics – Peter Gabriel, Friedrich Ulmer - 1971
41 Calculate Polytypically! – Lambert Meertens - 1996
17 A Generic Theory of Data Types – Paul Hoogendijk - 1997
6 Enriched Lawvere theories. Theory and – J Power
92 An approach to object semantics based on terminal coalgebras – H Reichel - 1995
24 Distributivity for Endofunctors, Pointed and Co-Pointed Endofunctors, Monads and Comonads – Marina Lenisa, John Power, Hiroshi Watanabe - 2000