BibTeX records: Timothy S. Freeman

• > Home > Persons > Timothy S. Freeman

@inproceedings{DBLP:conf/pldi/FreemanP91,
  author       = {Timothy S. Freeman and
                  Frank Pfenning},
  editor       = {David S. Wise},
  title        = {Refinement Types for {ML}},
  booktitle    = {Proceedings of the {ACM} SIGPLAN'91 Conference on Programming Language
                  Design and Implementation (PLDI), Toronto, Ontario, Canada, June 26-28,
                  1991},
  pages        = {268--277},
  publisher    = {{ACM}},
  year         = {1991},
  url          = {https://doi.org/10.1145/113445.113468},
  doi          = {10.1145/113445.113468},
  timestamp    = {Fri, 09 Jul 2021 14:03:46 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/FreemanP91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toms/FreemanIKL88,
  author       = {Timothy S. Freeman and
                  Gregory M. Imirzian and
                  Erich L. Kaltofen and
                  Yagati N. Lakshman},
  title        = {Dagwood: a system for manipulating polynomials given by straight-line
                  programs},
  journal      = {{ACM} Trans. Math. Softw.},
  volume       = {14},
  number       = {3},
  pages        = {218--240},
  year         = {1988},
  url          = {https://doi.org/10.1145/44128.214376},
  doi          = {10.1145/44128.214376},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toms/FreemanIKL88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/FreemanIK86,
  author       = {Timothy S. Freeman and
                  Gregory M. Imirzian and
                  Erich L. Kaltofen},
  editor       = {Bruce W. Char},
  title        = {A system for manipulating polynomials given by straight-line programs},
  booktitle    = {Proceedings of the Symposium on Symbolic and Algebraic Manipulation,
                  {SYMSAC} 1986, Waterloo, Ontario, Canada, July 21-23, 1986},
  pages        = {169--175},
  publisher    = {{ACM}},
  year         = {1986},
  url          = {https://doi.org/10.1145/32439.32473},
  doi          = {10.1145/32439.32473},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issac/FreemanIK86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}