When is a functional program not a functional program?
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Numerical Integration with Exact Real Arithmetic
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Comparing Functional Paradigms for Exact Real-Number Computation
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
A Co-inductive Approach to Real Numbers
TYPES '99 Selected papers from the International Workshop on Types for Proofs and Programs
Constructive Data Refinement in Typed Lambda Calculus
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
Constructive analysis, types and exact real numbers
Mathematical Structures in Computer Science
A Functional Algorithm for Exact Real Integration with Invariant Measures
Electronic Notes in Theoretical Computer Science (ENTCS)
Operational domain theory and topology of sequential programming languages
Information and Computation
Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting
Electronic Notes in Theoretical Computer Science (ENTCS)
First-Order Universality for Real Programs
CiE '09 Proceedings of the 5th Conference on Computability in Europe: Mathematical Theory and Computational Practice
Computability of Continuous Solutions of Higher-Type Equations
CiE '09 Proceedings of the 5th Conference on Computability in Europe: Mathematical Theory and Computational Practice
Electronic Notes in Theoretical Computer Science (ENTCS)
A computer-verified monadic functional implementation of the integral
Theoretical Computer Science
What sequential games, the tychonoff theorem and the double-negation shift have in common
Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II
On monadic parametricity of second-order functionals
FOSSACS'13 Proceedings of the 16th international conference on Foundations of Software Science and Computation Structures
Hi-index | 0.00 |