| |
| 1996 | ||
|---|---|---|
| 9 | Michael Karr: A Translator from C to a Lambda-Calculus Representation. SIGPLAN Notices 31(4): 28-31 (1996) | |
| 1985 | ||
| 8 | Michael Karr: Canonical Form for Rational Exponential Expressions. European Conference on Computer Algebra (2) 1985: 585-594 | |
| 7 | Michael Karr: Theory of Summation in Finite Terms. European Conference on Computer Algebra (2) 1985: 605-606 | |
| 6 | Michael Karr: "Delayability" in Proofs of Strong Normalizability in the Typed Lambda Calculus. TAPSOFT, Vol.1 1985: 208-222 | |
| 5 | Michael Karr: Theory of Summation in Finite Terms. J. Symb. Comput. 1(3): 303-315 (1985) | |
| 1984 | ||
| 4 | EE | Michael Karr: Code generation by coagulation. SIGPLAN Symposium on Compiler Construction 1984: 1-12 |
| 1981 | ||
| 3 | EE | Michael Karr: Summation in Finite Terms. J. ACM 28(2): 305-350 (1981) |
| 1978 | ||
| 2 | Michael Karr, David B. Loveman: Incorporation of Units into Programming Languages. Commun. ACM 21(5): 385-391 (1978) | |
| 1976 | ||
| 1 | Michael Karr: Affine Relationships Among Variables of a Program. Acta Inf. 6: 133-151 (1976) | |
| 1 | David B. Loveman | [2] |