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

BibTeX for 2008

@article{AspiDHofmMK2008:JFP,
  number = {2},
  volume = {18},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  author = {David Aspinall and Martin Hofmann and Michal Konecn{\'y}},
  title = {A type system with usage aspects},
  pages = {141-178},
  year = {2008},
  ee = {http://dx.doi.org/10.1017/S0956796807006399},
  journal = {J. Funct. Program.}
}


@inproceedings{BradEHerrCH2008:TFP,
  booktitle = {Proc. International Symposium on Trends in Functional Programming (TFP
    2008)},
  title = {{Lightweight Invariants with Full Dependent Types}},
  author = {Edwin Brady and Christoph Herrmann and Kevin Hammond},
  year = {2008},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2008}
}


@inproceedings{GabbMHofmM2008:LPAR,
  bibsource = {DBLP, http://dblp.uni-trier.de},
  author = {Murdoch James Gabbay and Martin Hofmann},
  booktitle = {LPAR},
  title = {Nominal Renaming Sets},
  pages = {158-173},
  ee = {http://dx.doi.org/10.1007/978-3-540-89439-1_11},
  year = {2008}
}


@misc{GrovGMichG2008,
  month = {},
  author = {Grov, G. and Michaelson, G.},
  note = {Deliverable D35},
  key = {D35},
  title = {{Destructive Update and Dynamic Data Structures}},
  year = {2008},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2008}
}


@inproceedings{GrovGPoinRMI2008:ACM,
  author = {Gudmund Grov and Robert Pointon and Greg Michaelson and Andrew Ireland},
  booktitle = {Coordination Models, Languages and Applications Track of the 23rd Annual
    ACM Symposium on Applied Computing (SAC 2008)},
  url = {http://www.macs.hw.ac.uk/~gg10/Site/Gudmund's%20homepage_files/sac08.pdf},
  title = {Preserving Coordination Properties when Transforming Concurrent System
    Components},
  year = {2008},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2008}
}


@inproceedings{GrovGPoinRMI2008:ACMb,
  pdf = {http://www.macs.hw.ac.uk/~gg10/Site/Gudmund's%20homepage_files/sac08.pdf},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/hume/papers/bib.shtml?2008},
  author = {Gudmund Grov and Robert Pointon and Greg Michaelson and Andrew Ireland},
  keywords = {Hume,Transformations, Hierarchy},
  booktitle = {Coordination Models, Languages and Applications Track of the 23rd Annual
    ACM Symposium on Applied Computing},
  title = {{P}reserving {C}oordination {P}roperties when {T}ransforming {C}oncurrent
    {S}ystem {C}omponents},
  year = {2008}
}


@inproceedings{HaseMHofmMP2008,
  bibsource = {DBLP, http://dblp.uni-trier.de},
  author = {Masahito Hasegawa and Martin Hofmann and Gordon D. Plotkin},
  booktitle = {Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot
    on the Occasion of His 85th Birthday},
  editor = {Arnon Avron and Nachum Dershowitz and Alexander Rabinovich},
  url = {http://dx.doi.org/10.1007/978-3-540-78127-1_20},
  title = {Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal
    Categories},
  year = {2008},
  pages = {367-385}
}


@inproceedings{HofmMSch+APY-U2008:CSL,
  bibsource = {DBLP, http://dblp.uni-trier.de},
  author = {Martin Hofmann and Ulrich Sch{\"o}pp},
  booktitle = {CSL},
  title = {Pure Pointer Programs with Iteration},
  pages = {79-93},
  ee = {http://dx.doi.org/10.1007/978-3-540-87531-4_8},
  year = {2008}
}


@misc{JostSHammK2008,
  month = {},
  author = {Jost, S. and Hammond, K.},
  note = {Deliverable D30},
  title = {{Validation of Space analyses}},
  year = {2008},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2008}
}


@inproceedings{JostSHammKLH2008:ICFP,
  author = {Jost, S. and Hammond, K. and Loidl, H-W. and Hofmann, M.},
  note = {Submitted},
  booktitle = {ICFP'08 --- Intl. Conference on Functional Programming},
  title = {{``Carbon Credits'' for Resource-Bounded Computations}},
  year = {2008},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2008}
}


@inproceedings{LagoUHofmM2008:CSR,
  bibsource = {DBLP, http://dblp.uni-trier.de},
  author = {Ugo Dal Lago and Martin Hofmann},
  booktitle = {CSR},
  title = {A Semantic Proof of Polytime Soundness of Light Affine Logic},
  pages = {134-145},
  ee = {http://dx.doi.org/10.1007/978-3-540-79709-8_16},
  year = {2008}
}


@misc{LoidHBeriL2008,
  month = {},
  author = {Loidl, H-W. and Beringer, L.},
  note = {Deliverable D21},
  title = {{Certificates}},
  year = {2008},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2008}
}


@misc{PoinRScaiN2008,
  month = {},
  author = {Pointon, R.F. and Scaife, N.},
  note = {Deliverable D23},
  title = {{Hume to HAM Translator}},
  year = {2008},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2008}
}


@misc{PoinRScaiN2008b,
  month = {},
  author = {Pointon, R.F. and Scaife, N.},
  note = {Deliverable D24},
  title = {{Hume Machine Code Compiler}},
  year = {2008},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2008}
}


@misc{PoinRScaiNL2008,
  month = {},
  author = {Pointon, R.F. and Scaife, N. and Loidl, H-W.},
  note = {Deliverable D25},
  title = {{Analyses Integrated into Compiler}},
  year = {2008},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2008}
}


@misc{ScaiNLoidHMS2008,
  month = {},
  author = {Scaife, N. and Loidl, H-W. and Michaelson, G. and S{\'e}rot, J.},
  note = {Deliverable D33},
  key = {D33},
  title = {{Evaluation of Hume and the Hume Methodology}},
  year = {2008},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2008}
}


@misc{S+AOk-roJScaiN2008,
  month = {},
  author = {S{\'e}rot, J. and Scaife, N.},
  note = {Deliverable D27},
  key = {D27},
  title = {{Real-time Computer Vision Algorithms}},
  year = {2008},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2008}
}


@phdthesis{VascP2008,
  month = {February},
  author = {P.B. Vasconcelos},
  title = {{Cost Inference and Analysis for Recursive Functional Programs}},
  school = {University of St Andrews},
  year = {2008},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2008}
}


@phdthesis{VascP2008b,
  month = {November},
  author = {Pedro Baltazar Vasconcelos},
  url = {http://hdl.handle.net/10023/564},
  title = {Space cost analysis using sized types},
  school = {School of Computer Science, University of St Andrews},
  year = {2008},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2008}
}


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