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

924 Categories for the working mathematician – S Mac Lane - 1971
2872 Genetic programming: On the programming of computers by means of natural selection – J R Koza - 1992
1373 Metaphors We Live By – George Lakoff, Mark Johnson - 1980
2201 The art of computer programming – Donald Erwin Knuth - 1966
2937 Graph-based algorithms for Boolean function manipulation – Randal E. Bryant - 1986
387 Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte der – K Gödel - 1931
384 Composable memory transactions – Tim Harris, Mark Plesko, Avraham Shinnar, David Tarditi - 2005
162 Generalising Monads to Arrows – John Hughes - 1998
950 Term Rewriting and All That – F Baader, T Nipkow - 1998