A type system with usage aspects. Aspinall, D., Hofmann, M., & Konecný, M. J. Funct. Program. (JFP), 18(2):141-178, 2008. Paper bibtex @article{ dblp2386362,
title = {A type system with usage aspects},
author = {David Aspinall and Martin Hofmann and Michal Konecný},
author_short = {Aspinall, D. and Hofmann, M. and Konecný, M.},
bibtype = {article},
type = {article},
year = {2008},
key = {dblp2386362},
id = {dblp2386362},
biburl = {http://www.dblp.org/rec/bibtex/journals/jfp/AspinallHK08},
url = {http://dx.doi.org/10.1017/S0956796807006399},
journal = {J. Funct. Program. (JFP)},
pages = {141-178},
number = {2},
volume = {18},
text = {J. Funct. Program. (JFP) 18(2):141-178 (2008)}
}
Downloads: 0
{"_id":{"_str":"5277dc255e011a4c4b000188"},"__v":0,"authorIDs":[],"author_short":["Aspinall, D.","Hofmann, M.","Konecný, M."],"bibbaseid":"aspinall-hofmann-konecn-atypesystemwithusageaspects-2008","bibdata":{"html":"<div class=\"bibbase_paper\"> \n\n\n<span class=\"bibbase_paper_titleauthoryear\">\n\t<span class=\"bibbase_paper_title\"><a name=\"dblp2386362\"> </a>A type system with usage aspects.</span>\n\t<span class=\"bibbase_paper_author\">\nAspinall, D.; Hofmann, M.; and Konecný, M.</span>\n\t<!-- <span class=\"bibbase_paper_year\">2008</span>. -->\n</span>\n\n\n\n<i>J. Funct. Program. (JFP)</i>,\n\n18(2):141-178.\n\n 2008.\n\n\n\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content\">\n \n \n <!-- <i -->\n <!-- onclick=\"javascript:log_download('aspinall-hofmann-konecn-atypesystemwithusageaspects-2008', 'http://dx.doi.org/10.1017/S0956796807006399')\">DEBUG -->\n <!-- </i> -->\n\n <a href=\"http://dx.doi.org/10.1017/S0956796807006399\"\n onclick=\"javascript:log_download('aspinall-hofmann-konecn-atypesystemwithusageaspects-2008', 'http://dx.doi.org/10.1017/S0956796807006399')\">\n <img src=\"http://bibbase.org/img/filetypes/blank.png\"\n\t alt=\"A type system with usage aspects [.1017/S0956796807006399]\" \n\t class=\"bibbase_icon\"\n\t style=\"width: 24px; height: 24px; border: 0px; vertical-align: text-top\" ><span class=\"bibbase_icon_text\">Paper</span></a> \n \n \n \n <a href=\"javascript:showBib('dblp2386362')\"\n class=\"bibbase link\">\n <!-- <img src=\"http://bibbase.org/img/filetypes/bib.png\" -->\n\t<!-- alt=\"A type system with usage aspects [bib]\" -->\n\t<!-- class=\"bibbase_icon\" -->\n\t<!-- style=\"width: 24px; height: 24px; border: 0px; vertical-align: text-top\"><span class=\"bibbase_icon_text\">Bibtex</span> -->\n BibTeX\n <i class=\"fa fa-caret-down\"></i></a>\n \n \n \n \n\n \n \n \n</span>\n\n<div class=\"well well-small bibbase\" id=\"bib_dblp2386362\"\n style=\"display:none\">\n <pre>@article{ dblp2386362,\n title = {A type system with usage aspects},\n author = {David Aspinall and Martin Hofmann and Michal Konecný},\n author_short = {Aspinall, D. and Hofmann, M. and Konecný, M.},\n bibtype = {article},\n type = {article},\n year = {2008},\n key = {dblp2386362},\n id = {dblp2386362},\n biburl = {http://www.dblp.org/rec/bibtex/journals/jfp/AspinallHK08},\n url = {http://dx.doi.org/10.1017/S0956796807006399},\n journal = {J. Funct. Program. (JFP)},\n pages = {141-178},\n number = {2},\n volume = {18},\n text = {J. Funct. Program. (JFP) 18(2):141-178 (2008)}\n}</pre>\n</div>\n\n\n\n</div>\n","downloads":0,"bibbaseid":"aspinall-hofmann-konecn-atypesystemwithusageaspects-2008","urls":{"Paper":"http://dx.doi.org/10.1017/S0956796807006399"},"role":"author","bibtex":"@article{ dblp2386362,\n title = {A type system with usage aspects},\n author = {David Aspinall and Martin Hofmann and Michal Konecný},\n author_short = {Aspinall, D. and Hofmann, M. and Konecný, M.},\n bibtype = {article},\n type = {article},\n year = {2008},\n key = {dblp2386362},\n id = {dblp2386362},\n biburl = {http://www.dblp.org/rec/bibtex/journals/jfp/AspinallHK08},\n url = {http://dx.doi.org/10.1017/S0956796807006399},\n journal = {J. Funct. Program. (JFP)},\n pages = {141-178},\n number = {2},\n volume = {18},\n text = {J. Funct. Program. (JFP) 18(2):141-178 (2008)}\n}","text":"J. Funct. Program. (JFP) 18(2):141-178 (2008)","volume":"18","number":"2","pages":"141-178","journal":"J. Funct. Program. (JFP)","url":"http://dx.doi.org/10.1017/S0956796807006399","biburl":"http://www.dblp.org/rec/bibtex/journals/jfp/AspinallHK08","id":"dblp2386362","key":"dblp2386362","year":"2008","type":"article","bibtype":"article","author_short":["Aspinall, D.","Hofmann, M.","Konecný, M."],"author":["David Aspinall","Martin Hofmann","Michal Konecný"],"title":"A type system with usage aspects"},"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/jfp/AspinallHK08","downloads":0,"search_terms":["type","system","usage","aspects","aspinall","hofmann","konecný"],"title":"A type system with usage aspects","year":2008,"dataSources":["kMWd8aFAjDfHuKFFa"]}