Michael Karr Canonical Form for Rational Exponential Expressions. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:585-594 [Conf]

Michael Karr Theory of Summation in Finite Terms. [Citation Graph (0, 0)][DBLP] European Conference on Computer Algebra (2), 1985, pp:605-606 [Conf]

Michael Karr Code generation by coagulation. [Citation Graph (0, 0)][DBLP] SIGPLAN Symposium on Compiler Construction, 1984, pp:1-12 [Conf]

Michael Karr "Delayability" in Proofs of Strong Normalizability in the Typed Lambda Calculus. [Citation Graph (0, 0)][DBLP] TAPSOFT, Vol.1, 1985, pp:208-222 [Conf]

Michael Karr A Translator from C to a Lambda-Calculus Representation. [Citation Graph (0, 0)][DBLP] SIGPLAN Notices, 1996, v:31, n:4, pp:28-31 [Journal]

Search in 0.005secs, Finished in 0.006secs

NOTICE1

System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2

The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP