A type system with usage aspects. Aspinall 0001, D., Hofmann 0001, M., & Konecný, M. J. Funct. Program. (JFP), 18(2):141-178, 2008. Paper bibtex @article{ dblp3505681,
title = {A type system with usage aspects},
author = {David Aspinall 0001 and Martin Hofmann 0001 and Michal Konecný},
author_short = {Aspinall 0001, D. and Hofmann 0001, M. and Konecný, M.},
bibtype = {article},
type = {article},
year = {2008},
key = {dblp3505681},
id = {dblp3505681},
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":"eHPLfbCHvC5WBKWdX","bibbaseid":"aspinall0001-hofmann0001-konecn-atypesystemwithusageaspects-2008","downloads":0,"creationDate":"2015-09-15T10:26:48.591Z","title":"A type system with usage aspects","author_short":["Aspinall 0001, D.","Hofmann 0001, M.","Konecný, M."],"year":2008,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/jfp/AspinallHK08","bibdata":{"title":"A type system with usage aspects","author":["David Aspinall 0001","Martin Hofmann 0001","Michal Konecný"],"author_short":["Aspinall 0001, D.","Hofmann 0001, M.","Konecný, M."],"bibtype":"article","type":"article","year":"2008","key":"dblp3505681","id":"dblp3505681","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)","bibtex":"@article{ dblp3505681,\n title = {A type system with usage aspects},\n author = {David Aspinall 0001 and Martin Hofmann 0001 and Michal Konecný},\n author_short = {Aspinall 0001, D. and Hofmann 0001, M. and Konecný, M.},\n bibtype = {article},\n type = {article},\n year = {2008},\n key = {dblp3505681},\n id = {dblp3505681},\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}","bibbaseid":"aspinall0001-hofmann0001-konecn-atypesystemwithusageaspects-2008","role":"author","urls":{"Paper":"http://dx.doi.org/10.1017/S0956796807006399"},"downloads":0},"search_terms":["type","system","usage","aspects","aspinall 0001","hofmann 0001","konecný"],"keywords":[],"authorIDs":["5480332fa29145d03f000f13"],"dataSources":["kMWd8aFAjDfHuKFFa"]}