The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads (2007)

by Martin Hyland , John Power
Citations:19 - 1 self

Documents Related by Co-Citation

734 Notions of Computation and Monads – Eugenio Moggi - 1991
1318 Monads for functional programming – Philip Wadler - 1995
928 S.: Categories for the Working Mathematician – Mac Lane - 1998
630 The Magma algebra system. I. The user language – Wieb Bosma, John Cannon, Catherine Playoust - 1997
671 The Lorel Query Language for Semistructured Data – Serge Abiteboul, Dallan Quass, Jason Mchugh, Jennifer Widom, Janet Wiener - 1997
562 Bigtable: A distributed storage system for structured data – Fay Chang, Jeffrey Dean, Sanjay Ghemawat, Wilson C. Hsieh, Deborah A. Wallach, Mike Burrows, Tushar Chandra, Andrew Fikes, Robert E. Gruber - 2006
1423 A Discipline of Programming – E W Dijkstra - 1976
1855 MapReduce: Simplified Data Processing on Large Clusters – Jeffrey Dean, et al. - 2004
459 Comprehending Monads – Philip Wadler - 1992