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: 3rd International Workshop on Frontiers of Combining Systems (FroCoS 2000), MAR 22-24, 2000 , Nancy, France. (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. (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. (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: 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 . (Full text available)
[img] [img]
Preview

This list was generated on Fri Nov 28 00:31:06 2014 GMT.