@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 = {GPCE},
}

@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 = {csedu},
  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},
}

@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 = {ICFP},
}

@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 = {GPCE},
}

@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 = {OOPSLA},
}

@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 = {GPCE},
}

@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 = {ENTCS},
  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 = {POPL},
}

@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 = {JFP},
  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 = {POPL},
}

@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 = {OOPSLA},
}

@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 = {RTA},
}

@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 = {jmlc},
}

@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 = {POPL},
}

@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 = {plilp},
}

@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 = {OOPSLA},
}

@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 = {iwmm},
}

@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 = {PLDI},
}

@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 = {SNAPL},
}

@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},
  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 = {ICFP},
}

@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 = {JFP},
  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 = {OOPSLA},
}

@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 = {JFP},
  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 = {GPCE},
}

@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 = {JFP},
  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 = {OOPSLA},
}

@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 = {GPCE},
}

@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 = {CACM},
  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 = {JFP},
  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 = {ICFP},
}

@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 = {java},
}

@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 = {ICFP},
}

@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 = {PLDI},
}

@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 = {ICFP},
}

@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 = {OOPSLA},
}

@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 = {PADL},
}

@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 = {GPCE},
}

@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 = {sigcse},
}

@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 = {ICFP},
}

@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 = {aplas},
}

@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 = {iwmm},
}

@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 = {DLS},
}

@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 = {ESOP},
}

@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 = {OOPSLA},
}

@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 = {ECOOP},
}

@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 = {ICFP},
}

@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 = {sfp},
}

@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 = {lisp},
  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},
}

@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 = {OOPSLA},
}

@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 = {ICFP},
}

@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},
}