We stand with Ukraine  

Timothy S. Freeman

Affiliations:
  • Carnegie Mellon University, Pittsburgh, Department of Computer Science


According to our database1, Timothy S. Freeman authored at least 3 papers between 1986 and 1991.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1991
Refinement Types for ML.
[BibTeX]
[DOI]
Timothy S. Freeman
,
Frank Pfenning
Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation (PLDI), 1991

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

1986
A system for manipulating polynomials given by straight-line programs.
[BibTeX]
[DOI]
Timothy S. Freeman
,
Gregory M. Imirzian
,
Erich L. Kaltofen
Proceedings of the Symposium on Symbolic and Algebraic Manipulation, 1986


  Loading...