James E. Donahue
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
2
Active years
1978–1989
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1989 | POPL | The Modula-3 Type System. | Luca Cardelli, James E. Donahue, Mick J. Jordan, Bill Kalsow, Greg Nelson |
| 1985 | GI | Software Development in the Cedar Programming Environment. | James E. Donahue |
| 1983 | POPL | Making Variables Abstract: An Equational Theory for Russell. | Alan J. Demers, James E. Donahue |
| 1980 | POPL | Data Types, Parameters, and Type Checking. | Alan J. Demers, James E. Donahue |
| 1980 | POPL | "Type-Completeness" as a Language Design Principle. | Alan J. Demers, James E. Donahue |
| 1978 | POPL | Data Types as Values: Polymorphism, Type-Checking, Encapsulation. | Alan J. Demers, James E. Donahue, Glenn Skinner |