Static determination of quantitative resource usage for higher-order programs. Jost, S., Hammond, K., Loidl, H., & Hofmann 0001, M. In Proceedings of Symposium on Principles of Programming Languages (POPL), pages 223-236, 2010.
Static determination of quantitative resource usage for higher-order programs [link]Paper  bibtex   
@inproceedings{ dblp3138757,
  title = {Static determination of quantitative resource usage for higher-order programs},
  author = {Steffen Jost and Kevin Hammond and Hans-Wolfgang Loidl and Martin Hofmann 0001},
  author_short = {Jost, S. and Hammond, K. and Loidl, H. and Hofmann 0001, M.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2010},
  key = {dblp3138757},
  id = {dblp3138757},
  biburl = {http://www.dblp.org/rec/bibtex/conf/popl/JostHLH10},
  url = {http://doi.acm.org/10.1145/1706299.1706327},
  conference = {POPL},
  pages = {223-236},
  text = {POPL 2010:223-236},
  booktitle = {Proceedings of Symposium on Principles of Programming Languages (POPL)}
}
Downloads: 0