There and back again: arrows for invertible programming (2006)

Cached

Download Links

by Artem Alimarine , Sjaak Smetsers , Arjen Weelden , Marko Eekelen , Rinus Plasmeijer
Venue:In Proceedings of the 2005 ACM SIGPLAN workshop on Haskell
Citations:8 - 0 self

Documents Related by Co-Citation

159 Generalising Monads to Arrows – John Hughes - 1998
930 Categories for the Working Mathematician – S Mac Lane - 1971
141 Views: A way for pattern matching to cohabit with data abstraction – Philip Wadler - 1986
32 Generalising Monads to Arrows. Science of Computer Programming, 37:67–111, May 2000. R. van der Meyden. Finite State Implementations of Knowledge-Based Programs – J Hughes
21 An introduction to n-categories – John C. Baez - 1997
7 A universal functional approach to DNA computing and its experimental practicability – Thomas Hinze, Monika Sturm - 2000
5 Enumerating the Rationals – Jeremy Gibbons Davidlester, Jeremy Gibbons, Richard Bird
4 Generating compact MTBDD-representations from Probmela specifications – F Ciesinski, C Baier, M Groesser, D Parker - 2008
16 A Concrete Final Coalgebra Theorem for ZF Set Theory – Lawrence C. Paulson - 1994
14 General recursive functions – Julia Robinson - 1950
7 On simple goedel numberings and translations – Juris Hartmanis, Theodore P Baker - 1974
8 Finite generation of recursively enumerable sets – Julia Robinson - 1480
7 Generic algorithms for the generation of combinatorial objects – Conrado Martinez, Xavier Molinero - 2003
7 On the consistency and independence of some set-theoretical constructs – Alexander Abian, Samuel Lamacchia - 1978
88 Functional interpretations of feasibly constructive arithmetic – Stephen Cook, Alasdair Urquhart - 1993
26 Ranking and Unranking Permutations in Linear Time – Wendy Myrvold, Frank Ruskey - 2000
24 Testing Monadic Code with QuickCheck – Koen Claessen, John Hughes - 2002
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
58 A tutorial on the universality and expressiveness of fold – Graham Hutton - 1999