all.bib

@INBOOK{Pierce2005-attapl-dependent-types,
  CROSSREF = {Pierce2005-attapl},
  CHAPTER = {2 \emph{Dependent Types}},
  PAGES = {45 - 86}
}

@INBOOK{Pierce2005-attapl-substructural,
  CROSSREF = {Pierce2005-attapl},
  CHAPTER = {1 \emph{Substructural Type Systems}},
  PAGES = {3 - 44}
}

@INBOOK{Pierce2002-tpl-recursive,
  CROSSREF = {Pierce2002-tpl},
  CHAPTER = {21 \emph{Metatheory of Recursive Types}},
  PAGES = {281 - 314}
}

@INPROCEEDINGS{ClarkePotterNoble1998,
  AUTHOR = {David G. Clarke and John M. Potter and James Noble},
  TITLE = {Ownership Types for Flexible Alias Protection},
  CROSSREF = {OOPSLA1998},
  YEAR = 1998,
  PAGES = {48--64},
  DOI = {http://doi.acm.org/10.1145/286936.286947}
}

@INPROCEEDINGS{ClementDespeyrouxDespeyrouxKahn1986,
  CROSSREF = {LFP1986},
  AUTHOR = {Dominique Clément and Joëlle Despeyroux and Thierry Despeyroux and Gilles Kahn},
  TITLE = {A Simple Applicative Language: Mini-{ML}},
  YEAR = 1986,
  PAGES = {13-27},
  DOI = {http://doi.acm.org/10.1145/319838.319847}
}

@INPROCEEDINGS{DamasMilner1982,
  CROSSREF = {POPL1982},
  AUTHOR = {Luis Damas and Robin Milner},
  TITLE = {Principal Type-Schemes for Functional Programs},
  YEAR = 1982,
  PAGES = {207-212},
  DOI = {http://doi.acm.org/10.1145/582153.582176}
}

@INPROCEEDINGS{HosoyaVouillonPierce2000,
  AUTHOR = {Haruo Hosoya and Jérôme Vouillon and Benjamin C. Pierce},
  TITLE = {Regular Expression Types for {XML}},
  CROSSREF = {ICFP2000},
  PAGES = {11-22},
  YEAR = 2000,
  DOI = {http://doi.acm.org/10.1145/351240.351242}
}

@ARTICLE{HosoyaVouillonPierce2004-toplas,
  AUTHOR = {Haruo Hosoya and Jérôme Vouillon and Benjamin C. Pierce},
  TITLE = {Regular Expression Types for {XML}},
  JOURNAL = {{ACM} Transactions on Programming Languages and Systems},
  YEAR = 2004,
  VOLUME = 27,
  NUMBER = 1,
  DOI = {http://doi.acm.org/10.1145/1053468.1053470}
}

@ARTICLE{Milner1978,
  AUTHOR = {Robin Milner},
  TITLE = {A Theory of Type Polymorphism in Programming},
  JOURNAL = JCSS,
  YEAR = 1978,
  VOLUME = {17},
  PAGES = {348-375}
}

@INPROCEEDINGS{MorrisettWalkerCraryGlew1998,
  AUTHOR = {Greg Morrisett and David Walker and Karl Crary and
		    Neal Glew},
  TITLE = {From System {F} to Typed Assembly Language},
  CROSSREF = {POPL1998},
  DOI = {http://doi.acm.org/10.1145/268946.268954}
}

@ARTICLE{MorrisettWalkerCraryGlew1999-toplas,
  AUTHOR = {Greg Morrisett and David Walker and Karl Crary and Neal Glew},
  TITLE = {From system {F} to typed assembly language},
  JOURNAL = {{ACM} Transactions on Programming Languages and Systems},
  VOLUME = {21},
  NUMBER = {3},
  YEAR = {1999},
  PAGES = {527--568},
  DOI = {http://doi.acm.org/10.1145/319301.319345}
}

@PROCEEDINGS{OOPSLA1998,
  KEY = {OOPSLA'98},
  TITLE = {Proceedings of the  13th  ACM SIGPLAN Conference on  Object Oriented Programming, Systems, Languages, and Applications},
  BOOKTITLE = {Proceedings of the  13th  ACM SIGPLAN Conference on  Object Oriented Programming, Systems, Languages, and Applications},
  PUBLISHER = {{ACM} Press, New York},
  ISBN = {1-58113-005-8},
  ADDRESS = {Vancouver, BC, Canada},
  YEAR = 1998,
  MONTH = OCT
}

@PROCEEDINGS{LFP1986,
  KEY = {LFP 1986},
  TITLE = {Proceedings of the  1986 {ACM} Conference on {Lisp} and Functional Programming},
  YEAR = 1986,
  BOOKTITLE = {Proceedings of the  1986 {ACM} Conference on {Lisp} and Functional Programming}
}

@PROCEEDINGS{ICFP2000,
  TITLE = {International Conference on Functional Programming},
  BOOKTITLE = {Proceedings International Conference on Functional Programming 2000},
  YEAR = 2000,
  EDITOR = {Philip Wadler},
  PUBLISHER = {{ACM} Press, New York},
  ADDRESS = {Montreal, Canada},
  ISBN = {1-58113-202-6},
  MONTH = SEP
}

@PROCEEDINGS{POPL1982,
  KEY = {POPL~1982},
  TITLE = {Proceedings of the 9th Annual {ACM} Symposium on Principles of Programming Languages},
  BOOKTITLE = {Proceedings of the 9th Annual {ACM} Symposium on Principles of Programming Languages},
  OLDTITLE = {Proceedings of the  1982 {ACM} SIGPLAN Symposium on Principles of Programming Languages},
  OLDBOOKTITLE = {Proceedings of the  1982 {ACM} SIGPLAN Symposium on Principles of Programming Languages},
  YEAR = 1982,
  ISBN = {0-89791-065-6},
  ADDRESS = {Albuquerque, New Mexico, USA},
  PUBLISHER = {{ACM} Press}
}

@PROCEEDINGS{POPL1998,
  TITLE = {Proceedings 25th Annual {ACM} Symposium on Principles of Programming Languages},
  BOOKTITLE = {Proceedings 25th Annual {ACM} Symposium on Principles of Programming Languages},
  YEAR = 1998,
  KEY = {POPL~1998},
  EDITOR = {Luca Cardelli},
  PUBLISHER = {{ACM} Press},
  ADDRESS = {San Diego, CA, USA},
  MONTH = JAN
}

@BOOK{Pierce2002-tpl,
  AUTHOR = {Pierce, Benjamin C.},
  TITLE = {Types and Programming Languages},
  PUBLISHER = {MIT Press},
  YEAR = 2002
}

@BOOK{Pierce2005-attapl,
  EDITOR = {Pierce, Benjamin C.},
  TITLE = {Advanced Topics in Types and Programming Languages},
  BOOKTITLE = {Advanced Topics in Types and Programming Languages},
  PUBLISHER = {MIT Press},
  YEAR = 2005
}

This file has been generated by bibtex2html 1.76