[an error occurred while processing this directive] [an error occurred while processing this directive] BibTeX for 2003 [an error occurred while processing this directive]

BibTeX for 2003

@inproceedings{HammK2003:IFL,
  author = {Hammond, K.},
  note = {Draft proceedings},
  booktitle = {IFL03 --- Intl Workshop on Implementation of Functional Languages},
  title = {{An Abstract Machine for Resource Bounded Computations in Hume}},
  address = {Edinburgh, Scotland},
  year = {2003},
  pages = {79--94},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2003}
}


@inproceedings{HofmMJostS2003:ACM,
  author = {Hofmann, Martin and Jost, Steffen},
  key = {HJ_POPL03},
  booktitle = {Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of
    Programming Languages (POPL)},
  url = {http://www.tcs.informatik.uni-muenchen.de/\~jost/research/full_p17-hofmann.ps},
  title = {Static Prediction of Heap Space Usage for First-Order Functional Programs},
  pages = {185--197},
  year = {2003},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2003}
}


This page was last modified on Friday 8 May 2009 17:04:38. This site is maintained by Robert Rothenberg (rr@cs.st-andrews.ac.uk).