An Introduction to Category Theory, Category Theory Monads, and Their Relationship to Functional Programming

Cached

Download Links

by Jonathan M. D. Hill , Keith Clarke
Citations:2 - 0 self

Active Bibliography

1 Parallel Haskell: The vectorisation monad – Keith Clarke, Jonathan M. D. Hill - 1993
3 The Vectorisation Monad – Jonathan M. D. Hill, Keith M. Clarke, Richard Bornat - 1994
96 How to Declare an Imperative – Philip Wadler - 1995
35 Semantic Lego – David Espinosa - 1995
31 A Functional Theory of Local Names – Martin Odersky - 1994
Unifying Theories of Programming with Monads – Jeremy Gibbons
Constructing Applicative Functors – Ross Paterson
8 Modular monad transformers – Mauro Jaskelioff - 2009
Extensible Effects An Alternative to Monad Transformers – Oleg Kiselyov, Amr Sabry, Cameron Swords
69 Functional Programming with Overloading and Higher-Order Polymorphism – Mark P. Jones - 1995
Abstract DRAFT – unknown authors
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments – Claus Reinke - 1998
4 Coalgebras and Monads in the Semantics of Java – Bart Jacobs, Erik Poll - 2002
43 Geometry of Interaction and Linear Combinatory Algebras – Samson Abramsky, Esfandiar Haghverdi, Philip Scott - 2000
1 Category Theory and the Simply-Typed lambda-Calculus – Alfio Martini, Alfio Martini - 1996
Final report on the GRASP project – Simon L. Peyton Jones, Philip Wadler, Cordelia Hall, Kevin Hammond, Will Partain, Simon Peyton Jones, Phil Wadler - 1993
State in Haskell – John Launchbury Jl, John Launchbury, Simon L Peyton Jones - 1996
6 Lazy Depth-First Search and Linear Graph Algorithms in Haskell – David King, John Launchbury - 1994
26 Structuring Depth-First Search Algorithms in Haskell – David King, John Launchbury - 1995