@inproceedings{conf/RelMiCS/JoostenJ15,
  added-at = {2017-06-15T00:00:00.000+0200},
  author = {Joosten, Stef M. M. and Joosten, Sebastiaan J. C.},
  biburl = {https://www.bibsonomy.org/bibtex/2afc7837eef6c157f3351b7acd4fd0e22/dblp},
  booktitle = {RAMICS},
  crossref = {conf/RelMiCS/2015},
  editor = {Kahl, Wolfram and Winter, Michael and Oliveira, José Nuno},
  ee = {https://doi.org/10.1007/978-3-319-24704-5_14},
  interhash = {01fee3f6c338fb14b3a2584dc157e8a8},
  intrahash = {afc7837eef6c157f3351b7acd4fd0e22},
  isbn = {978-3-319-24703-8},
  keywords = {dblp},
  pages = {225-240},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2019-05-15T19:07:10.000+0200},
  title = {Type Checking by Domain Analysis in Ampersand.},
  url = {http://dblp.uni-trier.de/db/conf/RelMiCS/ramics2015.html#JoostenJ15},
  volume = 9348,
  year = 2015
}

{"_id":"YgmYbfwE9ymmaDkxC","bibbaseid":"joosten-joosten-typecheckingbydomainanalysisinampersand-2015","authorIDs":[],"author_short":["Joosten, S. M. M.","Joosten, S. J. C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2017-06-15T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Joosten"],"firstnames":["Stef","M.","M."],"suffixes":[]},{"propositions":[],"lastnames":["Joosten"],"firstnames":["Sebastiaan","J.","C."],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2afc7837eef6c157f3351b7acd4fd0e22/dblp","booktitle":"RAMICS","crossref":"conf/RelMiCS/2015","editor":[{"propositions":[],"lastnames":["Kahl"],"firstnames":["Wolfram"],"suffixes":[]},{"propositions":[],"lastnames":["Winter"],"firstnames":["Michael"],"suffixes":[]},{"propositions":[],"lastnames":["Oliveira"],"firstnames":["José","Nuno"],"suffixes":[]}],"ee":"https://doi.org/10.1007/978-3-319-24704-5_14","interhash":"01fee3f6c338fb14b3a2584dc157e8a8","intrahash":"afc7837eef6c157f3351b7acd4fd0e22","isbn":"978-3-319-24703-8","keywords":"dblp","pages":"225-240","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2019-05-15T19:07:10.000+0200","title":"Type Checking by Domain Analysis in Ampersand.","url":"http://dblp.uni-trier.de/db/conf/RelMiCS/ramics2015.html#JoostenJ15","volume":"9348","year":"2015","bibtex":"@inproceedings{conf/RelMiCS/JoostenJ15,\n added-at = {2017-06-15T00:00:00.000+0200},\n author = {Joosten, Stef M. M. and Joosten, Sebastiaan J. C.},\n biburl = {https://www.bibsonomy.org/bibtex/2afc7837eef6c157f3351b7acd4fd0e22/dblp},\n booktitle = {RAMICS},\n crossref = {conf/RelMiCS/2015},\n editor = {Kahl, Wolfram and Winter, Michael and Oliveira, José Nuno},\n ee = {https://doi.org/10.1007/978-3-319-24704-5_14},\n interhash = {01fee3f6c338fb14b3a2584dc157e8a8},\n intrahash = {afc7837eef6c157f3351b7acd4fd0e22},\n isbn = {978-3-319-24703-8},\n keywords = {dblp},\n pages = {225-240},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2019-05-15T19:07:10.000+0200},\n title = {Type Checking by Domain Analysis in Ampersand.},\n url = {http://dblp.uni-trier.de/db/conf/RelMiCS/ramics2015.html#JoostenJ15},\n volume = 9348,\n year = 2015\n}\n\n","author_short":["Joosten, S. M. M.","Joosten, S. J. C."],"editor_short":["Kahl, W.","Winter, M.","Oliveira, J. N."],"key":"conf/RelMiCS/JoostenJ15","id":"conf/RelMiCS/JoostenJ15","bibbaseid":"joosten-joosten-typecheckingbydomainanalysisinampersand-2015","role":"author","urls":{"Link":"https://doi.org/10.1007/978-3-319-24704-5_14","Paper":"http://dblp.uni-trier.de/db/conf/RelMiCS/ramics2015.html#JoostenJ15"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Sebastiaan Joosten?items=1000","creationDate":"2019-07-02T11:53:02.270Z","downloads":0,"keywords":["dblp"],"search_terms":["type","checking","domain","analysis","ampersand","joosten","joosten"],"title":"Type Checking by Domain Analysis in Ampersand.","year":2015,"dataSources":["iRXfhnWYb7pRvaQMx"]}