Solving Recursive Domain Equations with Enriched Categories (1994)

View PDF

Download Links

by Kim Ritter Wagner , Stephen Brookes , John C. Reynolds
Citations:23 - 0 self

Active Bibliography

481 Domain Theory – Samson Abramsky, Achim Jung - 1994
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
510 A semantics of multiple inheritance – Luca Cardelli - 1988
798 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
985 A theory of type polymorphism in programming – Robin Milner - 1978
517 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
766 Notions of Computation and Monads – Eugenio Moggi - 1991
1317 Information Theory and Statistics – S. Kullback - 1968
1353 Monads for functional programming – Philip Wadler - 1995