@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{Tobin-Hochstadt17,
  title = {Migratory Typing: Ten Years Later},
  author = {Sam Tobin-Hochstadt and Matthias Felleisen and Robby Findler and Matthew Flatt and Ben Greenman and Andrew M. Kent and Vincent St-Amour and T. Stephen Strickland and Asumu Takikawa},
  year = {2017},
  doi = {10.4230/LIPIcs.SNAPL.2017.17},
  url = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.17},
  researchr = {https://researchr.org/publication/Tobin-Hochstadt17},
  cites = {0},
  citedby = {0},
  booktitle = {SNAPL},
}

@article{FindlerF13,
  title = {ICFP 2002: Contracts for higher-order functions},
  author = {Robby Findler and Matthias Felleisen},
  year = {2013},
  doi = {10.1145/2502508.2502521},
  url = {http://doi.acm.org/10.1145/2502508.2502521},
  researchr = {https://researchr.org/publication/FindlerF13},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN},
  volume = {48},
  number = {4S},
  pages = {34-45},
}

@article{FelleisenFFKBMT18,
  title = {A programmable programming language},
  author = {Matthias Felleisen and Robby Findler and Matthew Flatt and Shriram Krishnamurthi and Eli Barzilay and Jay A. McCarthy and Sam Tobin-Hochstadt},
  year = {2018},
  doi = {10.1145/3127323},
  url = {http://doi.acm.org/10.1145/3127323},
  researchr = {https://researchr.org/publication/FelleisenFFKBMT18},
  cites = {0},
  citedby = {0},
  journal = {CACM},
  volume = {61},
  number = {3},
  pages = {62-71},
}

@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{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{FindlerB06,
  title = {Contracts as Pairs of Projections},
  author = {Robby Findler and Matthias Blume},
  year = {2006},
  doi = {10.1007/11737414_16},
  url = {http://dx.doi.org/10.1007/11737414_16},
  tags = {contracts},
  researchr = {https://researchr.org/publication/FindlerB06},
  cites = {0},
  citedby = {0},
  pages = {226-241},
  booktitle = {FLOPS},
}

@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{DimoulasFF13,
  title = {Option contracts},
  author = {Christos Dimoulas and Robby Findler and Matthias Felleisen},
  year = {2013},
  doi = {10.1145/2509136.2509548},
  url = {http://doi.acm.org/10.1145/2509136.2509548},
  researchr = {https://researchr.org/publication/DimoulasFF13},
  cites = {0},
  citedby = {0},
  pages = {475-494},
  booktitle = {OOPSLA},
}

@inproceedings{FetscherCPHF15,
  title = {Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System},
  author = {Burke Fetscher and Koen Claessen and Michal H. Palka and John Hughes and Robby Findler},
  year = {2015},
  doi = {10.1007/978-3-662-46669-8_16},
  url = {http://dx.doi.org/10.1007/978-3-662-46669-8_16},
  researchr = {https://researchr.org/publication/FetscherCPHF15},
  cites = {0},
  citedby = {0},
  pages = {383-405},
  booktitle = {ESOP},
}

@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{MeunierFSW05,
  title = {Selectors Make Set-Based Analysis Too Hard},
  author = {Philippe Meunier and Robby Findler and Paul Steckler and Mitchell Wand},
  year = {2005},
  doi = {10.1007/s10990-005-4876-5},
  url = {http://dx.doi.org/10.1007/s10990-005-4876-5},
  tags = {rule-based, analysis},
  researchr = {https://researchr.org/publication/MeunierFSW05},
  cites = {0},
  citedby = {0},
  journal = {lisp},
  volume = {18},
  number = {3-4},
  pages = {245-269},
}

@inproceedings{MatthewsF07,
  title = {Operational semantics for multi-language programs},
  author = {Jacob Matthews and Robby Findler},
  year = {2007},
  doi = {10.1145/1190216.1190220},
  url = {http://doi.acm.org/10.1145/1190216.1190220},
  tags = {programming languages, object-oriented programming, semantics, Scala, meta programming, contracts, meta-model, modeling language, language modeling, composition, design research, language design, Haskell, type system, object-role modeling, programming, operational semantics, Meta-Environment, design, feature-oriented programming},
  researchr = {https://researchr.org/publication/MatthewsF07},
  cites = {0},
  citedby = {1},
  pages = {3-10},
  booktitle = {POPL},
}

@article{MatthewsFGKF04,
  title = {Automatically Restructuring Programs for the Web},
  author = {Jacob Matthews and Robby Findler and Paul T. Graunke and Shriram Krishnamurthi and Matthias Felleisen},
  year = {2004},
  url = {http://springerlink.metapress.com/index/10.1023/B:AUSE.0000038936.09009.69},
  researchr = {https://researchr.org/publication/MatthewsFGKF04},
  cites = {0},
  citedby = {0},
  journal = {ASE},
  volume = {11},
  number = {4},
  pages = {337-364},
}

@techreport{drracket,
  title = {{DrRacket}: Programming Environment},
  author = {Robby Findler and  PLT},
  year = {2010},
  note = {http://racket-lang.org/tr2/},
  researchr = {https://researchr.org/publication/drracket},
  cites = {0},
  citedby = {0},
  institution = {PLT Design Inc.},
  number = {PLT-TR-2010-2},
}

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

@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{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{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{CooperGKMF13,
  title = {Teaching garbage collection without implementing compiler or interpreters},
  author = {Gregory H. Cooper and Arjun Guha and Shriram Krishnamurthi and Jay A. McCarthy and Robby Findler},
  year = {2013},
  doi = {10.1145/2445196.2445314},
  url = {http://doi.acm.org/10.1145/2445196.2445314},
  researchr = {https://researchr.org/publication/CooperGKMF13},
  cites = {0},
  citedby = {0},
  pages = {385-390},
  booktitle = {sigcse},
}

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

@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{FindlerGR07,
  title = {Lazy Contract Checking for Immutable Data Structures},
  author = {Robby Findler and Shu-yu Guo and Anne Rogers},
  year = {2007},
  doi = {10.1007/978-3-540-85373-2_7},
  url = {http://dx.doi.org/10.1007/978-3-540-85373-2_7},
  tags = {laziness, contracts, data-flow},
  researchr = {https://researchr.org/publication/FindlerGR07},
  cites = {0},
  citedby = {0},
  pages = {111-128},
  booktitle = {IFL},
}

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

@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{GraunkeFKF03,
  title = {Modeling Web Interactions},
  author = {Paul T. Graunke and Robby Findler and Shriram Krishnamurthi and Matthias Felleisen},
  year = {2003},
  url = {http://link.springer.de/link/service/series/0558/bibs/2618/26180238.htm},
  tags = {meta-model, modeling, Meta-Environment},
  researchr = {https://researchr.org/publication/GraunkeFKF03},
  cites = {0},
  citedby = {0},
  pages = {238-252},
  booktitle = {ESOP},
}

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

@inproceedings{Findler14,
  title = {Behavioral software contracts},
  author = {Robby Findler},
  year = {2014},
  doi = {10.1145/2628136.2632855},
  url = {http://doi.acm.org/10.1145/2628136.2632855},
  researchr = {https://researchr.org/publication/Findler14},
  cites = {0},
  citedby = {0},
  pages = {137-138},
  booktitle = {ICFP},
}

@inproceedings{DimoulasNFF16,
  title = {Oh Lord, please don't let contracts be misunderstood (functional pearl)},
  author = {Christos Dimoulas and Max S. New and Robby Findler and Matthias Felleisen},
  year = {2016},
  doi = {10.1145/2951913.2951930},
  url = {http://doi.acm.org/10.1145/2951913.2951930},
  researchr = {https://researchr.org/publication/DimoulasNFF16},
  cites = {0},
  citedby = {0},
  pages = {117-131},
  booktitle = {ICFP},
}

@inproceedings{GraunkeFKF01,
  title = {Automatically Restructuring Programs for the We},
  author = {Paul T. Graunke and Robby Findler and Shriram Krishnamurthi and Matthias Felleisen},
  year = {2001},
  url = {http://csdl.computer.org/comp/proceedings/ase/2001/1426/00/14260211abs.htm},
  researchr = {https://researchr.org/publication/GraunkeFKF01},
  cites = {0},
  citedby = {0},
  pages = {211-222},
  booktitle = {ASE},
}

@article{SinghF14,
  title = {Special Issue Dedicated to ICFP 2012: Editorial},
  author = {Satnam Singh and Robby Findler},
  year = {2014},
  doi = {10.1017/S0956796814000124},
  url = {http://dx.doi.org/10.1017/S0956796814000124},
  researchr = {https://researchr.org/publication/SinghF14},
  cites = {0},
  citedby = {0},
  journal = {JFP},
  volume = {24},
  number = {2-3},
  pages = {131-132},
}

@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{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{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{FindlerLF01,
  title = {Behavioral contracts and behavioral subtyping},
  author = {Robby Findler and Mario Latendresse and Matthias Felleisen},
  year = {2001},
  doi = {10.1145/503209.503240},
  url = {http://doi.acm.org/10.1145/503209.503240},
  tags = {contracts, subtyping},
  researchr = {https://researchr.org/publication/FindlerLF01},
  cites = {0},
  citedby = {0},
  pages = {229-236},
  booktitle = {ESEC/FSE},
}

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

@article{St-AmourFFYF17,
  title = {Herbarium Racketensis: a stroll through the woods (functional pearl)},
  author = {Vincent St-Amour and Daniel Feltey and Spencer P. Florence and Shu-Hung You and Robby Findler},
  year = {2017},
  doi = {10.1145/3110245},
  url = {http://doi.acm.org/10.1145/3110245},
  researchr = {https://researchr.org/publication/St-AmourFFYF17},
  cites = {0},
  citedby = {0},
  journal = {PACMPL},
  volume = {1},
  number = {ICFP},
}

@inproceedings{MeunierFF06,
  title = {Modular set-based analysis from contracts},
  author = {Philippe Meunier and Robby Findler and Matthias Felleisen},
  year = {2006},
  doi = {10.1145/1111037.1111057},
  url = {http://doi.acm.org/10.1145/1111037.1111057},
  tags = {rule-based, contracts, analysis},
  researchr = {https://researchr.org/publication/MeunierFF06},
  cites = {0},
  citedby = {0},
  pages = {218-231},
  booktitle = {POPL},
}

@inproceedings{AhmedFSW11,
  title = {Blame for all},
  author = {Amal Ahmed and Robby Findler and Jeremy G. Siek and Philip Wadler},
  year = {2011},
  doi = {10.1145/1926385.1926409},
  url = {http://doi.acm.org/10.1145/1926385.1926409},
  researchr = {https://researchr.org/publication/AhmedFSW11},
  cites = {0},
  citedby = {0},
  pages = {201-214},
  booktitle = {POPL},
}

@inproceedings{KleinMJF11,
  title = {A Semantics for Context-Sensitive Reduction Semantics},
  author = {Casey Klein and Jay A. McCarthy and Steven Jaconette and Robby Findler},
  year = {2011},
  doi = {10.1007/978-3-642-25318-8_27},
  url = {http://dx.doi.org/10.1007/978-3-642-25318-8_27},
  researchr = {https://researchr.org/publication/KleinMJF11},
  cites = {0},
  citedby = {0},
  pages = {369-383},
  booktitle = {aplas},
}

@inproceedings{FindlerF01,
  title = {Contract Soundness for Object-Oriented Languages},
  author = {Robby Findler and Matthias Felleisen},
  year = {2001},
  tags = {contracts, meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/FindlerF01},
  cites = {0},
  citedby = {0},
  pages = {1-15},
  booktitle = {OOPSLA},
}

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

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

@inproceedings{KleinFindler2009,
  title = {Randomized Testing in PLT Redex},
  author = {Casey Klein and Robby Findler},
  year = {2009},
  tags = {PLT Redex, programming languages, semantics, test coverage, meta programming, case study, meta-model, modeling language, language modeling, testing, reviewing, random testing, operational semantics, Meta-Environment, search, coverage, domain-specific language},
  researchr = {https://researchr.org/publication/KleinFindler2009},
  cites = {0},
  citedby = {0},
  booktitle = {Workshop on Scheme and Functional Programming (SFP)},
}

@article{Findler06,
  title = {Scheme and Functional Programming 2006: paper abstracts},
  author = {Robby Findler},
  year = {2006},
  doi = {10.1145/1163566.1163568},
  url = {http://doi.acm.org/10.1145/1163566.1163568},
  tags = {functional programming, programming},
  researchr = {https://researchr.org/publication/Findler06},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN},
  volume = {41},
  number = {8},
  pages = {6-9},
}

@inproceedings{GuhaMFK07,
  title = {Relationally-parametric polymorphic contracts},
  author = {Arjun Guha and Jacob Matthews and Robby Findler and Shriram Krishnamurthi},
  year = {2007},
  doi = {10.1145/1297081.1297089},
  url = {http://doi.acm.org/10.1145/1297081.1297089},
  tags = {contracts},
  researchr = {https://researchr.org/publication/GuhaMFK07},
  cites = {0},
  citedby = {0},
  pages = {29-40},
  booktitle = {DLS},
}

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

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

@article{NewFFM17,
  title = {Fair enumeration combinators},
  author = {Max S. New and Burke Fetscher and Robby Findler and Jay A. McCarthy},
  year = {2017},
  doi = {10.1017/S0956796817000107},
  url = {https://doi.org/10.1017/S0956796817000107},
  researchr = {https://researchr.org/publication/NewFFM17},
  cites = {0},
  citedby = {0},
  journal = {JFP},
  volume = {27},
}

@inproceedings{DimoulasFFF11,
  title = {Correct blame for contracts: no more scapegoating},
  author = {Christos Dimoulas and Robby Findler and Cormac Flanagan and Matthias Felleisen},
  year = {2011},
  doi = {10.1145/1926385.1926410},
  url = {http://doi.acm.org/10.1145/1926385.1926410},
  tags = {contracts},
  researchr = {https://researchr.org/publication/DimoulasFFF11},
  cites = {0},
  citedby = {0},
  pages = {215-226},
  booktitle = {POPL},
}

@inproceedings{WadlerF09,
  title = {Well-Typed Programs Can t Be Blamed},
  author = {Philip Wadler and Robby Findler},
  year = {2009},
  doi = {10.1007/978-3-642-00590-9_1},
  url = {http://dx.doi.org/10.1007/978-3-642-00590-9_1},
  researchr = {https://researchr.org/publication/WadlerF09},
  cites = {0},
  citedby = {0},
  pages = {1-16},
  booktitle = {ESOP},
}

@inproceedings{McCarthyFNFF16,
  title = {A Coq Library for Internal Verification of Running-Times},
  author = {Jay A. McCarthy and Burke Fetscher and Max S. New and Daniel Feltey and Robby Findler},
  year = {2016},
  doi = {10.1007/978-3-319-29604-3_10},
  url = {http://dx.doi.org/10.1007/978-3-319-29604-3_10},
  researchr = {https://researchr.org/publication/McCarthyFNFF16},
  cites = {0},
  citedby = {0},
  pages = {144-162},
  booktitle = {FLOPS},
}

@article{MatthewsF09,
  title = {Operational semantics for multi-language programs},
  author = {Jacob Matthews and Robby Findler},
  year = {2009},
  doi = {10.1145/1498926.1498930},
  url = {http://doi.acm.org/10.1145/1498926.1498930},
  tags = {programming languages, object-oriented programming, semantics, Scala, translation, meta programming, program verification, type soundness, contracts, meta-model, modeling language, language modeling, composition, design research, language design, type system, termination, object-role modeling, programming, subject-oriented programming, operational semantics, context-aware, Meta-Environment, design, feature-oriented programming},
  researchr = {https://researchr.org/publication/MatthewsF09},
  cites = {0},
  citedby = {0},
  journal = {TOPLAS},
  volume = {31},
  number = {3},
}

@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{MatthewsF08,
  title = {An operational semantics for Scheme},
  author = {Jacob Matthews and Robby Findler},
  year = {2008},
  doi = {10.1017/S0956796807006478},
  url = {http://dx.doi.org/10.1017/S0956796807006478},
  tags = {PLT Redex, semantics, completeness, denotational semantics, meta-model, modeling language, modeling, language modeling, testing, graph-rewriting, writing, operational semantics, Meta-Environment, rewriting, domain-specific language},
  researchr = {https://researchr.org/publication/MatthewsF08},
  cites = {0},
  citedby = {0},
  journal = {JFP},
  volume = {18},
  number = {1},
  pages = {47-86},
}

@inproceedings{KuanMF07,
  title = {A Rewriting Semantics for Type Inference},
  author = {George Kuan and David MacQueen and Robby Findler},
  year = {2007},
  doi = {10.1007/978-3-540-71316-6_29},
  url = {http://dx.doi.org/10.1007/978-3-540-71316-6_29},
  tags = {semantics, type inference, incremental execution, meta programming, model checking, formal semantics, meta-model, term rewriting, type system, graph-rewriting, type checking,  algebra, programming, operational semantics, Meta-Environment, rewriting, incremental},
  researchr = {https://researchr.org/publication/KuanMF07},
  cites = {0},
  citedby = {0},
  pages = {426-440},
  booktitle = {ESOP},
}

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

@inproceedings{FindlerF02,
  title = {Contracts for higher-order functions},
  author = {Robby Findler and Matthias Felleisen},
  year = {2002},
  doi = {10.1145/581478.581484},
  url = {http://doi.acm.org/10.1145/581478.581484},
  tags = {contracts},
  researchr = {https://researchr.org/publication/FindlerF02},
  cites = {0},
  citedby = {0},
  pages = {48-59},
  booktitle = {ICFP},
}

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