Type Inference for ZFH. Obua, S., Fleuriot, J. D., Scott, P., & Aspinall, D. In Proceedings of CICM, pages 87-101, 2015. ![Type Inference for ZFH [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex @inproceedings{ dblp1619007,
title = {Type Inference for ZFH},
author = {Steven Obua and Jacques D. Fleuriot and Phil Scott and David Aspinall},
author_short = {Obua, S. and Fleuriot, J. D. and Scott, P. and Aspinall, D.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2015},
key = {dblp1619007},
id = {dblp1619007},
biburl = {http://www.dblp.org/rec/bibtex/conf/mkm/ObuaFSA15},
url = {http://dx.doi.org/10.1007/978-3-319-20615-8_6},
conference = {CICM},
pages = {87-101},
text = {CICM 2015:87-101},
booktitle = {Proceedings of CICM}
}
Downloads: 0
{"_id":"HwXPv4Nk4uSmQB5ji","bibbaseid":"obua-fleuriot-scott-aspinall-typeinferenceforzfh-2015","downloads":0,"creationDate":"2015-08-28T07:25:23.229Z","title":"Type Inference for ZFH","author_short":["Obua, S.","Fleuriot, J. D.","Scott, P.","Aspinall, D."],"year":2015,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/mkm/ObuaFSA15","bibdata":{"title":"Type Inference for ZFH","author":["Steven Obua","Jacques D. Fleuriot","Phil Scott","David Aspinall"],"author_short":["Obua, S.","Fleuriot, J. D.","Scott, P.","Aspinall, D."],"bibtype":"inproceedings","type":"inproceedings","year":"2015","key":"dblp1619007","id":"dblp1619007","biburl":"http://www.dblp.org/rec/bibtex/conf/mkm/ObuaFSA15","url":"http://dx.doi.org/10.1007/978-3-319-20615-8_6","conference":"CICM","pages":"87-101","text":"CICM 2015:87-101","booktitle":"Proceedings of CICM","bibtex":"@inproceedings{ dblp1619007,\n title = {Type Inference for ZFH},\n author = {Steven Obua and Jacques D. Fleuriot and Phil Scott and David Aspinall},\n author_short = {Obua, S. and Fleuriot, J. D. and Scott, P. and Aspinall, D.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2015},\n key = {dblp1619007},\n id = {dblp1619007},\n biburl = {http://www.dblp.org/rec/bibtex/conf/mkm/ObuaFSA15},\n url = {http://dx.doi.org/10.1007/978-3-319-20615-8_6},\n conference = {CICM},\n pages = {87-101},\n text = {CICM 2015:87-101},\n booktitle = {Proceedings of CICM}\n}","bibbaseid":"obua-fleuriot-scott-aspinall-typeinferenceforzfh-2015","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-319-20615-8_6"},"downloads":0},"search_terms":["type","inference","zfh","obua","fleuriot","scott","aspinall"],"keywords":[],"authorIDs":[],"dataSources":["3oKKvjMEunQQmJWrL"]}