- CSB - MetaPress - Google - Bing - Yahoo
 | 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 | | Michael Karr: Code generation by coagulation. SIGPLAN Symposium on Compiler Construction 1984: 1-12 |
| 1981 | ||
| 3 | | 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] |