@Article{Bierman:Gordon:Hritcu:Langworthy:12,
  author = {Gavin M. Bierman and Andrew D. Gordon and C\u{a}t\u{a}lin Hri\c{t}cu and David Langworthy},
  title = {Semantic Subtyping with an {SMT} Solver},
  journal = {Journal of Functional Programming (JFP)},
  shortjournal = {JFP},
  publisher = {Cambridge University Press},
  month = mar,
  year = 2012,
  volume = {22},
  number = {1},
  pages = {31--105},
  url = {http://prosecco.gforge.inria.fr/personal/hritcu/publications/dminor-jfp2012.pdf},
  key = {Journal Papers},
  chcontrib = {equalthree},
}

{"_id":"7Tq9vdMJRnXP77Mjf","bibbaseid":"bierman-gordon-hricu-langworthy-semanticsubtypingwithansmtsolver-2012","downloads":0,"creationDate":"2019-02-09T20:08:59.708Z","title":"Semantic Subtyping with an SMT Solver","author_short":["Bierman, G. M.","Gordon, A. D.","Hriţcu, C.","Langworthy, D."],"year":2012,"bibtype":"article","biburl":"http://prosecco.gforge.inria.fr/personal/hritcu/publications/catalin.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Gavin","M."],"propositions":[],"lastnames":["Bierman"],"suffixes":[]},{"firstnames":["Andrew","D."],"propositions":[],"lastnames":["Gordon"],"suffixes":[]},{"firstnames":["Cătălin"],"propositions":[],"lastnames":["Hriţcu"],"suffixes":[]},{"firstnames":["David"],"propositions":[],"lastnames":["Langworthy"],"suffixes":[]}],"title":"Semantic Subtyping with an SMT Solver","journal":"Journal of Functional Programming (JFP)","shortjournal":"JFP","publisher":"Cambridge University Press","month":"March","year":"2012","volume":"22","number":"1","pages":"31–105","url":"http://prosecco.gforge.inria.fr/personal/hritcu/publications/dminor-jfp2012.pdf","key":"Bierman:Gordon:Hritcu:Langworthy:12","chcontrib":"equalthree","bibtex":"@Article{Bierman:Gordon:Hritcu:Langworthy:12,\n author = {Gavin M. Bierman and Andrew D. Gordon and C\\u{a}t\\u{a}lin Hri\\c{t}cu and David Langworthy},\n title = {Semantic Subtyping with an {SMT} Solver},\n journal = {Journal of Functional Programming (JFP)},\n shortjournal = {JFP},\n publisher = {Cambridge University Press},\n month = mar,\n year = 2012,\n volume = {22},\n number = {1},\n pages = {31--105},\n url = {http://prosecco.gforge.inria.fr/personal/hritcu/publications/dminor-jfp2012.pdf},\n key = {Journal Papers},\n chcontrib = {equalthree},\n}\n\n","author_short":["Bierman, G. M.","Gordon, A. D.","Hriţcu, C.","Langworthy, D."],"id":"Bierman:Gordon:Hritcu:Langworthy:12","bibbaseid":"bierman-gordon-hricu-langworthy-semanticsubtypingwithansmtsolver-2012","role":"author","urls":{"Paper":"http://prosecco.gforge.inria.fr/personal/hritcu/publications/dminor-jfp2012.pdf"},"downloads":0,"html":""},"search_terms":["semantic","subtyping","smt","solver","bierman","gordon","hriţcu","langworthy"],"keywords":[],"authorIDs":[],"dataSources":["hAMnRsgiC28iyFDSa"]}