How to make ad-hoc polymorphism less ad hoc
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Scratchpad's view of algebra II: A categorical view of factorization
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
AXIOM: the scientific computation system
AXIOM: the scientific computation system
Implementing Haskell overloading
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
The design and evolution of C++
The design and evolution of C++
Algorithm-oriented generic libraries
Software—Practice & Experience
ACM Transactions on Programming Languages and Systems (TOPLAS)
The C++ Programming Language
Scratchpad's View of Algebra I: Basic Commutative Algebra
DISCO '90 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
An Assume Facility for CAS, with a Sample Implementation for Maple
DISCO '92 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
ISAAC '88 Proceedings of the International Symposium ISSAC'88 on Symbolic and Algebraic Computation
Fundamentals of Generic Programming
Selected Papers from the International Seminar on Generic Programming
A language for computational algebra
ACM SIGPLAN Notices
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Concepts: linguistic support for generic programming in C++
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Elements of Programming
Consolidated ada reference manual: language and standard libraries
Consolidated ada reference manual: language and standard libraries
General constant expressions for system programming languages
Proceedings of the 2010 ACM Symposium on Applied Computing
Design of concept libraries for c++
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
| Hi-index | 0.00 |
We present the design and implementation of a system for axiomatic programming, and its application to mathematical software construction. Key novelties include a direct support for user-defined axioms establishing local equalities between types, and overload resolution based on equational theories and user-defined local axioms. We illustrate uses of axioms, and their organization into concepts, in structured generic programming as practiced in computational mathematical systems.