Travelled to:1 × Denmark
1 × USA
Collaborated with:∅ P.G.Harrison
Talks about:conjunct (1) project (1) subtyp (1) model (1) type (1)
Person: David J. Lillie
DBLP: Lillie:David_J=
Contributed to:
19931991Wrote 2 papers:
- FPCA-1993-Lillie #type system
- Conjunctive Subtyping (DJL), pp. 42–51.
- FPCA-1991-LillieH
- A Projection Model of Types (DJL, PGH), pp. 259–288.