Comparing functional paradigms for exact real-number computation (2002)

by Andrej Bauer , Martín Hötzel Escardó , Alex Simpson
Venue:in Proceedings ICALP 2002, Springer LNCS 2380
Citations:17 - 4 self

Active Bibliography

1353 Monads for functional programming – Philip Wadler - 1995
Mathematical Logic Quarterly – Andrej Bauer
2 Applications of the Kleene-Kreisel Density Theorem to Theoretical Computer Science – Dag Normann - 2006
467 Comprehending Monads – Philip Wadler - 1992
Admissible Domain Representations of Convergence Spaces – Göran Hamrin, Göran Hamrin
393 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005
12 Continuous Functionals of Dependent Types and Equilogical Spaces – Andrej Bauer, Lars Birkedal - 2000
4 On the ubiquity of certain total type structures – John Longley - 2007
12 Notions of computability at higher types I – John Longley - 2005