Skip to main content
Kent Academic Repository

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
Number of items: 9.

Article

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

Monograph

Poll, Erik and Thompson, Simon (1999) The Type System of Aldor. Technical report. , Kent CT2 7NF, UK (Full text available)
[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 (Full text available)
[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: Kirchner, Hélène and Ringeissen, Christophe, eds. Frontiers of Combining Systems. Lecture Notes in Computer Science, 1794. Springer-Verlag Berlin pp. 136-150. ISBN 3-540-67281-8. (Full text available)
[img]
Preview

Poll, Erik and Zwanenburg, J. (1999) A logic for abstract data types as existential types. In: 4th International Conference on Typed Lambda Calculi and Applications (TLCA 99), Apr 07-09, 1999, Laquila, Italy. (doi:https://doi.org/10.1007/3-540-48959-2_22) (Full text available)
[img]
Preview
[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. (Full text available)
[img]
Preview
[img]
Preview

Poll, Erik (1998) Subtyping and Inheritance for Categorical Datatypes. In: Theories of Types and Proofs (TTP) - Kyoto. RIMS Lecture Notes 1023. (Full text available)
[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. (Full text available)
[img] [img]
Preview

Poll, Erik (1997) System F with Width-subtyping and Record Updating. In: Theoretical Aspects of Computer Software (TACS'97), Sendai, Japan. Lecture Notes In Computer Science, 1281. Springer LNCS pp. 439-457. ISBN 3-540-63388-X. (Full text available)
[img] [img]
Preview

This list was generated on Fri May 24 08:03:17 2019 BST.