Ralph Benzinger

Automated higher-order complexity analysis

Ralph Benzinger, Ralph Benzinger, 2004, Theor. Comput. Sci..

Automated computational complexity analysis

Robert L. Constable, Ralph Benzinger, 2001 .

Automated complexity analysis of Nuprl extracted programs

Ralph Benzinger, Ralph Benzinger, 2001, Journal of Functional Programming.

Automated complexity analysis of Nuprl extracted programs Journal of Functional Programming

Ralph Benzinger, 2001, J. Funct. Program..