Harper, Robert William, 1957-....
Harper, Robert
Harper, Robert 1957-
VIAF ID: 305117011 ( Personal )
Permalink: http://viaf.org/viaf/305117011
Preferred Forms
-
-
- 100 1 _ ‡a Harper, Robert William, ‡d 1957-
- 100 1 _ ‡a Harper, Robert William, ‡d 1957-
- 100 1 _ ‡a Harper, Robert William, ‡d 1957-....
- 100 1 _ ‡a Harper, Robert ‡d 1957-
4xx's: Alternate Name Forms (8)
5xx's: Related Names (5)
- 510 2 _ ‡a Cambridge University Press
- 510 2 _ ‡a Carnegie Mellon University ‡b Computer Science Department
- 510 2 _ ‡a Carnegie Mellon University ‡b Computer Science Department ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Cornell University, May
- 510 2 _ ‡a TIC 2000 (2000 : Montréal, Québec)
Works
Title | Sources |
---|---|
Aspects of the implementation of type theory, 1985 | |
Practical foundations for programming languages | |
TIC 2000 | |
Types in compilation : third international workshop, TIC 2000, Montreal, Canada, September 21, 2000 : revised selected papers |