BibTeX record conf/sfp/VaugonM16

• > Home > conf/sfp/VaugonM16

@inproceedings{DBLP:conf/sfp/VaugonM16,
  author       = {Beno{\^{\i}}t Vaugon and
                  Michel Mauny},
  editor       = {David Van Horn and
                  John Hughes},
  title        = {A Type Inference System Based on Saturation of Subtyping Constraints},
  booktitle    = {Trends in Functional Programming - 17th International Conference,
                  {TFP} 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10447},
  pages        = {94--112},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-030-14805-8\_6},
  doi          = {10.1007/978-3-030-14805-8\_6},
  timestamp    = {Tue, 21 Mar 2023 21:02:23 +0100},
  biburl       = {https://dblp.org/rec/conf/sfp/VaugonM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}