Searching for authors named "Erik Poll" – sorted by Relevance.
50 documents found, showing 1 through 10.
Next 10 →
-
A Coalgebraic Semantics of Subtyping
- … Applications A COALGEBRAIC SEMANTICS OF SUBTYPING Erik Poll 1 Abstract. Coalgebras have been proposed…
- Cited by 7 (1 self) – Add To MetaCart
-
Expansion Postponement for Normalising Pure Type Systems
- …, 1 Expansion Postponement for Normalising Pure Type Systems Erik Poll Computing Laboratory…
- Cited by 3 (0 self) – Add To MetaCart
-
Subtyping and Inheritance for Inductive Types
- …Subtyping and Inheritance for Inductive Types Erik Poll University of Kent, Canterbury, UK E.Poll…
- Cited by 2 (1 self) – Add To MetaCart
-
System F with Width-subtyping and Record Updating
- …System F with Width-subtyping and Record Updating ? Erik Poll Computing Laboratory, University…
- Cited by 2 (0 self) – Add To MetaCart
-
Subtyping and Inheritance for Categorical Datatypes
- …Subtyping and Inheritance for Categorical Datatypes Preliminary Report Erik Poll University…
- Cited by 1 (0 self) – Add To MetaCart
-
The Type System of Aldor
- … Toernooiveld 1 6525 ED Nijmegen The Netherlands The Type System of Aldor Erik Poll y Simon Thompson z…
- Cited by 7 (1 self) – Add To MetaCart
-
Security protocols from the software verification
- …Security protocols from the software verification perspective Erik Poll 1⋆ and Aleksy Schubert 1…
- Add To MetaCart
-
Review of Algebra of Programming Richard Bird and Oege de Moor Prentice Hall, 1996 (dated 1997)
- …. 6 Erik Poll and Simon Thompson References …
- Add To MetaCart
-
Integrating Computer Algebra and Reasoning through the Type System of Aldor
- …Integrating Computer Algebra and Reasoning through the Type System of Aldor Erik Poll 1 and Simon…
- Add To MetaCart
-
Static Analysis for JML's assignable Clauses
- …Static Analysis for JML's assignable Clauses ? Fausto Spoto 1 and Erik Poll 2 1 Dipartimento…
- Cited by 7 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
