Subtyping and Inheritance for Inductive Types (1997)

Cached

Download Links

by Erik Poll
Venue:In Informal proceedings of the 1994 TYPES Workshop
Citations:4 - 1 self

Active Bibliography

1 A Mechanisation of Computability Theory in HOL – Vincent Zammit - 1996
1 Objects to unify type classes and GADTs – Bruno C. D. S. Oliveira, Martin Sulzmann
Examiner – Oliver Hunt, Prof K John Gough
Constraints for Type Class Extensions – Gerrit Van Den Geest - 2007
5 Principal type inference for GHCstyle multi-parameter type classes – Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey - 2006
8 ML modules and Haskell type classes: A constructive comparison – Stefan Wehr, Manuel M. T. Chakravarty
Integrating Computer Algebra and Reasoning through the Type System of Aldor – Erik Poll, Simon Thompson - 2000
6 Adding the axioms to Axiom: Towards a system of automated reasoning in Aldor – Erik Poll, Simon Thompson - 1998
Table of Contents General Information 1 Editor’s Letter — Ross – unknown authors
A general Galois theory for cofunctions and corelations – R. Pöschel, M. Rößiger - 1997
12 A Monad for Basic Java Semantics – Bart Jacobs , Erik Poll - 2000
1 Logics Admitting Final Semantics – Alexander Kurz - 2002
2 Prototyping Processes – L.S. Barbosa - 1999
3 VerifiCard - A European Project for Smart Card Verification – Bart Jacobs - 2001
2 Hidden Algebraic Engineering – Joseph A. Goguen - 1997
1 Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-Language – Furio Honsell, Marina Lenisa, Rekha Redamalla
7 Hidden Congruent Deduction – Grigore Ro, Joseph Goguen - 1998
Coalgebraic Specifications in Object-Oriented Programming – Elena Tsanko - 2004
27 Hidden Congruent Deduction – Grigore Rosu, Joseph Goguen - 1998