A type system with usage aspects. Aspinall 0001, D., Hofmann 0001, M., & Konecný, M. J. Funct. Program. (JFP), 18(2):141-178, 2008.
A type system with usage aspects [link]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