@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