@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{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 = {2nd Summit on Advances in Programming Languages, SNAPL 2017, May 7-10, 2017, Asilomar, CA, USA},
  editor = {Benjamin S. Lerner and Rastislav Bodík and Shriram Krishnamurthi},
  volume = {71},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  isbn = {978-3-95977-032-3},
}

@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 Notices},
  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 = {Communications of the ACM},
  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 = {Journal of Functional Programming},
  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 = {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{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 = {Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
  editor = {Masami Hagiya and Philip Wadler},
  volume = {3945},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-33438-6},
}

@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{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 = {Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages \& Applications, OOPSLA 2013, part of SPLASH 2013, Indianapolis, IN, USA, October 26-31, 2013},
  editor = {Antony L. Hosking and Patrick Th. Eugster and Cristina V. Lopes},
  publisher = {ACM},
  isbn = {978-1-4503-2374-1},
}

@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 = {Programming Languages and Systems - 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings},
  editor = {Jan Vitek},
  volume = {9032},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-662-46668-1},
}

@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{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 = {Higher-Order and Symbolic Computation},
  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 = {Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007},
  editor = {Martin Hofmann and Matthias Felleisen},
  publisher = {ACM},
  isbn = {1-59593-575-4},
}

@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 = {Automated Software Engineering},
  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 = {Journal of Functional Programming},
  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 Notices},
  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 = {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{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{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 = {The 44th ACM Technical Symposium on Computer Science Education, SIGCSE '13, Denver, CO, USA, March 6-9, 2013},
  editor = {Tracy Camp and Paul T. Tymann and J. D. Dougherty and Kris Nagel},
  publisher = {ACM},
  isbn = {978-1-4503-1868-6},
}

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

@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{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 = {Implementation and Application of Functional Languages, 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers},
  editor = {Olaf Chitil and Zoltán Horváth and Viktória Zsók},
  volume = {5083},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-85372-5},
}

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

@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{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 = {Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings},
  editor = {Pierpaolo Degano},
  volume = {2618},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-00886-1},
}

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

@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 = {Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, Gothenburg, Sweden, September 1-3, 2014},
  editor = {Johan Jeuring and Manuel M. T. Chakravarty},
  publisher = {ACM},
  isbn = {978-1-4503-2873-9},
}

@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 = {Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016},
  editor = {Jacques Garrigue and Gabriele Keller and Eijiro Sumii},
  publisher = {ACM},
  isbn = {978-1-4503-4219-3},
}

@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 = {16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1426-X},
}

@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 = {Journal of Functional Programming},
  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 = {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{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{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{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 / SIGSOFT 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 = {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{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},
}

@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 = {Proceedings of the ACM on Programming Languages},
  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 = {Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006},
  editor = {J. Gregory Morrisett and Simon L. Peyton Jones},
  publisher = {ACM},
  isbn = {1-59593-027-2},
}

@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 = {Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, TX, USA, January 26-28, 2011},
  editor = {Thomas Ball and Mooly Sagiv},
  publisher = {ACM},
  isbn = {978-1-4503-0490-0},
}

@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 = {Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings},
  editor = {Hongseok Yang},
  volume = {7078},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-25317-1},
}

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

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

@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 Notices},
  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 = {Proceedings of the 2007 Symposium on Dynamic Languages, DLS 2007, October 22, 2007, Montreal, Quebec, Canada},
  editor = {Pascal Costanza and Robert Hirschfeld},
  publisher = {ACM},
  isbn = {978-1-59593-868-8},
}

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

@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 = {Journal of Functional Programming},
  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 = {Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, TX, USA, January 26-28, 2011},
  editor = {Thomas Ball and Mooly Sagiv},
  publisher = {ACM},
  isbn = {978-1-4503-0490-0},
}

@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 = {Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings},
  editor = {Giuseppe Castagna},
  volume = {5502},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-00589-3},
}

@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 = {Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings},
  editor = {Oleg Kiselyov and Andy King},
  volume = {9613},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-29603-6},
}

@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 = {ACM Transactions on Programming Languages and Systems},
  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 = {Journal of Functional Programming},
  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 = {Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings},
  editor = {Rocco De Nicola},
  volume = {4421},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71314-2},
}

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

@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 = {Proceedings of the seventh {ACM SIGPLAN} international conference on Functional Programming {(ICFP 2002)}},
}

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