Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Jump to: Article | Monograph | Conference or workshop item
Number of items: 8.

Article

Poll, Erik (1998) Expansion Postponement for Normalising Pure Type Systems. Journal of Functional Programming, 8 (1). pp. 89-96. ISSN 0956-7968.
[img]
Preview
[img]
Preview

Monograph

Poll, Erik and Thompson, Simon (1999) The Type System of Aldor. Technical report. , Kent CT2 7NF, UK
[img]
Preview
[img]
Preview

Poll, Erik and Thompson, Simon (1998) Adding the axioms to Axiom: Towards a system of automated reasoning in Aldor. Technical report. Kent University
[img]
Preview
[img]
Preview

Conference or workshop item

Poll, Erik and Thompson, Simon (2000) Integrating Computer Algebra and Reasoning through the Type System of Aldor. In: 3rd International Workshop on Frontiers of Combining Systems (FroCoS 2000), MAR 22-24, 2000 , Nancy, France.
[img]
Preview

Poll, Erik (1998) Behavioural Subtyping for a Type-Theoretic Model of Objects. In: FOOL5: Fifth International Workshop on Foundations of Object-Oriented Languages.
[img]
Preview
[img]
Preview

Poll, Erik (1998) Subtyping and Inheritance for Categorical Datatypes. In: Theories of Types and Proofs (TTP) - Kyoto.
[img]
Preview
[img]
Preview

Poll, Erik (1997) Subtyping and Inheritance for Inductive Types. In: Proceedings of TYPES'97 Workshop on Subtyping, inheritance and modular development of proofs, Durham, UK.
[img] [img]
Preview

Poll, Erik (1997) System F with Width-subtyping and Record Updating. In: Proceedings of the Third International Symposium on Theoretical Aspects of Computer Software. Lecture Notes In Computer Science, 1281. Springer LNCS pp. 439-457. ISBN 3-540-63388-X .
[img] [img]
Preview

This list was generated on Fri May 24 08:06:38 2013 BST.
University of Kent | About this repository | Feedback | Latest additions