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

BibTeX for 2000

@article{HofmM2000:NJC,
  number = {4},
  volume = {7},
  author = {M. Hofmann},
  url = {http://www.dcs.ed.ac.uk/home/mxh/nordic.ps.gz},
  title = {A type system for bounded space and functional in-place update},
  pages = {258--289},
  year = {2000},
  journal = {Nordic Journal of Computing},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2000}
}


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).