Benjamin C. Pierce
12 published titles
Basic category theory for computer scientists
1 edition
Object-oriented programming without recursive types
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
Intersection types and bounded polymorphism
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
An abstract view of objects and subtyping (preliminary report)
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1992
- Details
Multiple inheritance via intersection types
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1993
- Details
Statically typed friendly functions via partially abstract types
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1993
- Details
Higher-order subtyping
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1994
- Details
Positive subtyping
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1994
- Details
Decoding choice encodings
(Contributor)
1 edition
- University of Cambridge Computer Laboratory
- 1996
- Details
Theoretical aspects of computer software : 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001 proceedings
(Contributor)
1 edition
- ISBN: 3540427368
- Springer
- 2001
- Details
Types and programming languages
1 edition
- ISBN: 0262162091
- MIT Press
- 2002
- Details
Advanced topics in types and programming languages
(Contributor)
1 edition
- ISBN: 0262162288
- MIT Press
- 2005
- Details
