# Michael Karr

According to our database

^{1}, Michael Karr## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

1996

A Translator from C to a Lambda-Calculus Representation.

SIGPLAN Notices, 1996

1985

Theory of Summation in Finite Terms.

J. Symb. Comput., 1985

"Delayability" in Proofs of Strong Normalizability in the Typed Lambda Calculus.

Proceedings of the Mathematical Foundations of Software Development, 1985

Theory of Summation in Finite Terms.

Proceedings of the EUROCAL '85, 1985

Canonical Form for Rational Exponential Expressions.

Proceedings of the EUROCAL '85, 1985

1984

Code generation by coagulation.

Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction, 1984

1981

Summation in Finite Terms.

J. ACM, 1981

1978

Incorporation of Units into Programming Languages.

Commun. ACM, 1978

1976

Affine Relationships Among Variables of a Program.

Acta Inf., 1976