Abstraction barriers and refinement in the polymorphic lambda calculus
This thesis examines specification refinement in the setting of polymorphic type theory and a complementary logic for relational parametricity. The starting point is the specification of abstract data types as done in the discipline of algebraic specification. Here, algebras are seen to match the st...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
University of Edinburgh
2001
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.561785 |