3 results
A Coalgebraic Semantics of Subtyping
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 35 / Issue 1 / January 2001
- Published online by Cambridge University Press:
- 15 April 2002, pp. 61-81
- Print publication:
- January 2001
-
- Article
- Export citation
Algebra of Programming by Richard Bird and Oege de Moor, Prentice Hall, 1996 (dated 1997).
-
- Journal:
- Journal of Functional Programming / Volume 9 / Issue 3 / May 1999
- Published online by Cambridge University Press:
- 01 May 1999, pp. 347-354
-
- Article
-
- You have access
- Export citation
Expansion postponement for normalising pure type systems
-
- Journal:
- Journal of Functional Programming / Volume 8 / Issue 1 / January 1998
- Published online by Cambridge University Press:
- 01 January 1998, pp. 89-96
-
- Article
-
- You have access
- Export citation