Travelled to:2 × USA
Collaborated with:∅ E.Adams M.Honda
Talks about:imperfect (1) environ (1) object (1) world (1) manag (1) check (1) type (1) case (1)
Person: Terrence C. Miller
DBLP: Miller:Terrence_C=
Contributed to:
1989
1979Wrote 2 papers:
- ICSE-1989-AdamsHM #automation
- Object Management in a CASE Environment (EA, MH, TCM), pp. 154–163.
- POPL-1979-Miller #type checking
- Type Checking in an Imperfect World (TCM), pp. 237–243.