A type-theoretic approach for program development
References (15)
- et al.
Using typed lambda calculus to implement formal systems on a machine
Algebraic methods for program construction: The project CIP
Polymorphic ß-calculus with Type: Type
Structural subtyping and the notion of power type
A quest preview
- et al.
A high-order proof system for mechanizing mathematics
Implementing Mathematics with the Nuprl Development System
(1986)
There are more references available in the full text version of this article.
Cited by (0)
Copyright © 1990 Published by Elsevier B.V.