A system for manipulating polynomials given by straight-line programs. - Timothy S. Freeman; Gregory M. Imirzian; Erich L. Kaltofen (SYMSAC, 1986)

Dagwood: a system for manipulating polynomials given by straight-line programs. - Timothy S. Freeman; Gregory M. Imirzian; Erich L. Kaltofen; Yagati N. Lakshman (ACM Trans. Math. Softw., 1988)

Refinement Types for ML. - Timothy S. Freeman; Frank Pfenning (PLDI, 1991)