@INPROCEEDINGS{TxEventsICFP06, AUTHOR = {Kevin Donnelly and Matthew Fluet}, TITLE = {Transactional Events}, BOOKTITLE = {ICFP'06: Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming}, PAGES = {124--135}, YEAR = 2006, LOCATION = {Portland, OR, USA}, MONTH = {September}, PUBLISHER = {ACM Press} }
@ARTICLE{PhantomTypesJFP06, AUTHOR = {Matthew Fluet and Riccardo Pucella}, TITLE = {Phantom Types and Subtyping}, JOURNAL = {The Journal of Functional Programming}, YEAR = 2006, VOLUME = 16, NUMBER = 6, PAGES = {???--???}, MONTH = {November}, NOTE = {Accepted for publication} }
@INPROCEEDINGS{SubstructRegionsESOP06, AUTHOR = {Matthew Fluet and Greg Morrisett and Amal Ahmed}, TITLE = {Linear Regions Are All You Need}, BOOKTITLE = {ESOP'06: Proceedings of the Fifteenth European Symposium on Programming}, PAGES = {7--21}, YEAR = 2006, LOCATION = {Vienna, Austria}, MONTH = {March}, PUBLISHER = {Springer-Verlag} }
@INPROCEEDINGS{SpecializationsMLWRK05, AUTHOR = {Matthew Fluet and Riccardo Pucella}, TITLE = {Practical Datatype Specializations with Phantom Types and Recursion Schemes}, BOOKTITLE = {ML'05: Proceedings of the ACM SIGPLAN Workshop on ML}, PAGES = {203--228}, YEAR = 2005, LOCATION = {Tallinn, Estonia}, MONTH = {September}, PUBLISHER = {Elsevier} }
@INPROCEEDINGS{SubstructStateICFP05, AUTHOR = {Amal Ahmed and Matthew Fluet and Greg Morrisett}, TITLE = {A Step-Indexed Model of Substructural State}, BOOKTITLE = {ICFP'05: Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming}, PAGES = {78--91}, YEAR = 2005, LOCATION = {Tallinn, Estonia}, MONTH = {September}, PUBLISHER = {ACM Press} }
@TECHREPORT{SubstructStateTR05, AUTHOR = {Amal Ahmed and Matthew Fluet and Greg Morrisett}, TITLE = {A Step-Indexed Model of Substructural State}, INSTITUTION = {Harvard University}, YEAR = 2005, NUMBER = {TR-16-05}, MONTH = {July} }
@INPROCEEDINGS{LinLocTLCA05, AUTHOR = {Greg Morrisett and Amal Ahmed and Matthew Fluet}, TITLE = {L$^3$: A Linear Language with Locations}, BOOKTITLE = {TLCA'04: Proceedings of the Seventh International Conference on Typed Lambda Calculi and Applications}, PAGES = {293--307}, YEAR = 2005, LOCATION = {Nara, Japan}, MONTH = {April}, PUBLISHER = {Springer-Verlag} }
@TECHREPORT{LinLocTR04, AUTHOR = {Amal Ahmed and Matthew Fluet and Greg Morrisett}, TITLE = {L$^3$: A Linear Language with Locations}, INSTITUTION = {Harvard University}, YEAR = 2004, NUMBER = {TR-24-04}, MONTH = {July} }
@ARTICLE{RgnMonadJFP06, AUTHOR = {Matthew Fluet and Greg Morrisett}, TITLE = {Monadic Regions}, JOURNAL = {The Journal of Functional Programming}, YEAR = 2006, VOLUME = 16, NUMBER = {4--5}, PAGES = {485--545}, MONTH = {July--September} }
@INPROCEEDINGS{RgnMonadICFP04, AUTHOR = {Matthew Fluet and Greg Morrisett}, TITLE = {Monadic Regions}, BOOKTITLE = {ICFP'04: Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming}, PAGES = {103--114}, YEAR = 2004, LOCATION = {Snow Bird, UT, USA}, MONTH = {September}, PUBLISHER = {ACM Press} }
@TECHREPORT{RgnMonadTR04, AUTHOR = {Matthew Fluet}, TITLE = {Monadic Regions: Formal Type Soundness and Correctness}, INSTITUTION = {Cornell University}, YEAR = 2004, NUMBER = {TR2004-1936}, MONTH = {April} }
@INPROCEEDINGS{RgnMonadSPACE04, AUTHOR = {Matthew Fluet}, TITLE = {Monadic Regions}, BOOKTITLE = {SPACE'04: Informal Proceedings of the Second ACM SIGPLAN Workshop on Semantics, Program Analysis, and Computing Environments for Memory Management}, YEAR = 2004, LOCATION = {Venice, Italy}, MONTH = {January}, NOTE = {Lightly refereed (not considered a formal (citable) publication)} }
@INPROCEEDINGS{SafeRuntimeSPACE04, AUTHOR = {Matthew Fluet and Dan Wang}, TITLE = {Implementation and Performance Evaluation of a Safe Runtime System in {C}yclone}, BOOKTITLE = {SPACE'04: Informal Proceedings of the Second ACM SIGPLAN Workshop on Semantics, Program Analysis, and Computing Environments for Memory Management}, YEAR = 2004, LOCATION = {Venice, Italy}, MONTH = {January}, NOTE = {Lightly refereed (not considered a formal (citable) publication)} }
@TECHREPORT{ValuationsTR04, AUTHOR = {Stuart Allen and Bob Constable and Matthew Fluet}, TITLE = {Expressing and Implementing the Computational Content Implicit in {S}mullyan's Account of Boolean Valuations}, INSTITUTION = {Cornell University}, YEAR = 2004, NUMBER = {TR2004-1933}, MONTH = {March} }
@UNPUBLISHED{PhantomTypesARXIV04, AUTHOR = {Matthew Fluet and Riccardo Pucella}, TITLE = {Phantom Types and Subtyping}, NOTE = {\url{http://arxiv.org/abs/cs.PL/0403034}}, MONTH = {March}, YEAR = 2004 }
@INPROCEEDINGS{PhantomTypesTCS02, AUTHOR = {Matthew Fluet and Riccardo Pucella}, TITLE = {Phantom Types and Subtyping}, BOOKTITLE = {TCS'02: Proceedings of the Second IFIP International Conference on Theoretical Computer Science}, PAGES = {442--460}, YEAR = 2002, LOCATION = {Montreal, Canada}, MONTH = {August}, PUBLISHER = {Kluwer Academic Press} }
@INPROCEEDINGS{ContificationICFP01, AUTHOR = {Matthew Fluet and Stephen Weeks}, TITLE = {Contification Using Dominators}, BOOKTITLE = {ICFP'01: Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming}, PAGES = {2--13}, YEAR = 2001, LOCATION = {Florence, Italy}, MONTH = {September}, PUBLISHER = {ACM Press} }
@ARTICLE{KnockEJC01, AUTHOR = {Arthur T. Benjamin and Matthew T. Fluet and Mark L. Huber}, TITLE = {Optimal Token Allocations in Solitaire Knock 'm Down}, JOURNAL = {The Electronic Journal of Combinatorics}, YEAR = 2001, VOLUME = 8, NUMBER = 2, PAGES = {\#R2}, MONTH = {August} }
@ARTICLE{KnockAMM00, AUTHOR = {Arthur T. Benjamin and Matthew T. Fluet}, TITLE = {What's Best?}, JOURNAL = {The American Mathematical Monthly}, YEAR = 2000, VOLUME = 107, NUMBER = 6, PAGES = {560--562}, MONTH = {June-July} }
@ARTICLE{CootieCMJ00, AUTHOR = {Arthur T. Benjamin and Matthew T. Fluet}, TITLE = {A Rational Solution to Cootie}, JOURNAL = {The College Mathematics Journal}, YEAR = 2000, VOLUME = 31, NUMBER = 2, PAGES = {124--125}, MONTH = {March} }
@SENIORTHESIS{KnockThesis99, AUTHOR = {Matthew T. Fluet}, TITLE = {Searching for Optimial Strategies in Knock 'm Down (Senior Thesis)}, SCHOOL = {Harvey Mudd College}, YEAR = 1999, TYPE = {Mathematics}, MONTH = {May} }
@ARTICLE{DeepImpactUMAP99, AUTHOR = {Dominic Mazzoni and Matthew Fluet and Joel Miller}, TITLE = {Deep Impact}, JOURNAL = {The UMAP Journal}, YEAR = 1999, VOLUME = 20, NUMBER = 3, PAGES = {211--224}, MONTH = {Fall} }
@ARTICLE{KnockUMAP99, AUTHOR = {Arthur T. Benjamin and Matthew T. Fluet}, TITLE = {The Best Way to Knock 'm Down}, JOURNAL = {The UMAP Journal}, YEAR = 1999, VOLUME = 20, NUMBER = 1, PAGES = {11--20}, MONTH = {Spring} }
@ARTICLE{CootieUMAP99, AUTHOR = {Arthur T. Benjamin and Matthew T. Fluet}, TITLE = {Bounds on a Bug}, JOURNAL = {The UMAP Journal}, YEAR = 1999, VOLUME = 20, NUMBER = 1, PAGES = {5--9}, MONTH = {Spring} }
This file has been generated by bibtex2html 1.75