Travelled to:6 × USA
Collaborated with:A.J.Demers R.Cartwright G.Skinner R.T.Teitelbaum J.H.Williams L.Cardelli M.J.Jordan B.Kalsow G.Nelson
Talks about:type (7) data (3) encapsul (2) check (2) polymorph (1) principl (1) industri (1) abstract (1) variabl (1) paramet (1)
Person: James E. Donahue
DBLP: Donahue:James_E=
Contributed to:
19891983
198219801978
1976Wrote 7 papers:
- POPL-1989-CardelliDJKN #type system
- The Modula-3 Type System (LC, JED, MJJ, BK, GN), pp. 202–212.
- POPL-1983-DemersD #equation
- Making Variables Abstract: An Equational Theory for Russell (AJD, JED), pp. 59–72.
- LFP-1982-CartwrightD #evaluation #lazy evaluation #semantics
- The Semantics of Lazy (and Industrious) Evaluation (RC, JED), p. 253–?.
- POPL-1980-DemersD #data type #parametricity #type checking
- Data Types, Parameters, and Type Checking (AJD, JED), pp. 12–23.
- POPL-1980-DemersD80a #design #principle
- “Type-Completeness” as a Language Design Principle (AJD, JED), pp. 234–244.
- POPL-1978-DemersDS #data type #encapsulation #morphism #polymorphism
- Data Types as Values: Polymorphism, Type-Checking, Encapsulation (AJD, JED, GS), pp. 23–30.
- DIPL-1976-DemersDTW #data type #encapsulation
- Encapsulated data types and generic (AJD, JED, RTT, JHW), pp. 171–214.