Programming monads operationally with Unimo (2006)

Cached

Download Links

by Chuan-kai Lin
Venue:In ICFP
Citations:7 - 2 self

Documents Related by Co-Citation

1318 Monads for functional programming – Philip Wadler - 1995
445 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
655 Architectural Styles and the Design of Network-based Software Architectures – Roy Thomas Fielding - 2000
734 Notions of Computation and Monads – Eugenio Moggi - 1991
958 A machine-oriented logic based on the resolution principle – J A Robinson - 1965
944 A theory of type polymorphism in programming – Robin Milner - 1978
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
469 A Further Note on Inductive Generalization – G D Plotkin - 1971
459 Comprehending Monads – Philip Wadler - 1992