Travelled to:
1 × United Kingdom
2 × USA
Collaborated with:
W.R.Cook W.L.Hill W.G.Olthoff J.C.Mitchell
Talks about:
program (2) orient (2) object (2) polymorph (1) interfac (1) inherit (1) subtyp (1) strong (1) bound (1) type (1)
Person: Peter S. Canning
DBLP: Canning:Peter_S=
Contributed to:
Wrote 3 papers:
- POPL-1990-CookHC #inheritance #type system
- Inheritance Is Not Subtyping (WRC, WLH, PSC), pp. 125–135.
- FPCA-1989-CanningCHOM #bound #morphism #object-oriented #polymorphism #programming
- F-Bounded Polymorphism for Object-Oriented Programming (PSC, WRC, WLH, WGO, JCM), pp. 273–280.
- OOPSLA-1989-CanningCHO #interface #object-oriented #programming
- Interfaces for Strongly-Typed Object-Oriented Programming (PSC, WRC, WLH, WGO), pp. 457–467.