@inproceedings{McDirmidFH01,
  title = {Jiazzi: New-Age Components for Old-Fashioned Java},
  author = {Sean McDirmid and Matthew Flatt and Wilson C. Hsieh},
  year = {2001},
  tags = {Java, C++},
  researchr = {https://researchr.org/publication/McDirmidFH01},
  cites = {0},
  citedby = {0},
  pages = {211-222},
  booktitle = {OOPSLA},
}

@inproceedings{FlorenceFFTKWNY15,
  title = {POP-PL: a patient-oriented prescription programming language},
  author = {Spencer P. Florence and Burke Fetscher and Matthew Flatt and William H. Temps and Tina Kiguradze and Dennis P. West and Charlotte Niznik and Paul R. Yarnold and Robby Findler and Steven M. Belknap},
  year = {2015},
  doi = {10.1145/2814204.2814221},
  url = {http://doi.acm.org/10.1145/2814204.2814221},
  researchr = {https://researchr.org/publication/FlorenceFFTKWNY15},
  cites = {0},
  citedby = {0},
  pages = {131-140},
  booktitle = {Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2015, Pittsburgh, PA, USA, October 26-27, 2015},
  editor = {Christian Kästner and Aniruddha S. Gokhale},
  publisher = {ACM},
  isbn = {978-1-4503-3687-1},
}

@inproceedings{FlattFKF99,
  title = {Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine)},
  author = {Matthew Flatt and Robby Findler and Shriram Krishnamurthi and Matthias Felleisen},
  year = {1999},
  doi = {10.1145/317636.317793},
  url = {http://doi.acm.org/10.1145/317636.317793},
  tags = {programming languages, operating system, programming},
  researchr = {https://researchr.org/publication/FlattFKF99},
  cites = {0},
  citedby = {0},
  pages = {138-147},
  booktitle = {ICFP},
}

@article{FelleisenFFK04-0,
  title = {The TeachScheme! Project: Computing and Programming for Every Student},
  author = {Matthias Felleisen and Robby Findler and Matthew Flatt and Shriram Krishnamurthi},
  year = {2004},
  doi = {10.1076/csed.14.1.55.23499},
  url = {http://dx.doi.org/10.1076/csed.14.1.55.23499},
  researchr = {https://researchr.org/publication/FelleisenFFK04-0},
  cites = {0},
  citedby = {0},
  journal = {Computer Science Education},
  volume = {14},
  number = {1},
  pages = {55-77},
}

@inproceedings{FindlerFF04,
  title = {Semantic Casts: Contracts and Structural Subtyping in a Nominal World},
  author = {Robby Findler and Matthew Flatt and Matthias Felleisen},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3086&spage=364},
  tags = {contracts, subtyping},
  researchr = {https://researchr.org/publication/FindlerFF04},
  cites = {0},
  citedby = {0},
  pages = {364-388},
  booktitle = {ECOOP 2004 - Object-Oriented Programming, 18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings},
  editor = {Martin Odersky},
  volume = {3086},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22159-X},
}

@inproceedings{Flatt02,
  title = {Composable and compilable macros: : you want it when?},
  author = {Matthew Flatt},
  year = {2002},
  doi = {10.1145/581478.581486},
  url = {http://doi.acm.org/10.1145/581478.581486},
  tags = {macros, compiler},
  researchr = {https://researchr.org/publication/Flatt02},
  cites = {0},
  citedby = {0},
  pages = {72-83},
  booktitle = {Proceedings of the seventh {ACM SIGPLAN} international conference on Functional Programming {(ICFP 2002)}},
}

@inproceedings{Flatt13,
  title = {Submodules in racket: you want it when, again?},
  author = {Matthew Flatt},
  year = {2013},
  doi = {10.1145/2517208.2517211},
  url = {http://doi.acm.org/10.1145/2517208.2517211},
  researchr = {https://researchr.org/publication/Flatt13},
  cites = {0},
  citedby = {0},
  pages = {13-22},
  booktitle = {Generative Programming: Concepts and Experiences, GPCE'13, Indianapolis, IN, USA - October 27 - 28, 2013},
  editor = {Jaakko Järvi and Christian Kästner},
  publisher = {ACM},
  isbn = {978-1-4503-2373-4},
}

@inproceedings{GoldbergFF04,
  title = {Super and inner: together at last!},
  author = {David S. Goldberg and Robby Findler and Matthew Flatt},
  year = {2004},
  doi = {10.1145/1028976.1028987},
  url = {http://doi.acm.org/10.1145/1028976.1028987},
  researchr = {https://researchr.org/publication/GoldbergFF04},
  cites = {0},
  citedby = {0},
  pages = {116-129},
  booktitle = {Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004},
  editor = {John M. Vlissides and Douglas C. Schmidt},
  address = {Vancouver, BC, Canada},
  publisher = {ACM},
  isbn = {1-58113-831-8},
}

@inproceedings{Atkinson-GPCE-2010,
  title = {ABI Compatibility Through a Customizable Language},
  author = {Kevin Atkinson and Matthew Flatt and Gary Lindstrom},
  year = {2010},
  researchr = {https://researchr.org/publication/Atkinson-GPCE-2010},
  cites = {0},
  citedby = {0},
  booktitle = {Generative Programming And Component Engineering, Proceedings of the Ninth International Conference on Generative Programming and Component Engineering, GPCE 2010, Eindhoven, The Netherlands, October 10-13, 2010
},
  editor = {Eelco Visser and Jaakko Järvi},
  publisher = {ACM},
}

@article{FlattF97,
  title = {Program Units as Higher-Order Modules},
  author = {Matthew Flatt and Matthias Felleisen},
  year = {1997},
  url = {http://www.elsevier.com/gej-ng/31/29/23/35/23/show/Products/notes/index.htt#019},
  researchr = {https://researchr.org/publication/FlattF97},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {10},
  pages = {204-229},
}

@inproceedings{KleinCDEFFMRTF12,
  title = {Run your research: on the effectiveness of lightweight mechanization},
  author = {Casey Klein and John Clements and Christos Dimoulas and Carl Eastlund and Matthias Felleisen and Matthew Flatt and Jay A. McCarthy and Jon Rafkind and Sam Tobin-Hochstadt and Robby Findler},
  year = {2012},
  doi = {10.1145/2103656.2103691},
  url = {http://doi.acm.org/10.1145/2103656.2103691},
  researchr = {https://researchr.org/publication/KleinCDEFFMRTF12},
  cites = {0},
  citedby = {0},
  pages = {285-296},
  booktitle = {Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012},
  editor = {John Field and Michael Hicks},
  publisher = {ACM},
  isbn = {978-1-4503-1083-3},
}

@article{FelleisenFFK04,
  title = {The structure and interpretation of the computer science curriculum},
  author = {Matthias Felleisen and Robby Findler and Matthew Flatt and Shriram Krishnamurthi},
  year = {2004},
  doi = {10.1017/S0956796804005076},
  url = {http://dx.doi.org/10.1017/S0956796804005076},
  tags = {e-science},
  researchr = {https://researchr.org/publication/FelleisenFFK04},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {14},
  number = {4},
  pages = {365-378},
}

@inproceedings{FlattKF98,
  title = {Classes and Mixins},
  author = {Matthew Flatt and Shriram Krishnamurthi and Matthias Felleisen},
  year = {1998},
  doi = {10.1145/268946.268961},
  url = {http://doi.acm.org/10.1145/268946.268961},
  researchr = {https://researchr.org/publication/FlattKF98},
  cites = {0},
  citedby = {0},
  pages = {171-183},
  booktitle = {Proceedings of the 25th {ACM SIGPLAN-SIGACT} symposium on Principles of programming languages},
  address = {New York, NY, USA},
  publisher = {ACM},
}

@article{DemetrescuF15,
  title = {Front Matter, Table of Contents},
  author = {Camil Demetrescu and Matthew Flatt},
  year = {2015},
  doi = {10.4230/DARTS.1.1.0},
  url = {http://dx.doi.org/10.4230/DARTS.1.1.0},
  researchr = {https://researchr.org/publication/DemetrescuF15},
  cites = {0},
  citedby = {0},
  journal = {DARTS},
  volume = {1},
  number = {1},
}

@inproceedings{GrayFF05,
  title = {Fine-grained interoperability through mirrors and contracts},
  author = {Kathryn E. Gray and Robby Findler and Matthew Flatt},
  year = {2005},
  doi = {10.1145/1094811.1094830},
  url = {http://doi.acm.org/10.1145/1094811.1094830},
  tags = {contracts, e-science},
  researchr = {https://researchr.org/publication/GrayFF05},
  cites = {0},
  citedby = {0},
  pages = {231-245},
  booktitle = {Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA},
  editor = {Ralph E. Johnson and Richard P. Gabriel},
  publisher = {ACM},
  isbn = {1-59593-031-0},
}

@techreport{flatt2010plt,
  title = {PLT. Reference: Racket},
  author = {Matthew Flatt},
  year = {2010},
  researchr = {https://researchr.org/publication/flatt2010plt},
  cites = {0},
  citedby = {0},
  institution = {Technical Report PLT-TR-2010-1, PLT Inc., 2010. http://racket-lang. org/tr1},
}

@inproceedings{MatthewsFFF04,
  title = {A Visual Environment for Developing Context-Sensitive Term Rewriting Systems},
  author = {Jacob Matthews and Robby Findler and Matthew Flatt and Matthias Felleisen},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3091&spage=301},
  tags = {PLT Redex, programming languages, semantics, meta programming, type soundness, meta-model, modeling language, modeling, term rewriting, language modeling, design research, language design, type system, graph-rewriting, debugging, programming, operational semantics, context-aware, Meta-Environment, rewriting, domain-specific language},
  researchr = {https://researchr.org/publication/MatthewsFFF04},
  cites = {0},
  citedby = {0},
  pages = {301-311},
  booktitle = {Rewriting Techniques and Applications, 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings},
  editor = {Vincent van Oostrom},
  volume = {3091},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22153-0},
}

@inproceedings{McDirmidHF06,
  title = {A Framework for Modular Linking in OO Languages},
  author = {Sean McDirmid and Wilson C. Hsieh and Matthew Flatt},
  year = {2006},
  doi = {10.1007/11860990_9},
  url = {http://dx.doi.org/10.1007/11860990_9},
  tags = {C++},
  researchr = {https://researchr.org/publication/McDirmidHF06},
  cites = {0},
  citedby = {0},
  pages = {116-135},
  booktitle = {Modular Programming Languages, 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings},
  editor = {David E. Lightfoot and Clemens A. Szyperski},
  volume = {4228},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40927-0},
}

@inproceedings{Flatt16,
  title = {Binding as sets of scopes},
  author = {Matthew Flatt},
  year = {2016},
  doi = {10.1145/2837614.2837620},
  url = {http://doi.acm.org/10.1145/2837614.2837620},
  researchr = {https://researchr.org/publication/Flatt16},
  cites = {0},
  citedby = {0},
  pages = {705-717},
  booktitle = {Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016},
  editor = {Rastislav Bodik and Rupak Majumdar},
  publisher = {ACM},
  isbn = {978-1-4503-3549-2},
}

@inproceedings{FindlerFFKF97,
  title = {DrScheme: A Pedagogic Programming Environment for Scheme},
  author = {Robby Findler and Cormac Flanagan and Matthew Flatt and Shriram Krishnamurthi and Matthias Felleisen},
  year = {1997},
  tags = {meta programming, meta-model, programming, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/FindlerFFKF97},
  cites = {0},
  citedby = {0},
  pages = {369-388},
  booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP 97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings},
  editor = {Hugh Glaser and Pieter H. Hartel and Herbert Kuchen},
  volume = {1292},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63398-7},
}

@inproceedings{GrayF03,
  title = {ProfessorJ: a gradual introduction to Java through language levels},
  author = {Kathryn E. Gray and Matthew Flatt},
  year = {2003},
  doi = {10.1145/949344.949394},
  url = {http://doi.acm.org/10.1145/949344.949394},
  tags = {Java, e-science},
  researchr = {https://researchr.org/publication/GrayF03},
  cites = {0},
  citedby = {0},
  pages = {170-177},
  booktitle = {Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA},
  editor = {Ron Crocker and Guy L. Steele Jr.},
  publisher = {ACM},
  isbn = {1-58113-751-6},
}

@article{FlattS16,
  title = {Front Matter, Table of Contents, Preface, Artifact Evaluation Committee},
  author = {Matthew Flatt and Tijs van der Storm},
  year = {2016},
  doi = {10.4230/DARTS.2.1.0},
  url = {http://dx.doi.org/10.4230/DARTS.2.1.0},
  researchr = {https://researchr.org/publication/FlattS16},
  cites = {0},
  citedby = {0},
  journal = {DARTS},
  volume = {2},
  number = {1},
}

@inproceedings{WickF04,
  title = {Memory accounting without partitions},
  author = {Adam Wick and Matthew Flatt},
  year = {2004},
  doi = {10.1145/1029873.1029888},
  url = {http://doi.acm.org/10.1145/1029873.1029888},
  tags = {partitioning},
  researchr = {https://researchr.org/publication/WickF04},
  cites = {0},
  citedby = {0},
  pages = {120-130},
  booktitle = {Proceedings of the 4th International Symposium on Memory Management, ISMM 2004, Vancouver, BC, Canada, October 24-25, 2004},
  editor = {David F. Bacon and Amer Diwan},
  publisher = {ACM},
  isbn = {1-58113-945-4},
}

@inproceedings{FlattF04,
  title = {Kill-safe synchronization abstractions},
  author = {Matthew Flatt and Robby Findler},
  year = {2004},
  doi = {10.1145/996841.996849},
  url = {http://doi.acm.org/10.1145/996841.996849},
  tags = {synchronization, abstraction},
  researchr = {https://researchr.org/publication/FlattF04},
  cites = {0},
  citedby = {0},
  pages = {47-58},
  booktitle = {Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, Washington, DC, USA, June 9-11, 2004},
  editor = {William Pugh and Craig Chambers},
  publisher = {ACM},
  isbn = {1-58113-807-5},
}

@inproceedings{FelleisenFFKBMT15,
  title = {The Racket Manifesto},
  author = {Matthias Felleisen and Robby Findler and Matthew Flatt and Shriram Krishnamurthi and Eli Barzilay and Jay A. McCarthy and Sam Tobin-Hochstadt},
  year = {2015},
  doi = {10.4230/LIPIcs.SNAPL.2015.113},
  url = {http://dx.doi.org/10.4230/LIPIcs.SNAPL.2015.113},
  researchr = {https://researchr.org/publication/FelleisenFFKBMT15},
  cites = {0},
  citedby = {0},
  pages = {113-128},
  booktitle = {1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA},
  editor = {Thomas Ball and Rastislav Bodík and Shriram Krishnamurthi and Benjamin S. Lerner and Greg Morrisett},
  volume = {32},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  isbn = {978-3-939897-80-4},
}

@article{FelleisenFFK98,
  title = {The DrScheme Project: An Overview},
  author = {Matthias Felleisen and Robby Findler and Matthew Flatt and Shriram Krishnamurthi},
  year = {1998},
  researchr = {https://researchr.org/publication/FelleisenFFK98},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN Notices},
  volume = {33},
  number = {6},
  pages = {17-23},
}

@inproceedings{FindlerF98,
  title = {Modular Object-Oriented Programming with Units and Mixins},
  author = {Robby Findler and Matthew Flatt},
  year = {1998},
  doi = {10.1145/289423.289432},
  url = {http://doi.acm.org/10.1145/289423.289432},
  tags = {object-oriented programming, meta programming, programming, subject-oriented programming, Meta-Environment, feature-oriented programming, meta-objects},
  researchr = {https://researchr.org/publication/FindlerF98},
  cites = {0},
  citedby = {0},
  pages = {94-104},
  booktitle = {Proceedings of the third ACM SIGPLAN international conference on Functional programming},
  editor = {Matthias Felleisen and Paul Hudak and Christian Queinnec},
  address = {Baltimore, Maryland, United States},
  publisher = {ACM},
}

@book{FelleisenFindlerFlatt2009,
  title = {Semantics Engineering with PLT Redex},
  author = {Matthias Felleisen and Robby Findler and Matthew Flatt},
  year = {2009},
  tags = {PLT Redex, programming languages, semantics, meta programming, meta-model, modeling language, modeling, language engineering, software language engineering, language modeling, testing, software engineering, model-driven engineering, debugging, information models, programming, Meta-Environment, abstract machine, grammar},
  researchr = {https://researchr.org/publication/FelleisenFindlerFlatt2009},
  cites = {0},
  citedby = {0},
  publisher = {MIT Press},
}

@article{FlattP07,
  title = {Preface},
  author = {Matthew Flatt and Benjamin C. Pierce},
  year = {2007},
  doi = {10.1017/S0956796807006454},
  url = {http://dx.doi.org/10.1017/S0956796807006454},
  tags = {C++},
  researchr = {https://researchr.org/publication/FlattP07},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {17},
  number = {4-5},
  pages = {431},
}

@inproceedings{SwaineTDFF10,
  title = {Back to the futures: incremental parallelization of existing sequential runtime systems},
  author = {James Swaine and Kevin Tew and Peter A. Dinda and Robby Findler and Matthew Flatt},
  year = {2010},
  doi = {10.1145/1869459.1869507},
  url = {http://doi.acm.org/10.1145/1869459.1869507},
  tags = {incremental},
  researchr = {https://researchr.org/publication/SwaineTDFF10},
  cites = {0},
  citedby = {0},
  pages = {583-597},
  booktitle = {Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010},
  editor = {William R. Cook and Siobhán Clarke and Martin C. Rinard},
  address = {Reno/Tahoe, Nevada},
  publisher = {ACM},
  isbn = {978-1-4503-0203-6},
}

@article{FindlerCFFKSF02,
  title = {DrScheme: a programming environment for Scheme},
  author = {Robby Findler and John Clements and Cormac Flanagan and Matthew Flatt and Shriram Krishnamurthi and Paul Steckler and Matthias Felleisen},
  year = {2002},
  tags = {meta programming, meta-model, programming, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/FindlerCFFKSF02},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {12},
  number = {2},
  pages = {159-182},
}

@inproceedings{RafkindF12,
  title = {Honu: syntactic extension for algebraic notation through enforestation},
  author = {Jon Rafkind and Matthew Flatt},
  year = {2012},
  doi = {10.1145/2371401.2371420},
  url = {http://doi.acm.org/10.1145/2371401.2371420},
  researchr = {https://researchr.org/publication/RafkindF12},
  cites = {0},
  citedby = {0},
  pages = {122-131},
  booktitle = {Generative Programming and Component Engineering, GPCE'12, Dresden, Germany, September 26-28, 2012},
  editor = {Klaus Ostermann and Walter Binder},
  publisher = {ACM},
  isbn = {978-1-4503-1129-8},
}

@article{FindlerF06,
  title = {Slideshow: functional presentations},
  author = {Robby Findler and Matthew Flatt},
  year = {2006},
  doi = {10.1017/S0956796806006010},
  url = {http://dx.doi.org/10.1017/S0956796806006010},
  researchr = {https://researchr.org/publication/FindlerF06},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {16},
  number = {4-5},
  pages = {583-619},
}

@inproceedings{StricklandTFF12,
  title = {Chaperones and impersonators: run-time support for reasonable interposition},
  author = {T. Stephen Strickland and Sam Tobin-Hochstadt and Robby Findler and Matthew Flatt},
  year = {2012},
  doi = {10.1145/2384616.2384685},
  url = {http://doi.acm.org/10.1145/2384616.2384685},
  researchr = {https://researchr.org/publication/StricklandTFF12},
  cites = {0},
  citedby = {0},
  pages = {943-962},
  booktitle = {Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2012, part of SPLASH 2012, Tucson, AZ, USA, October 21-25, 2012},
  editor = {Gary T. Leavens and Matthew B. Dwyer},
  publisher = {ACM},
  isbn = {978-1-4503-1561-6},
}

@inproceedings{CulpepperOF05,
  title = {Syntactic Abstraction in Component Interfaces},
  author = {Ryan Culpepper and Scott Owens and Matthew Flatt},
  year = {2005},
  doi = {10.1007/11561347_25},
  url = {http://dx.doi.org/10.1007/11561347_25},
  tags = {abstraction},
  researchr = {https://researchr.org/publication/CulpepperOF05},
  cites = {0},
  citedby = {0},
  pages = {373-388},
  booktitle = {Generative Programming and Component Engineering, 4th International Conference, GPCE 2005},
  editor = {Robert Glück and Michael R. Lowry},
  volume = {3676},
  series = {Lecture Notes in Computer Science},
  address = {Tallinn, Estonia},
  publisher = {Springer},
  isbn = {3-540-29138-5},
}

@article{Flatt12,
  title = {Creating languages in Racket},
  author = {Matthew Flatt},
  year = {2012},
  doi = {10.1145/2063176.2063195},
  url = {http://doi.acm.org/10.1145/2063176.2063195},
  researchr = {https://researchr.org/publication/Flatt12},
  cites = {0},
  citedby = {0},
  journal = {Communications of the ACM},
  volume = {55},
  number = {1},
  pages = {48-56},
}

@article{FlattCDF12,
  title = {Macros that Work Together - Compile-time bindings, partial expansion, and definition contexts},
  author = {Matthew Flatt and Ryan Culpepper and David Darais and Robby Findler},
  year = {2012},
  doi = {10.1017/S0956796812000093},
  url = {http://dx.doi.org/10.1017/S0956796812000093},
  researchr = {https://researchr.org/publication/FlattCDF12},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {22},
  number = {2},
  pages = {181-216},
}

@inproceedings{FlattBF09,
  title = {Scribble: closing the book on ad hoc documentation tools},
  author = {Matthew Flatt and Eli Barzilay and Robby Findler},
  year = {2009},
  doi = {10.1145/1596550.1596569},
  url = {http://doi.acm.org/10.1145/1596550.1596569},
  researchr = {https://researchr.org/publication/FlattBF09},
  cites = {0},
  citedby = {0},
  pages = {109-120},
  booktitle = {Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009},
  editor = {Graham Hutton and Andrew P. Tolmach},
  publisher = {ACM},
  isbn = {978-1-60558-332-7},
}

@inproceedings{FlattKF99,
  title = {A Programmer s Reduction Semantics for Classes and Mixins},
  author = {Matthew Flatt and Shriram Krishnamurthi and Matthias Felleisen},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1523/15230241.htm},
  tags = {semantics, Java},
  researchr = {https://researchr.org/publication/FlattKF99},
  cites = {0},
  citedby = {0},
  pages = {241-269},
  booktitle = {Formal Syntax and Semantics of Java},
  editor = {Jim Alves-Foss},
  volume = {1523},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66158-1},
}

@inproceedings{OwensF06,
  title = {From structures and functors to modules and units},
  author = {Scott Owens and Matthew Flatt},
  year = {2006},
  doi = {10.1145/1159803.1159815},
  url = {http://doi.acm.org/10.1145/1159803.1159815},
  researchr = {https://researchr.org/publication/OwensF06},
  cites = {0},
  citedby = {0},
  pages = {87-98},
  booktitle = {Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006},
  editor = {John H. Reppy and Julia L. Lawall},
  publisher = {ACM},
  isbn = {1-59593-309-3},
}

@inproceedings{Tobin-HochstadtSCFF11,
  title = {Languages as libraries},
  author = {Sam Tobin-Hochstadt and Vincent St-Amour and Ryan Culpepper and Matthew Flatt and Matthias Felleisen},
  year = {2011},
  doi = {10.1145/1993498.1993514},
  url = {http://doi.acm.org/10.1145/1993498.1993514},
  researchr = {https://researchr.org/publication/Tobin-HochstadtSCFF11},
  cites = {0},
  citedby = {0},
  pages = {132-141},
  booktitle = {Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011},
  editor = {Mary W. Hall and David A. Padua},
  publisher = {ACM},
  isbn = {978-1-4503-0663-8},
}

@inproceedings{FelleisenFFK09,
  title = {A functional I/O system or, fun for freshman kids},
  author = {Matthias Felleisen and Robby Findler and Matthew Flatt and Shriram Krishnamurthi},
  year = {2009},
  doi = {10.1145/1596550.1596561},
  url = {http://doi.acm.org/10.1145/1596550.1596561},
  researchr = {https://researchr.org/publication/FelleisenFFK09},
  cites = {0},
  citedby = {0},
  pages = {47-58},
  booktitle = {Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009},
  editor = {Graham Hutton and Andrew P. Tolmach},
  publisher = {ACM},
  isbn = {978-1-60558-332-7},
}

@inproceedings{LiF15-7,
  title = {Medic: metaprogramming and trace-oriented debugging},
  author = {Xiangqi Li and Matthew Flatt},
  year = {2015},
  doi = {10.1145/2846656.2846658},
  url = {http://doi.acm.org/10.1145/2846656.2846658},
  researchr = {https://researchr.org/publication/LiF15-7},
  cites = {0},
  citedby = {0},
  pages = {7-14},
  booktitle = {Proceedings of the Workshop on Future Programming, FPW@SPLASH 2015, Pittsburgh, PA, USA, October 26, 2015},
  editor = {Jonathan Edwards and Richard P. Gabriel and Alex Payne},
  publisher = {ACM},
  isbn = {978-1-4503-3905-6},
}

@inproceedings{St-AmourTFF12,
  title = {Typing the Numeric Tower},
  author = {Vincent St-Amour and Sam Tobin-Hochstadt and Matthew Flatt and Matthias Felleisen},
  year = {2012},
  doi = {10.1007/978-3-642-27694-1_21},
  url = {http://dx.doi.org/10.1007/978-3-642-27694-1_21},
  researchr = {https://researchr.org/publication/St-AmourTFF12},
  cites = {0},
  citedby = {0},
  pages = {289-303},
  booktitle = {Practical Aspects of Declarative Languages - 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings},
  editor = {Claudio V. Russo and Neng-Fa Zhou},
  volume = {7149},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-27693-4},
}

@inproceedings{AtkinsonFL10,
  title = {ABI compatibility through a customizable language},
  author = {Kevin Atkinson and Matthew Flatt and Gary Lindstrom},
  year = {2010},
  doi = {10.1145/1868294.1868316},
  url = {http://doi.acm.org/10.1145/1868294.1868316},
  researchr = {https://researchr.org/publication/AtkinsonFL10},
  cites = {0},
  citedby = {0},
  pages = {147-156},
  booktitle = {Generative Programming And Component Engineering, Proceedings of the Ninth International Conference on Generative Programming and Component Engineering, GPCE 2010, Eindhoven, The Netherlands, October 10-13, 2010},
  editor = {Eelco Visser and Jaakko Järvi},
  publisher = {ACM},
  isbn = {978-1-4503-0154-1},
}

@inproceedings{RoyAFM03,
  title = {The role of language paradigms in teaching programming},
  author = {Peter Van Roy and Joe Armstrong and Matthew Flatt and Boris Magnusson},
  year = {2003},
  doi = {10.1145/611892.611908},
  url = {http://doi.acm.org/10.1145/611892.611908},
  tags = {programming languages, programming paradigms, teaching, programming},
  researchr = {https://researchr.org/publication/RoyAFM03},
  cites = {0},
  citedby = {0},
  pages = {269-270},
  booktitle = {Proceedings of the 34th SIGCSE Technical Symposium on Computer Science Education, 2003, Reno, Nevada, USA, February 19-23, 2003},
  editor = {Scott Grissom and Deborah Knox and Dan Joyce and Wanda Dann},
  publisher = {ACM},
  isbn = {1-58113-648-X},
}

@inproceedings{SwaineFSFF12,
  title = {Seeing the futures: profiling shared-memory parallel racket},
  author = {James Swaine and Burke Fetscher and Vincent St-Amour and Robby Findler and Matthew Flatt},
  year = {2012},
  doi = {10.1145/2364474.2364485},
  url = {http://doi.acm.org/10.1145/2364474.2364485},
  researchr = {https://researchr.org/publication/SwaineFSFF12},
  cites = {0},
  citedby = {0},
  pages = {73-82},
  booktitle = {Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing, Copenhagen, Denmark, FHPC@ICFP 2012, September 9-15, 2012},
  editor = {Andrzej Filinski and Clemens Grelck},
  publisher = {ACM},
  isbn = {978-1-4503-1577-7},
}

@inproceedings{FlattFF06,
  title = {Scheme with Classes, Mixins, and Traits},
  author = {Matthew Flatt and Robby Findler and Matthias Felleisen},
  year = {2006},
  doi = {10.1007/11924661_17},
  url = {http://dx.doi.org/10.1007/11924661_17},
  researchr = {https://researchr.org/publication/FlattFF06},
  cites = {0},
  citedby = {0},
  pages = {270-289},
  booktitle = {Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings},
  editor = {Naoki Kobayashi},
  volume = {4279},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-48937-1},
}

@book{plt-redex2009,
  title = {Semantics Engineering with PLT Redex},
  author = {Matthias Felleisen and Robby Findler and Matthew Flatt},
  year = {2009},
  url = {http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=11885},
  tags = {PLT Redex, semantics},
  researchr = {https://researchr.org/publication/plt-redex2009},
  cites = {0},
  citedby = {0},
  publisher = {MIT Press},
  isbn = {978-0-262-06275-6},
}

@inproceedings{RafkindWRF09,
  title = {Precise garbage collection for C},
  author = {Jon Rafkind and Adam Wick and John Regehr and Matthew Flatt},
  year = {2009},
  doi = {10.1145/1542431.1542438},
  url = {http://doi.acm.org/10.1145/1542431.1542438},
  tags = {C++},
  researchr = {https://researchr.org/publication/RafkindWRF09},
  cites = {0},
  citedby = {0},
  pages = {39-48},
  booktitle = {Proceedings of the 8th International Symposium on Memory Management, ISMM 2009, Dublin, Ireland, June 19-20, 2009},
  editor = {Hillel Kolodner and Guy L. Steele Jr.},
  publisher = {ACM},
  isbn = {978-1-60558-347-1},
}

@inproceedings{TewSFFD11,
  title = {Places: adding message-passing parallelism to racket},
  author = {Kevin Tew and James Swaine and Matthew Flatt and Robby Findler and Peter A. Dinda},
  year = {2011},
  doi = {10.1145/2047849.2047860},
  url = {http://doi.acm.org/10.1145/2047849.2047860},
  researchr = {https://researchr.org/publication/TewSFFD11},
  cites = {0},
  citedby = {0},
  pages = {85-96},
  booktitle = {Proceedings of the 7th Symposium on Dynamic Languages, DLS 2011, October 24, 2011, Portland, OR, USA},
  editor = {Theo D'Hondt},
  publisher = {ACM},
  isbn = {978-1-4503-0939-4},
}

@inproceedings{ClementsFF01,
  title = {Modeling an Algebraic Stepper},
  author = {John Clements and Matthew Flatt and Matthias Felleisen},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2028/20280320.htm},
  tags = {meta-model, modeling,  algebra, Meta-Environment},
  researchr = {https://researchr.org/publication/ClementsFF01},
  cites = {0},
  citedby = {0},
  pages = {320-334},
  booktitle = {Programming Languages and Systems, 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings},
  editor = {David Sands},
  volume = {2028},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41862-8},
}

@inproceedings{KleinFF10,
  title = {Random testing for higher-order, stateful programs},
  author = {Casey Klein and Matthew Flatt and Robby Findler},
  year = {2010},
  doi = {10.1145/1869459.1869505},
  url = {http://doi.acm.org/10.1145/1869459.1869505},
  tags = {object-oriented programming, semantics, Java, meta programming, formal semantics, contracts, testing, type system, random testing,  mutable objects, subject-oriented programming, operational semantics, Meta-Environment, systematic-approach, feature-oriented programming, meta-objects},
  researchr = {https://researchr.org/publication/KleinFF10},
  cites = {0},
  citedby = {0},
  pages = {555-566},
  booktitle = {Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010},
  editor = {William R. Cook and Siobhán Clarke and Martin C. Rinard},
  address = {Reno/Tahoe, Nevada},
  publisher = {ACM},
  isbn = {978-1-4503-0203-6},
}

@inproceedings{TakikawaFDFFTF15,
  title = {Towards Practical Gradual Typing},
  author = {Asumu Takikawa and Daniel Feltey and Earl Dean and Matthew Flatt and Robby Findler and Sam Tobin-Hochstadt and Matthias Felleisen},
  year = {2015},
  doi = {10.4230/LIPIcs.ECOOP.2015.4},
  url = {http://dx.doi.org/10.4230/LIPIcs.ECOOP.2015.4},
  researchr = {https://researchr.org/publication/TakikawaFDFFTF15},
  cites = {0},
  citedby = {0},
  pages = {4-27},
  booktitle = {29th European Conference on Object-Oriented Programming, ECOOP 2015, July 5-10, 2015, Prague, Czech Republic},
  editor = {John Tang Boyland},
  volume = {37},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  isbn = {978-3-939897-86-6},
}

@inproceedings{FlattYFF07,
  title = {Adding delimited and composable control to a production programming environment},
  author = {Matthew Flatt and Gang Yu and Robby Findler and Matthias Felleisen},
  year = {2007},
  doi = {10.1145/1291151.1291178},
  url = {http://doi.acm.org/10.1145/1291151.1291178},
  tags = {meta programming, meta-model, programming, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/FlattYFF07},
  cites = {0},
  citedby = {0},
  pages = {165-176},
  booktitle = {Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007},
  editor = {Ralf Hinze and Norman Ramsey},
  publisher = {ACM},
  isbn = {978-1-59593-815-2},
}

@inproceedings{ReidFSLE00,
  title = {Knit: Component Composition for Systems Software},
  author = {Alastair Reid and Matthew Flatt and Leigh Stoller and Jay Lepreau and Eric Eide},
  year = {2000},
  tags = {software components, composition, software component},
  researchr = {https://researchr.org/publication/ReidFSLE00},
  cites = {0},
  citedby = {0},
  pages = {347-360},
  booktitle = {OSDI},
}

@inproceedings{TewSFFD13,
  title = {Distributed Places},
  author = {Kevin Tew and James Swaine and Matthew Flatt and Robby Findler and Peter A. Dinda},
  year = {2013},
  doi = {10.1007/978-3-642-45340-3_3},
  url = {http://dx.doi.org/10.1007/978-3-642-45340-3_3},
  researchr = {https://researchr.org/publication/TewSFFD13},
  cites = {0},
  citedby = {0},
  pages = {34-57},
  booktitle = {Trends in Functional Programming - 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers},
  editor = {Jay McCarthy},
  volume = {8322},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-45339-7},
}

@article{KleinFF12,
  title = {The Racket virtual machine and randomized testing},
  author = {Casey Klein and Matthew Flatt and Robby Findler},
  year = {2012},
  doi = {10.1007/s10990-013-9091-1},
  url = {http://dx.doi.org/10.1007/s10990-013-9091-1},
  researchr = {https://researchr.org/publication/KleinFF12},
  cites = {0},
  citedby = {0},
  journal = {Higher-Order and Symbolic Computation},
  volume = {25},
  number = {2-4},
  pages = {209-253},
}

@inproceedings{FlattF98,
  title = {Units: Cool Modules for HOT Languages},
  author = {Matthew Flatt and Matthias Felleisen},
  year = {1998},
  researchr = {https://researchr.org/publication/FlattF98},
  cites = {0},
  citedby = {0},
  pages = {236-248},
  booktitle = {PLDI},
}

@inproceedings{581486,
  title = {Composable and compilable macros:: you want it when?},
  author = {Matthew Flatt},
  year = {2002},
  doi = {10.1145/581478.581486},
  url = {http://doi.acm.org/10.1145/581478.581486},
  tags = {macros, compiler},
  researchr = {https://researchr.org/publication/581486},
  cites = {0},
  citedby = {0},
  booktitle = {ICFP '02: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming},
  address = {New York, NY, USA},
  publisher = {ACM},
  isbn = {1-58113-487-8},
}

@inproceedings{MooreDFFC16,
  title = {Extensible access control with authorization contracts},
  author = {Scott Moore and Christos Dimoulas and Robby Findler and Matthew Flatt and Stephen Chong},
  year = {2016},
  doi = {10.1145/2983990.2984021},
  url = {http://doi.acm.org/10.1145/2983990.2984021},
  researchr = {https://researchr.org/publication/MooreDFFC16},
  cites = {0},
  citedby = {0},
  pages = {214-233},
  booktitle = {Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2016, part of SPLASH 2016, Amsterdam, The Netherlands, October 30 - November 4, 2016},
  editor = {Eelco Visser and Yannis Smaragdakis},
  publisher = {ACM},
  isbn = {978-1-4503-4444-9},
}

@inproceedings{FindlerF04,
  title = {Slideshow: functional presentations},
  author = {Robby Findler and Matthew Flatt},
  year = {2004},
  doi = {10.1145/1016850.1016880},
  url = {http://doi.acm.org/10.1145/1016850.1016880},
  researchr = {https://researchr.org/publication/FindlerF04},
  cites = {0},
  citedby = {0},
  pages = {224-235},
  booktitle = {Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, ICFP 2004, Snow Bird, UT, USA, September 19-21, 2004},
  editor = {Chris Okasaki and Kathleen Fisher},
  publisher = {ACM},
  isbn = {1-58113-905-5},
}

@inproceedings{FlanaganFKWF96,
  title = {Static Debugging: Browsing the Web of Program Invariants},
  author = {Cormac Flanagan and Matthew Flatt and Shriram Krishnamurthi and Stephanie Weirich and Matthias Felleisen},
  year = {1996},
  tags = {debugging},
  researchr = {https://researchr.org/publication/FlanaganFKWF96},
  cites = {0},
  citedby = {0},
  pages = {23-32},
  booktitle = {PLDI},
}
@proceedings{gpce-2014,
  title = {Generative Programming: Concepts and Experiences, GPCE'14, Vasteras, Sweden, September 15-16, 2014},
  year = {2014},
  url = {http://dl.acm.org/citation.cfm?id=2658761},
  researchr = {https://researchr.org/publication/gpce-2014},
  cites = {0},
  citedby = {0},
  booktitle = {Generative Programming: Concepts and Experiences, GPCE'14, Vasteras, Sweden, September 15-16, 2014},
  conference = {GPCE},
  editor = {Ulrik Pagh Schultz and Matthew Flatt},
  publisher = {ACM},
  isbn = {978-1-4503-3161-6},
}

@proceedings{padl-2014,
  title = {Practical Aspects of Declarative Languages - 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings},
  year = {2014},
  doi = {10.1007/978-3-319-04132-2},
  url = {http://dx.doi.org/10.1007/978-3-319-04132-2},
  researchr = {https://researchr.org/publication/padl-2014},
  cites = {0},
  citedby = {0},
  booktitle = {Practical Aspects of Declarative Languages - 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings},
  conference = {PADL},
  editor = {Matthew Flatt and Hai-Feng Guo},
  volume = {8324},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-04131-5},
}