Constructive mathematics and functional programming

Authors:
Thierry Coquand
Affiliations:
Department of Computer Science and Engineering, Göteborg University and Chalmers University of Technology, Sweden
Venue:
ESOP'08/ETAPS'08 Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems
Year:
2008

A compiled implementation of strong reduction

Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Affine functions and series with co-inductive real numbers

Mathematical Structures in Computer Science
A monadic, functional implementation of real numbers

Mathematical Structures in Computer Science
A hypermap framework for computer-aided proofs in surface subdivisions: genus theorem and Euler's formula

Proceedings of the 2007 ACM symposium on Applied computing
Design and formal proof of a new optimal image segmentation program with hypermaps

Pattern Recognition
A modular formalisation of finite group theory

TPHOLs'07 Proceedings of the 20th international conference on Theorem proving in higher order logics
Continuous semantics for strong normalization

CiE'05 Proceedings of the First international conference on Computability in Europe: new Computational Paradigms

Hi-index	0.00