Recursive programs as definitions in first order logic
SIAM Journal on Computing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Equational logic as a programming language
Equational logic as a programming language
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
Theory of recursive functions and effective computability
Theory of recursive functions and effective computability
The algebraic eigenvalue problem
The algebraic eigenvalue problem
The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Compiling a functional language
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
The semantics of lazy (and industrious) evaluation
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
A constructive alternative to axiomatic data type definitions
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
On-line algorithms for the design of pipeline architectures
ISCA '79 Proceedings of the 6th annual symposium on Computer architecture
Selective interpretation as a technique for debugging computationally intensive programs
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
Constructive real interpretation of numerical programs
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
Exact real computer arithmetic with continued fractions
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Optimizing programs over the constructive reals
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Exact Real Computer Arithmetic with Continued Fractions
IEEE Transactions on Computers
HOPL-II The second ACM SIGPLAN conference on History of programming languages
An exact real algebraic arithmetic with equality determination
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
Contractivity of linear fractional transformations
Theoretical Computer Science
Real number computation through gray code embedding
Theoretical Computer Science
Equality in computer algebra and beyond
Journal of Symbolic Computation - Integrated reasoning and algebra systems
Abstract Data Types in Computer Algebra
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Numerical Integration with Exact Real Arithmetic
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
A Generic Root Operation for Exact Real Arithmetic
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
Real PCF extended with integration
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
History of programming languages---II
Theoretical Computer Science - Real numbers and computers
Implementing exact real arithmetic in python, C++ and C
Theoretical Computer Science - Real numbers and computers
Affine functions and series with co-inductive real numbers
Mathematical Structures in Computer Science
Constructive analysis, types and exact real numbers
Mathematical Structures in Computer Science
A monadic, functional implementation of real numbers
Mathematical Structures in Computer Science
Reliable Implementation of Real Number Algorithms: Theory and Practice
Finding exact minimal polynomial by approximations
Proceedings of the 2009 conference on Symbolic numeric computation
Sequentiality and Piecewise-affinity in Segments of Real-PCF
Electronic Notes in Theoretical Computer Science (ENTCS)
Lazy Algorithms for Exact Real Arithmetic
Electronic Notes in Theoretical Computer Science (ENTCS)
Efficient exact arithmetic over constructive reals
TAMC'07 Proceedings of the 4th international conference on Theory and applications of models of computation
On the Kolmogorov complexity of continuous real functions
CiE'11 Proceedings of the 7th conference on Models of computation in context: computability in Europe
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
A Stream Calculus of Bottomed Sequences for Real Number Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Hi-index | 0.00 |