Travelled to:1 × Canada
Collaborated with:∅
Talks about:normaliz (1) calculus (1) generat (1) strong (1) lambda (1) coagul (1) proof (1) delay (1) type (1) code (1)
Person: Michael Karr
DBLP: Karr:Michael
Contributed to:
1984
1985Wrote 2 papers:
- SCC-1984-Karr #code generation
- Code generation by coagulation (MK), pp. 1–12.
- CAAP-1985-Karr #proving #λ-calculus
- “Delayability” in Proofs of Strong Normalizability in the Typed Lambda Calculus (MK), pp. 208–222.