Travelled to:1 × Canada
1 × Germany
Collaborated with:∅
Talks about:check (2) type (2) reusabl (1) compil (1) separ (1) larg (1)
Person: Michael R. Levy
DBLP: Levy:Michael_R=
Contributed to:
1988
1984Wrote 2 papers:
- CCHSC-1988-Levy #in the large #type checking
- Type Checking in the Large (MRL), pp. 137–145.
- SCC-1984-Levy #compilation #reuse #type checking #usability
- Type checking, separate compilation and reusability (MRL), pp. 285–289.