@article{AriolaF97,
  title = {The Call-By-Need lambda Calculus},
  author = {Zena M. Ariola and Matthias Felleisen},
  year = {1997},
  researchr = {https://researchr.org/publication/AriolaF97},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {7},
  number = {3},
  pages = {265-301},
}

@inproceedings{ChangHF10,
  title = {Evaluating Call-by-Need on the Control Stack},
  author = {Stephen Chang and David Van Horn and Matthias Felleisen},
  year = {2010},
  doi = {10.1007/978-3-642-22941-1_1},
  url = {http://dx.doi.org/10.1007/978-3-642-22941-1_1},
  researchr = {https://researchr.org/publication/ChangHF10},
  cites = {0},
  citedby = {0},
  pages = {1-15},
  booktitle = {Trends in Functional Programming - 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers},
  editor = {Rex L. Page and Zoltán Horváth and Viktória Zsók},
  volume = {6546},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-22940-4},
}

@inproceedings{Felleisen04,
  title = {Functional Objects},
  author = {Matthias Felleisen},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3086&spage=267},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/Felleisen04},
  cites = {0},
  citedby = {0},
  pages = {267},
  booktitle = {ECOOP 2004 - Object-Oriented Programming, 18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings},
  editor = {Martin Odersky},
  volume = {3086},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22159-X},
}

@inproceedings{Felleisen02:0,
  title = {From POPL to the classroom and back},
  author = {Matthias Felleisen},
  year = {2002},
  doi = {10.1145/503272.503285},
  url = {http://doi.acm.org/10.1145/503272.503285},
  researchr = {https://researchr.org/publication/Felleisen02%3A0},
  cites = {0},
  citedby = {0},
  pages = {126-127},
  booktitle = {POPL},
}

@inproceedings{319859,
  title = {Hygienic macro expansion},
  author = {Kohlbecker, Eugene and Friedman, Daniel P. and Matthias Felleisen and Duba, Bruce},
  year = {1986},
  doi = {10.1145/319838.319859},
  url = {http://doi.acm.org/10.1145/319838.319859},
  tags = {macros},
  researchr = {https://researchr.org/publication/319859},
  cites = {0},
  citedby = {0},
  booktitle = {LFP '86: Proceedings of the 1986 ACM conference on LISP and functional programming},
  address = {New York, NY, USA},
  publisher = {ACM},
  isbn = {0-89791-200-4},
}

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

@inproceedings{St-AmourAF15,
  title = {Feature-Specific Profiling},
  author = {Vincent St-Amour and Leif Andersen and Matthias Felleisen},
  year = {2015},
  doi = {10.1007/978-3-662-46663-6_3},
  url = {http://dx.doi.org/10.1007/978-3-662-46663-6_3},
  researchr = {https://researchr.org/publication/St-AmourAF15},
  cites = {0},
  citedby = {0},
  pages = {49-68},
  booktitle = {Compiler Construction - 24th International Conference, CC 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 = {Björn Franke},
  volume = {9031},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-662-46662-9},
}

@inproceedings{CulpepperF10-0,
  title = {Fortifying macros},
  author = {Ryan Culpepper and Matthias Felleisen},
  year = {2010},
  doi = {10.1145/1863543.1863577},
  url = {http://doi.acm.org/10.1145/1863543.1863577},
  tags = {macros},
  researchr = {https://researchr.org/publication/CulpepperF10-0},
  cites = {0},
  citedby = {0},
  pages = {235-246},
  booktitle = {Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010},
  editor = {Paul Hudak and Stephanie Weirich},
  publisher = {ACM},
  isbn = {978-1-60558-794-3},
}

@inproceedings{KrishnamurthiFD99,
  title = {From Macros to Reusable Generative Programming},
  author = {Shriram Krishnamurthi and Matthias Felleisen and Bruce F. Duba},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1799/17990105.htm},
  tags = {generative programming, reuse, macros, programming},
  researchr = {https://researchr.org/publication/KrishnamurthiFD99},
  cites = {0},
  citedby = {0},
  pages = {105-120},
  booktitle = {Generative and Component-Based Software Engineering, First International Symposium, GCSE 99, Erfurt, Germany, September 28-30, 1999, Revised Papers},
  editor = {Krzysztof Czarnecki and Ulrich W. Eisenecker},
  volume = {1799},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41172-0},
}

@inproceedings{SabryF92,
  title = {Reasoning About Programs in Continuation-Passing Style},
  author = {Amr Sabry and Matthias Felleisen},
  year = {1992},
  doi = {10.1145/141471.141563},
  url = {http://doi.acm.org/10.1145/141471.141563},
  researchr = {https://researchr.org/publication/SabryF92},
  cites = {0},
  citedby = {0},
  pages = {288-298},
  booktitle = {Proceedings of the 1992 ACM Conference on LISP and Functional Programming},
  series = {LFP '92},
  address = {New York, NY, USA},
  publisher = {Association for Computing Machinery},
}

@inproceedings{VaillancourtPF06,
  title = {ACL2 in DrScheme},
  author = {Dale Vaillancourt and Rex L. Page and Matthias Felleisen},
  year = {2006},
  doi = {10.1145/1217975.1217999},
  url = {http://doi.acm.org/10.1145/1217975.1217999},
  researchr = {https://researchr.org/publication/VaillancourtPF06},
  cites = {0},
  citedby = {0},
  pages = {107-116},
  booktitle = {Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2006, Seattle, Washington, USA, August 15-16, 2006},
  editor = {Panagiotis Manolios and Matthew Wilding},
  publisher = {ACM},
  isbn = {0-9788493-0-2},
}

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

@inproceedings{Garnock-JonesF16,
  title = {Coordinated Concurrent Programming in Syndicate},
  author = {Tony Garnock-Jones and Matthias Felleisen},
  year = {2016},
  doi = {10.1007/978-3-662-49498-1_13},
  url = {http://dx.doi.org/10.1007/978-3-662-49498-1_13},
  researchr = {https://researchr.org/publication/Garnock-JonesF16},
  cites = {0},
  citedby = {0},
  pages = {310-336},
  booktitle = {Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
  editor = {Peter Thiemann},
  volume = {9632},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-662-49497-4},
}

@article{FlanaganF99:0,
  title = {The Semantics of Future and an Application},
  author = {Cormac Flanagan and Matthias Felleisen},
  year = {1999},
  tags = {semantics},
  researchr = {https://researchr.org/publication/FlanaganF99%3A0},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {9},
  number = {1},
  pages = {1-31},
}

@inproceedings{FlanaganSDF93,
  title = {The Essence of Compiling with Continuations},
  author = {Cormac Flanagan and Amr Sabry and Bruce F. Duba and Matthias Felleisen},
  year = {1993},
  tags = {compiler},
  researchr = {https://researchr.org/publication/FlanaganSDF93},
  cites = {0},
  citedby = {0},
  pages = {237-247},
  booktitle = {PLDI},
}

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

@article{CartwrightCF94,
  title = {Fully Abstract Semantics for Observably Sequential Languages},
  author = {Robert Cartwright and Pierre-Louis Curien and Matthias Felleisen},
  year = {1994},
  month = {June},
  tags = {semantics},
  researchr = {https://researchr.org/publication/CartwrightCF94},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {111},
  number = {2},
  pages = {297-401},
}

@inproceedings{KannegantiCF92,
  title = {SPCF: Its Model, Calculus, and Computational Power (Preliminary Version)},
  author = {Ramarao Kanneganti and Robert Cartwright and Matthias Felleisen},
  year = {1992},
  researchr = {https://researchr.org/publication/KannegantiCF92},
  cites = {0},
  citedby = {0},
  pages = {318-347},
  booktitle = {Sematics: Foundations and Applications, REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings},
  editor = {J. W. de Bakker and Willem P. de Roever and Grzegorz Rozenberg},
  volume = {666},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-56596-5},
}

@inproceedings{Garnock-JonesTF14,
  title = {The Network as a Language Construct},
  author = {Tony Garnock-Jones and Sam Tobin-Hochstadt and Matthias Felleisen},
  year = {2014},
  doi = {10.1007/978-3-642-54833-8_25},
  url = {http://dx.doi.org/10.1007/978-3-642-54833-8_25},
  researchr = {https://researchr.org/publication/Garnock-JonesTF14},
  cites = {0},
  citedby = {0},
  pages = {473-492},
  booktitle = {Programming Languages and Systems - 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings},
  editor = {Zhong Shao},
  volume = {8410},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-54832-1},
}

@inproceedings{FlanaganSDF93a,
  title = {The essence of compiling with continuations (with retrospective)},
  author = {Cormac Flanagan and Amr Sabry and Bruce F. Duba and Matthias Felleisen},
  year = {1993},
  doi = {10.1145/989393.989443},
  url = {http://doi.acm.org/10.1145/989393.989443},
  tags = {compiler},
  researchr = {https://researchr.org/publication/FlanaganSDF93a},
  cites = {0},
  citedby = {0},
  pages = {502-514},
  booktitle = {20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, A Selection},
  editor = {Kathryn S. McKinley},
  publisher = {ACM},
  isbn = {1-58113-623-4},
}

@inproceedings{GraunkeKHF01,
  title = {Programming the Web with High-Level Programming Languages},
  author = {Paul T. Graunke and Shriram Krishnamurthi and Steve Van Der Hoeven and Matthias Felleisen},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2028/20280122.htm},
  tags = {programming languages, programming},
  researchr = {https://researchr.org/publication/GraunkeKHF01},
  cites = {0},
  citedby = {0},
  pages = {122-136},
  booktitle = {Programming Languages and Systems, 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings},
  editor = {David Sands},
  volume = {2028},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41862-8},
}

@inproceedings{MorrisettFH95,
  title = {Abstract Models of Memory Management},
  author = {J. Gregory Morrisett and Matthias Felleisen and Robert Harper},
  year = {1995},
  tags = {meta-model, memory management, Meta-Environment},
  researchr = {https://researchr.org/publication/MorrisettFH95},
  cites = {0},
  citedby = {0},
  pages = {66-77},
  booktitle = {FPCA},
}

@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{Felleisen88:0,
  title = {The Theory and Practice of First-Class Prompts},
  author = {Matthias Felleisen},
  year = {1988},
  researchr = {https://researchr.org/publication/Felleisen88%3A0},
  cites = {0},
  citedby = {0},
  pages = {180-190},
  booktitle = {POPL},
}

@inproceedings{FlanaganF95,
  title = {The Semantics of Future and Its Use in Program Optimizations},
  author = {Cormac Flanagan and Matthias Felleisen},
  year = {1995},
  tags = {optimization, semantics, program optimization},
  researchr = {https://researchr.org/publication/FlanaganF95},
  cites = {0},
  citedby = {0},
  pages = {209-220},
  booktitle = {POPL},
}

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

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

@inproceedings{FlanaganF97,
  title = {Componential Set-Based Analysis},
  author = {Cormac Flanagan and Matthias Felleisen},
  year = {1997},
  tags = {rule-based, analysis},
  researchr = {https://researchr.org/publication/FlanaganF97},
  cites = {0},
  citedby = {0},
  pages = {235-248},
  booktitle = {PLDI},
}

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

@article{FelleisenH92,
  title = {The Revised Report on the Syntactic Theories of Sequential Control and State},
  author = {Matthias Felleisen and Robert Hieb},
  year = {1992},
  researchr = {https://researchr.org/publication/FelleisenH92},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {103},
  number = {2},
  pages = {235-271},
}

@inproceedings{ClementsF03,
  title = {A Tail-Recursive Semantics for Stack Inspections},
  author = {John Clements and Matthias Felleisen},
  year = {2003},
  url = {http://link.springer.de/link/service/series/0558/bibs/2618/26180022.htm},
  tags = {semantics},
  researchr = {https://researchr.org/publication/ClementsF03},
  cites = {0},
  citedby = {0},
  pages = {22-37},
  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},
}

@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{FelleisenF87,
  title = {A Reduction Semantics for Imperative Higher-Order Languages},
  author = {Matthias Felleisen and Daniel P. Friedman},
  year = {1987},
  tags = {semantics},
  researchr = {https://researchr.org/publication/FelleisenF87},
  cites = {0},
  citedby = {0},
  pages = {206-223},
  booktitle = {PARLE, Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings},
  editor = {J. W. de Bakker and A. J. Nijman and Philip C. Treleaven},
  volume = {259},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-17945-3},
}

@inproceedings{CartwrightF92,
  title = {Observable Sequentiality and Full Abstraction},
  author = {Robert Cartwright and Matthias Felleisen},
  year = {1992},
  tags = {abstraction},
  researchr = {https://researchr.org/publication/CartwrightF92},
  cites = {0},
  citedby = {0},
  pages = {328-342},
  booktitle = {POPL},
}

@article{Felleisen14,
  title = {Editorial},
  author = {Matthias Felleisen},
  year = {2014},
  doi = {10.1017/S0956796814000197},
  url = {http://dx.doi.org/10.1017/S0956796814000197},
  researchr = {https://researchr.org/publication/Felleisen14},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {24},
  number = {6},
  pages = {611},
}

@inproceedings{St-AmourTF12,
  title = {Optimization coaching: optimizers learn to communicate with programmers},
  author = {Vincent St-Amour and Sam Tobin-Hochstadt and Matthias Felleisen},
  year = {2012},
  doi = {10.1145/2384616.2384629},
  url = {http://doi.acm.org/10.1145/2384616.2384629},
  researchr = {https://researchr.org/publication/St-AmourTF12},
  cites = {0},
  citedby = {0},
  pages = {163-178},
  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},
}

@article{Felleisen87,
  title = {Reflections on Landins s J-Operator: A Partly Historical Note},
  author = {Matthias Felleisen},
  year = {1987},
  tags = {reflection},
  researchr = {https://researchr.org/publication/Felleisen87},
  cites = {0},
  citedby = {0},
  journal = {Computer Languages, Systems \& Structures},
  volume = {12},
  number = {3/4},
  pages = {197-207},
}

@inproceedings{ChangBCF11,
  title = {From Stack Traces to Lazy Rewriting Sequences},
  author = {Stephen Chang and Eli Barzilay and John Clements and Matthias Felleisen},
  year = {2011},
  doi = {10.1007/978-3-642-34407-7_7},
  url = {http://dx.doi.org/10.1007/978-3-642-34407-7_7},
  researchr = {https://researchr.org/publication/ChangBCF11},
  cites = {0},
  citedby = {0},
  pages = {100-115},
  booktitle = {Implementation and Application of Functional Languages - 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers},
  editor = {Andy Gill and Jurriaan Hage},
  volume = {7257},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-34406-0},
}

@inproceedings{StricklandF09,
  title = {Contracts for first-class modules},
  author = {T. Stephen Strickland and Matthias Felleisen},
  year = {2009},
  doi = {10.1145/1640134.1640140},
  url = {http://doi.acm.org/10.1145/1640134.1640140},
  tags = {contracts},
  researchr = {https://researchr.org/publication/StricklandF09},
  cites = {0},
  citedby = {0},
  pages = {27-38},
  booktitle = {Proceedings of the 5th Symposium on Dynamic Languages, DLS 2009, October 26, 2010, Orlando, Florida, USA},
  editor = {James Noble},
  publisher = {ACM},
  isbn = {978-1-60558-769-1},
}

@inproceedings{CulpepperF07,
  title = {Debugging macros},
  author = {Ryan Culpepper and Matthias Felleisen},
  year = {2007},
  doi = {10.1145/1289971.1289994},
  url = {http://doi.acm.org/10.1145/1289971.1289994},
  tags = {macros, debugging},
  researchr = {https://researchr.org/publication/CulpepperF07},
  cites = {0},
  citedby = {0},
  pages = {135-144},
  booktitle = {Generative Programming and Component Engineering, 6th International Conference, GPCE 2007},
  editor = {Charles Consel and Julia L. Lawall},
  address = {Salzburg, Austria},
  publisher = {ACM},
  isbn = {978-1-59593-855-8},
}

@inproceedings{DimoulasPF09,
  title = {Future contracts},
  author = {Christos Dimoulas and Riccardo Pucella and Matthias Felleisen},
  year = {2009},
  doi = {10.1145/1599410.1599435},
  url = {http://doi.acm.org/10.1145/1599410.1599435},
  tags = {contracts},
  researchr = {https://researchr.org/publication/DimoulasPF09},
  cites = {0},
  citedby = {0},
  pages = {195-206},
  booktitle = {Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal},
  editor = {Antonio Porto and Francisco Javier Lapez-Fraguas},
  publisher = {ACM},
  isbn = {978-1-60558-568-0},
}

@inproceedings{PageEF08,
  title = {Functional programming and theorem proving for undergraduates: a progress report},
  author = {Rex L. Page and Carl Eastlund and Matthias Felleisen},
  year = {2008},
  doi = {10.1145/1411260.1411264},
  url = {http://doi.acm.org/10.1145/1411260.1411264},
  researchr = {https://researchr.org/publication/PageEF08},
  cites = {0},
  citedby = {0},
  pages = {21-30},
  booktitle = {Proceedings of the 2008 international workshop on Functional and declarative programming in education, FDPE@ICFP 2008, Victoria, BC, Canada, September 20 - 28, 2008},
  editor = {Frank Huch and Adam Parkin},
  publisher = {ACM},
  isbn = {978-1-60558-068-5},
}

@book{0096034,
  title = {The little MLer},
  author = {Matthias Felleisen and Daniel P. Friedman},
  year = {1996},
  researchr = {https://researchr.org/publication/0096034},
  cites = {0},
  citedby = {0},
  publisher = {MIT Press},
  isbn = {978-0-262-56114-3},
}

@inproceedings{Felleisen11-0,
  title = {Multilingual component programming in racket},
  author = {Matthias Felleisen},
  year = {2011},
  doi = {10.1145/2047862.2047864},
  url = {http://doi.acm.org/10.1145/2047862.2047864},
  researchr = {https://researchr.org/publication/Felleisen11-0},
  cites = {0},
  citedby = {0},
  pages = {1-2},
  booktitle = {Generative Programming And Component Engineering, Proceedings of the 10th International Conference on Generative Programming and Component Engineering, GPCE 2011, Portland, Oregon, USA, October 22-24, 2011},
  editor = {Ewen Denney and Ulrik Pagh Schultz},
  publisher = {ACM},
  isbn = {978-1-4503-0689-8},
}

@inproceedings{Felleisen88,
  title = {lambda-V-CS: An Extended lambda-Calculus for Scheme},
  author = {Matthias Felleisen},
  year = {1988},
  doi = {10.1145/62678.62686},
  url = {http://doi.acm.org/10.1145/62678.62686},
  researchr = {https://researchr.org/publication/Felleisen88},
  cites = {0},
  citedby = {0},
  pages = {72-85},
  booktitle = {LISP and Functional Programming},
}

@article{Felleisen91,
  title = {On the Expressive Power of Programming Languages},
  author = {Matthias Felleisen},
  year = {1991},
  tags = {programming languages, programming},
  researchr = {https://researchr.org/publication/Felleisen91},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {17},
  number = {1-3},
  pages = {35-75},
}

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

@inproceedings{SitaramF91,
  title = {Modeling Continuations without Continuations},
  author = {Dorai Sitaram and Matthias Felleisen},
  year = {1991},
  tags = {meta-model, modeling, Meta-Environment},
  researchr = {https://researchr.org/publication/SitaramF91},
  cites = {0},
  citedby = {0},
  pages = {185-196},
  booktitle = {POPL},
}

@inproceedings{ChangF12-0,
  title = {The Call-by-Need Lambda Calculus, Revisited},
  author = {Stephen Chang and Matthias Felleisen},
  year = {2012},
  doi = {10.1007/978-3-642-28869-2_7},
  url = {http://dx.doi.org/10.1007/978-3-642-28869-2_7},
  researchr = {https://researchr.org/publication/ChangF12-0},
  cites = {0},
  citedby = {0},
  pages = {128-147},
  booktitle = {Programming Languages and Systems - 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  editor = {Helmut Seidl},
  volume = {7211},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-28868-5},
}

@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{FelleisenLSS05,
  title = {Editorial},
  author = {Matthias Felleisen and Julia L. Lawall and Manuel Serrano and Olin Shivers},
  year = {2005},
  doi = {10.1007/s10990-005-4875-6},
  url = {http://dx.doi.org/10.1007/s10990-005-4875-6},
  researchr = {https://researchr.org/publication/FelleisenLSS05},
  cites = {0},
  citedby = {0},
  journal = {Higher-Order and Symbolic Computation},
  volume = {18},
  number = {3-4},
  pages = {243-244},
}

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

@article{Felleison03,
  title = {Welcome to the Educational Pearls Column},
  author = {Matthias Felleisen},
  year = {2003},
  doi = {10.1017/S0956796803004799},
  url = {http://dx.doi.org/10.1017/S0956796803004799},
  researchr = {https://researchr.org/publication/Felleison03},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {13},
  number = {5},
  pages = {835-838},
}

@inproceedings{AriolaFMOW95,
  title = {The Call-by-Need Lambda Calculus},
  author = {Zena M. Ariola and Matthias Felleisen and John Maraist and Martin Odersky and Philip Wadler},
  year = {1995},
  researchr = {https://researchr.org/publication/AriolaFMOW95},
  cites = {0},
  citedby = {0},
  pages = {233-246},
  booktitle = {POPL},
}

@inproceedings{FelleisenFKD86,
  title = {Reasoning with Continuations},
  author = {Matthias Felleisen and Daniel P. Friedman and Eugene E. Kohlbecker and Bruce F. Duba},
  year = {1986},
  tags = {e-science},
  researchr = {https://researchr.org/publication/FelleisenFKD86},
  cites = {0},
  citedby = {0},
  pages = {131-141},
  booktitle = {Proceedings, Symposium on Logic in Computer Science, 16-18 June 1986, Cambridge, Massachusetts, USA},
  publisher = {IEEE Computer Society},
}

@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{Felleisen05,
  title = {How to design class hierarchies},
  author = {Matthias Felleisen},
  year = {2005},
  doi = {10.1145/1085114.1085115},
  url = {http://doi.acm.org/10.1145/1085114.1085115},
  researchr = {https://researchr.org/publication/Felleisen05},
  cites = {0},
  citedby = {0},
  pages = {1},
  booktitle = {Proceedings of the 2005 workshop on Functional and declarative programming in education, Tallinn, Estonia, September 25 - 25, 2005},
  editor = {Robby Bruce Findler and Michael Hanus and Simon Thompson},
  publisher = {ACM},
  isbn = {1-59593-067-1},
}

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

@article{CulpepperF10,
  title = {Debugging hygienic macros},
  author = {Ryan Culpepper and Matthias Felleisen},
  year = {2010},
  doi = {10.1016/j.scico.2009.06.001},
  url = {http://dx.doi.org/10.1016/j.scico.2009.06.001},
  tags = {macros, debugging},
  researchr = {https://researchr.org/publication/CulpepperF10},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {75},
  number = {7},
  pages = {496-515},
}

@inproceedings{PettyjohnCMKF05,
  title = {Continuations from generalized stack inspection},
  author = {Greg Pettyjohn and John Clements and Joe Marshall and Shriram Krishnamurthi and Matthias Felleisen},
  year = {2005},
  doi = {10.1145/1086365.1086393},
  url = {http://doi.acm.org/10.1145/1086365.1086393},
  researchr = {https://researchr.org/publication/PettyjohnCMKF05},
  cites = {0},
  citedby = {0},
  pages = {216-227},
  booktitle = {Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005},
  editor = {Olivier Danvy and Benjamin C. Pierce},
  publisher = {ACM},
  isbn = {1-59593-064-7},
}

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

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

@article{KrishnamurthiHMGPF07,
  title = {Implementation and use of the PLT scheme Web server},
  author = {Shriram Krishnamurthi and Peter Walton Hopkins and Jay A. McCarthy and Paul T. Graunke and Greg Pettyjohn and Matthias Felleisen},
  year = {2007},
  doi = {10.1007/s10990-007-9008-y},
  url = {http://dx.doi.org/10.1007/s10990-007-9008-y},
  researchr = {https://researchr.org/publication/KrishnamurthiHMGPF07},
  cites = {0},
  citedby = {0},
  journal = {Higher-Order and Symbolic Computation},
  volume = {20},
  number = {4},
  pages = {431-460},
}

@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{StricklandF10,
  title = {Contracts for first-class classes},
  author = {T. Stephen Strickland and Matthias Felleisen},
  year = {2010},
  doi = {10.1145/1869631.1869642},
  url = {http://doi.acm.org/10.1145/1869631.1869642},
  tags = {contracts},
  researchr = {https://researchr.org/publication/StricklandF10},
  cites = {0},
  citedby = {0},
  pages = {97-112},
  booktitle = {Proceedings of the 6th Symposium on Dynamic Languages, DLS 2010, October 18, 2010, Reno, Nevada, USA},
  editor = {William D. Clinger},
  publisher = {ACM},
  isbn = {978-1-4503-0405-4},
}

@inproceedings{ChangF14,
  title = {Profiling for laziness},
  author = {Stephen Chang and Matthias Felleisen},
  year = {2014},
  doi = {10.1145/2535838.2535887},
  url = {http://doi.acm.org/10.1145/2535838.2535887},
  researchr = {https://researchr.org/publication/ChangF14},
  cites = {0},
  citedby = {0},
  pages = {349-360},
  booktitle = {The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014},
  editor = {Suresh Jagannathan and Peter Sewell},
  publisher = {ACM},
  isbn = {978-1-4503-2544-8},
}

@article{FelleisenF89,
  title = {A Syntactic Theory of Sequential State},
  author = {Matthias Felleisen and Daniel P. Friedman},
  year = {1989},
  researchr = {https://researchr.org/publication/FelleisenF89},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {69},
  number = {3},
  pages = {243-287},
}

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

@article{Felleisen08,
  title = {Why teach programming languages in this day and age and how to go about it},
  author = {Matthias Felleisen},
  year = {2008},
  doi = {10.1145/1480828.1480840},
  url = {http://doi.acm.org/10.1145/1480828.1480840},
  tags = {programming languages, programming},
  researchr = {https://researchr.org/publication/Felleisen08},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN Notices},
  volume = {43},
  number = {11},
  pages = {59-61},
}

@article{CytronF01,
  title = {SIGPLAN Response to the Ironman Draft of the Computing Curricula 2001},
  author = {Ron Cytron and Matthias Felleisen},
  year = {2001},
  researchr = {https://researchr.org/publication/CytronF01},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN Notices},
  volume = {36},
  number = {4},
  pages = {3-4},
}

@article{CartwrightF96,
  title = {Program Verification Through Soft Typing},
  author = {Robert Cartwright and Matthias Felleisen},
  year = {1996},
  tags = {program verification},
  researchr = {https://researchr.org/publication/CartwrightF96},
  cites = {0},
  citedby = {0},
  journal = {ACM Computing Surveys},
  volume = {28},
  number = {2},
  pages = {349-351},
}

@inproceedings{CartwrightF89,
  title = {The Semantics of Program Dependence},
  author = {Robert Cartwright and Matthias Felleisen},
  year = {1989},
  tags = {semantics},
  researchr = {https://researchr.org/publication/CartwrightF89},
  cites = {0},
  citedby = {0},
  pages = {13-27},
  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 = {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},
}

@inproceedings{Felleisen02,
  title = {Developing Interactive Web Programs},
  author = {Matthias Felleisen},
  year = {2002},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2638&spage=100},
  researchr = {https://researchr.org/publication/Felleisen02},
  cites = {0},
  citedby = {0},
  pages = {100-128},
  booktitle = {Advanced Functional Programming, 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures},
  editor = {Johan  Jeuring and Simon L. Peyton Jones},
  volume = {2638},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40132-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{FelleisenWFD88,
  title = {Abstract Continuations: A Mathematical Semantics for Handling Full Jumps},
  author = {Matthias Felleisen and Mitchell Wand and Daniel P. Friedman and Bruce F. Duba},
  year = {1988},
  doi = {10.1145/62678.62684},
  url = {http://doi.acm.org/10.1145/62678.62684},
  tags = {semantics},
  researchr = {https://researchr.org/publication/FelleisenWFD88},
  cites = {0},
  citedby = {0},
  pages = {52-62},
  booktitle = {LISP and Functional Programming},
}

@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{FelleisenF87:0,
  title = {A Calculus for Assignments in Higher-Order Languages},
  author = {Matthias Felleisen and Daniel P. Friedman},
  year = {1987},
  researchr = {https://researchr.org/publication/FelleisenF87%3A0},
  cites = {0},
  citedby = {0},
  pages = {314-325},
  booktitle = {POPL},
}

@inproceedings{Felleisen10,
  title = {Adding types to untyped languages},
  author = {Matthias Felleisen},
  year = {2010},
  doi = {10.1145/1708016.1708017},
  url = {http://doi.acm.org/10.1145/1708016.1708017},
  researchr = {https://researchr.org/publication/Felleisen10},
  cites = {0},
  citedby = {0},
  pages = {1-2},
  booktitle = {Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Madrid, Spain, January 23, 2010},
  editor = {Andrew Kennedy and Nick Benton},
  publisher = {ACM},
  isbn = {978-1-60558-891-9},
}

@inproceedings{CulpepperF04,
  title = {Taming Macros},
  author = {Ryan Culpepper and Matthias Felleisen},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3286&spage=225},
  tags = {macros},
  researchr = {https://researchr.org/publication/CulpepperF04},
  cites = {0},
  citedby = {0},
  pages = {225-243},
  booktitle = {Generative Programming and Component Engineering: Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004. Proceedings},
  editor = {Gabor Karsai and Eelco Visser},
  volume = {3286},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-23580-9},
}

@inproceedings{Felleisen90,
  title = {On the Expressive Power of Programming Languages},
  author = {Matthias Felleisen},
  year = {1990},
  tags = {programming languages, programming},
  researchr = {https://researchr.org/publication/Felleisen90},
  cites = {0},
  citedby = {0},
  pages = {134-151},
  booktitle = {ESOP 90, 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings},
  editor = {Neil D. Jones},
  volume = {432},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-52592-0},
}

@inproceedings{Tobin-HochstadtF06,
  title = {Interlanguage migration: from scripts to programs},
  author = {Sam Tobin-Hochstadt and Matthias Felleisen},
  year = {2006},
  doi = {10.1145/1176617.1176755},
  url = {http://doi.acm.org/10.1145/1176617.1176755},
  tags = {migration},
  researchr = {https://researchr.org/publication/Tobin-HochstadtF06},
  cites = {0},
  citedby = {0},
  pages = {964-974},
  booktitle = {Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA},
  editor = {Peri L. Tarr and William R. Cook},
  publisher = {ACM},
  isbn = {1-59593-491-X},
}

@inproceedings{WeeksF93,
  title = {On the Orthogonality of Assignments and Procedures in Algol},
  author = {Stephen Weeks and Matthias Felleisen},
  year = {1993},
  researchr = {https://researchr.org/publication/WeeksF93},
  cites = {0},
  citedby = {0},
  pages = {57-70},
  booktitle = {Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
}

@inproceedings{CobbeF05,
  title = {Environmental acquisition revisited},
  author = {Richard Cobbe and Matthias Felleisen},
  year = {2005},
  doi = {10.1145/1040305.1040307},
  url = {http://doi.acm.org/10.1145/1040305.1040307},
  researchr = {https://researchr.org/publication/CobbeF05},
  cites = {0},
  citedby = {0},
  pages = {14-25},
  booktitle = {Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005},
  editor = {Jens Palsberg and Martín Abadi},
  publisher = {ACM},
  isbn = {1-58113-830-X},
}

@inproceedings{SchanzerFKF15,
  title = {Transferring Skills at Solving Word Problems from Computing to Algebra Through Bootstrap},
  author = {Emmanuel Schanzer and Kathi Fisler and Shriram Krishnamurthi and Matthias Felleisen},
  year = {2015},
  doi = {10.1145/2676723.2677238},
  url = {http://doi.acm.org/10.1145/2676723.2677238},
  researchr = {https://researchr.org/publication/SchanzerFKF15},
  cites = {0},
  citedby = {0},
  pages = {616-621},
  booktitle = {Proceedings of the 46th ACM Technical Symposium on Computer Science Education, Kansas City, MO, USA, March 4-7, 2015},
  editor = {Adrienne Decker and Kurt Eiselt and Carl Alphonce and Jodi Tims},
  publisher = {ACM},
  isbn = {978-1-4503-2966-8},
}

@inproceedings{KrishnamurthiF98,
  title = {Toward a Formal Theory of Extensible Software},
  author = {Shriram Krishnamurthi and Matthias Felleisen},
  year = {1998},
  doi = {10.1145/288195.288269},
  url = {http://doi.acm.org/10.1145/288195.288269},
  researchr = {https://researchr.org/publication/KrishnamurthiF98},
  cites = {0},
  citedby = {0},
  pages = {88-98},
  booktitle = {SIGSOFT FSE},
}

@inproceedings{FelleisenC99,
  title = {Safety as a Metric},
  author = {Matthias Felleisen and Robert Cartwright},
  year = {1999},
  url = {http://computer.org/proceedings/cseet/0131/01310129abs.htm},
  researchr = {https://researchr.org/publication/FelleisenC99},
  cites = {0},
  citedby = {0},
  pages = {129-131},
  booktitle = {CSEE&T},
}

@inproceedings{SabryF94,
  title = {Is Continuation-Passing Useful for Data Flow Analysis?},
  author = {Amr Sabry and Matthias Felleisen},
  year = {1994},
  tags = {analysis, data-flow, data-flow analysis},
  researchr = {https://researchr.org/publication/SabryF94},
  cites = {0},
  citedby = {0},
  pages = {1-12},
  booktitle = {PLDI},
}

@article{WrightF94,
  title = {A Syntactic Approach to Type Soundness},
  author = {Andrew K. Wright and Matthias Felleisen},
  year = {1994},
  month = {11},
  doi = {10.1006/inco.1994.1093},
  tags = {programming languages, object-oriented programming, semantics, type soundness, exceptions, functional programming, type system, graph-rewriting, logic programming, programming, subject-oriented programming, logic, rewriting logic, rewriting, systematic-approach, feature-oriented programming},
  researchr = {https://researchr.org/publication/WrightF94},
  cites = {0},
  citedby = {1},
  journal = {Information and Computation},
  volume = {115},
  number = {1},
  pages = {38-94},
}

@inproceedings{EastlundF09-0,
  title = {Making induction manifest in modular ACL2},
  author = {Carl Eastlund and Matthias Felleisen},
  year = {2009},
  doi = {10.1145/1599410.1599424},
  url = {http://doi.acm.org/10.1145/1599410.1599424},
  researchr = {https://researchr.org/publication/EastlundF09-0},
  cites = {0},
  citedby = {0},
  pages = {105-116},
  booktitle = {Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal},
  editor = {Antonio Porto and Francisco Javier Lapez-Fraguas},
  publisher = {ACM},
  isbn = {978-1-60558-568-0},
}

@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{LoganFB02,
  title = {Environmental Acquisition in Network Management},
  author = {Mark Logan and Matthias Felleisen and David N. Blank-Edelman},
  year = {2002},
  url = {http://www.usenix.org/publications/library/proceedings/lisa02/tech/logan.html},
  researchr = {https://researchr.org/publication/LoganFB02},
  cites = {0},
  citedby = {0},
  pages = {175-184},
  booktitle = {Proceedings of the 16th Conference on Systems Administration (LISA 2002), Philadelphia, PA, November 3-8, 2002},
  publisher = {USENIX},
  isbn = {1-931971-03-X},
}

@inproceedings{TakikawaSDTF12,
  title = {Gradual typing for first-class classes},
  author = {Asumu Takikawa and T. Stephen Strickland and Christos Dimoulas and Sam Tobin-Hochstadt and Matthias Felleisen},
  year = {2012},
  doi = {10.1145/2384616.2384674},
  url = {http://doi.acm.org/10.1145/2384616.2384674},
  researchr = {https://researchr.org/publication/TakikawaSDTF12},
  cites = {0},
  citedby = {0},
  pages = {793-810},
  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},
}

@article{FelleisenF86,
  title = {A Closer Look at Export and Import Statements},
  author = {Matthias Felleisen and Daniel P. Friedman},
  year = {1986},
  researchr = {https://researchr.org/publication/FelleisenF86},
  cites = {0},
  citedby = {0},
  journal = {Computer Languages, Systems \& Structures},
  volume = {11},
  number = {1},
  pages = {29-37},
}

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

@inproceedings{AntoniuSKNF04,
  title = {Validating the Unit Correctness of Spreadsheet Programs},
  author = {Tudor Antoniu and Paul A. Steckler and Shriram Krishnamurthi and Erich Neuwirth and Matthias Felleisen},
  year = {2004},
  url = {http://csdl.computer.org/comp/proceedings/icse/2004/2163/00/21630439abs.htm},
  researchr = {https://researchr.org/publication/AntoniuSKNF04},
  cites = {0},
  citedby = {0},
  pages = {439-448},
  booktitle = {26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2163-0},
}

@inproceedings{TakikawaFGNVF16,
  title = {Is sound gradual typing dead?},
  author = {Asumu Takikawa and Daniel Feltey and Ben Greenman and Max S. New and Jan Vitek and Matthias Felleisen},
  year = {2016},
  doi = {10.1145/2837614.2837630},
  url = {http://doi.acm.org/10.1145/2837614.2837630},
  researchr = {https://researchr.org/publication/TakikawaFGNVF16},
  cites = {0},
  citedby = {0},
  pages = {456-468},
  booktitle = {Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016},
  editor = {Rastislav Bodik and Rupak Majumdar},
  publisher = {ACM},
  isbn = {978-1-4503-3549-2},
}

@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{DimoulasTF12,
  title = {Complete Monitors for Behavioral Contracts},
  author = {Christos Dimoulas and Sam Tobin-Hochstadt and Matthias Felleisen},
  year = {2012},
  doi = {10.1007/978-3-642-28869-2_11},
  url = {http://dx.doi.org/10.1007/978-3-642-28869-2_11},
  researchr = {https://researchr.org/publication/DimoulasTF12},
  cites = {0},
  citedby = {0},
  pages = {214-233},
  booktitle = {Programming Languages and Systems - 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  editor = {Helmut Seidl},
  volume = {7211},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-28868-5},
}

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

@article{Felleisen12,
  title = {Editorial},
  author = {Matthias Felleisen},
  year = {2012},
  doi = {10.1017/S0956796812000202},
  url = {http://dx.doi.org/10.1017/S0956796812000202},
  researchr = {https://researchr.org/publication/Felleisen12},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {22},
  number = {3},
  pages = {223-224},
}

@inproceedings{EastlundF09,
  title = {Toward a Practical Module System for ACL2},
  author = {Carl Eastlund and Matthias Felleisen},
  year = {2009},
  doi = {10.1007/978-3-540-92995-6_4},
  url = {http://dx.doi.org/10.1007/978-3-540-92995-6_4},
  researchr = {https://researchr.org/publication/EastlundF09},
  cites = {0},
  citedby = {0},
  pages = {46-60},
  booktitle = {Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings},
  editor = {Andy Gill and Terrance Swift},
  volume = {5418},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-92994-9},
}

@inproceedings{Felleisen11,
  title = {TeachScheme!},
  author = {Matthias Felleisen},
  year = {2011},
  doi = {10.1145/1953163.1953165},
  url = {http://doi.acm.org/10.1145/1953163.1953165},
  researchr = {https://researchr.org/publication/Felleisen11},
  cites = {0},
  citedby = {0},
  pages = {1-2},
  booktitle = {Proceedings of the 42nd ACM technical symposium on Computer science education, SIGCSE 2011, Dallas, TX, USA, March 9-12, 2011},
  editor = {Thomas J. Cortina and Ellen Lowenfeld Walker and Laurie A. Smith King and David R. Musicant},
  publisher = {ACM},
  isbn = {978-1-4503-0500-6},
}

@inproceedings{EastlundF10,
  title = {Hygienic Macros for ACL2},
  author = {Carl Eastlund and Matthias Felleisen},
  year = {2010},
  doi = {10.1007/978-3-642-22941-1_6},
  url = {http://dx.doi.org/10.1007/978-3-642-22941-1_6},
  tags = {macros},
  researchr = {https://researchr.org/publication/EastlundF10},
  cites = {0},
  citedby = {0},
  pages = {84-101},
  booktitle = {Trends in Functional Programming - 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers},
  editor = {Rex L. Page and Zoltán Horváth and Viktória Zsók},
  volume = {6546},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-22940-4},
}

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

@article{FelleisenFKD87,
  title = {A Syntactic Theory of Sequential Control},
  author = {Matthias Felleisen and Daniel P. Friedman and Eugene E. Kohlbecker and Bruce F. Duba},
  year = {1987},
  tags = {e-science},
  researchr = {https://researchr.org/publication/FelleisenFKD87},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {52},
  pages = {205-237},
}

@article{ClementsF04,
  title = {A tail-recursive machine with stack inspection},
  author = {John Clements and Matthias Felleisen},
  year = {2004},
  doi = {10.1145/1034774.1034778},
  url = {http://doi.acm.org/10.1145/1034774.1034778},
  researchr = {https://researchr.org/publication/ClementsF04},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {26},
  number = {6},
  pages = {1029-1052},
}

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

@article{FlanaganF99,
  title = {Componential Set-Based Analysis},
  author = {Cormac Flanagan and Matthias Felleisen},
  year = {1999},
  doi = {10.1145/316686.316703},
  url = {http://doi.acm.org/10.1145/316686.316703},
  tags = {rule-based, analysis},
  researchr = {https://researchr.org/publication/FlanaganF99},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {21},
  number = {2},
  pages = {370-416},
}

@book{0038957,
  title = {Realm of Racket - Learn to Program, One Game at a Time!},
  author = {Matthias Felleisen and David Van Horn and Conrad Barski},
  year = {2013},
  researchr = {https://researchr.org/publication/0038957},
  cites = {0},
  citedby = {0},
  publisher = {No Starch Press},
  isbn = {978-1-59327-491-7},
}

@article{DimoulasF11,
  title = {On contract satisfaction in a higher-order world},
  author = {Christos Dimoulas and Matthias Felleisen},
  year = {2011},
  doi = {10.1145/2039346.2039348},
  url = {http://doi.acm.org/10.1145/2039346.2039348},
  researchr = {https://researchr.org/publication/DimoulasF11},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {33},
  number = {5},
  pages = {16},
}

@inproceedings{Tobin-HochstadtF10,
  title = {Logical types for untyped languages},
  author = {Sam Tobin-Hochstadt and Matthias Felleisen},
  year = {2010},
  doi = {10.1145/1863543.1863561},
  url = {http://doi.acm.org/10.1145/1863543.1863561},
  researchr = {https://researchr.org/publication/Tobin-HochstadtF10},
  cites = {0},
  citedby = {0},
  pages = {117-128},
  booktitle = {Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010},
  editor = {Paul Hudak and Stephanie Weirich},
  publisher = {ACM},
  isbn = {978-1-60558-794-3},
}

@article{StricklandDTF13,
  title = {Contracts for First-Class Classes},
  author = {T. Stephen Strickland and Christos Dimoulas and Asumu Takikawa and Matthias Felleisen},
  year = {2013},
  doi = {10.1145/2518189},
  url = {http://doi.acm.org/10.1145/2518189},
  researchr = {https://researchr.org/publication/StricklandDTF13},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {35},
  number = {3},
  pages = {11},
}

@inproceedings{KohlbeckerFFD86,
  title = {Hygienic Macro Expansion},
  author = {Eugene E. Kohlbecker and Daniel P. Friedman and Matthias Felleisen and Bruce F. Duba},
  year = {1986},
  doi = {10.1145/320000/319859/p151-kohlbecker.pdf?key1=319859&key2=7573098711&coll=&dl=ACM&CFID=15151515&CFTOKEN=6184618},
  url = {http://delivery.acm.org/10.1145/320000/319859/p151-kohlbecker.pdf?key1=319859&key2=7573098711&coll=&dl=ACM&CFID=15151515&CFTOKEN=6184618},
  tags = {macros, e-science, Hygienic Macro},
  researchr = {https://researchr.org/publication/KohlbeckerFFD86},
  cites = {0},
  citedby = {0},
  pages = {151-161},
  booktitle = {LISP and Functional Programming},
}

@article{LeroyF09,
  title = {Editorial},
  author = {Xavier Leroy and Matthias Felleisen},
  year = {2009},
  doi = {10.1017/S095679680999013X},
  url = {http://dx.doi.org/10.1017/S095679680999013X},
  researchr = {https://researchr.org/publication/LeroyF09},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {19},
  number = {5},
  pages = {489-490},
}

@inproceedings{Tobin-HochstadtF08,
  title = {The design and implementation of typed scheme},
  author = {Sam Tobin-Hochstadt and Matthias Felleisen},
  year = {2008},
  doi = {10.1145/1328438.1328486},
  url = {http://doi.acm.org/10.1145/1328438.1328486},
  tags = {design},
  researchr = {https://researchr.org/publication/Tobin-HochstadtF08},
  cites = {0},
  citedby = {0},
  pages = {395-406},
  booktitle = {Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008},
  editor = {George C. Necula and Philip Wadler},
  publisher = {ACM},
  isbn = {978-1-59593-689-9},
}

@inproceedings{Felleisen10-0,
  title = {TeachScheme!: a checkpoint},
  author = {Matthias Felleisen},
  year = {2010},
  doi = {10.1145/1863543.1863563},
  url = {http://doi.acm.org/10.1145/1863543.1863563},
  researchr = {https://researchr.org/publication/Felleisen10-0},
  cites = {0},
  citedby = {0},
  pages = {129-130},
  booktitle = {Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010},
  editor = {Paul Hudak and Stephanie Weirich},
  publisher = {ACM},
  isbn = {978-1-60558-794-3},
}

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

@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{KrishnamurthiEF99,
  title = {Expressing Structural Properties as Language Constructs},
  author = {Shriram Krishnamurthi and Yan-David Erlich and Matthias Felleisen},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1576/15760258.htm},
  researchr = {https://researchr.org/publication/KrishnamurthiEF99},
  cites = {0},
  citedby = {0},
  pages = {258-272},
  booktitle = {Programming Languages and Systems, 8th European Symposium on Programming, ESOP 99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings},
  editor = {S. Doaitse Swierstra},
  volume = {1576},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65699-5},
}

@inproceedings{CrankF91,
  title = {Parameter-Passing and the Lambda Calculus},
  author = {Erik Crank and Matthias Felleisen},
  year = {1991},
  researchr = {https://researchr.org/publication/CrankF91},
  cites = {0},
  citedby = {0},
  pages = {233-244},
  booktitle = {POPL},
}

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

@book{0096033,
  title = {The little schemer (4. ed.)},
  author = {Daniel P. Friedman and Matthias Felleisen},
  year = {1996},
  researchr = {https://researchr.org/publication/0096033},
  cites = {0},
  citedby = {0},
  publisher = {MIT Press},
  isbn = {978-0-262-56099-3},
}

@phdthesis{Felleisen1987CLC,
  title = {The Calculi of $\lambda$-v-cs Conversion: A Syntactic Theory of Control and State in Imperative Higher-order Programming Languages},
  author = {Matthias Felleisen},
  year = {1987},
  researchr = {https://researchr.org/publication/Felleisen1987CLC},
  cites = {0},
  citedby = {0},
  school = {Indiana University},
}

@article{SabryF93,
  title = {Reasoning about Programs in Continuation-Passing Style},
  author = {Amr Sabry and Matthias Felleisen},
  year = {1993},
  researchr = {https://researchr.org/publication/SabryF93},
  cites = {0},
  citedby = {0},
  journal = {Higher-Order and Symbolic Computation},
  volume = {6},
  number = {3-4},
  pages = {289-360},
}

@article{SitaramF90,
  title = {Control Delimiters and Their Hierarchies},
  author = {Dorai Sitaram and Matthias Felleisen},
  year = {1990},
  researchr = {https://researchr.org/publication/SitaramF90},
  cites = {0},
  citedby = {0},
  journal = {Higher-Order and Symbolic Computation},
  volume = {3},
  number = {1},
  pages = {67-99},
}

@book{0096035,
  title = {A little Java, a few patterns},
  author = {Matthias Felleisen and Daniel P. Friedman},
  year = {1996},
  tags = {Java},
  researchr = {https://researchr.org/publication/0096035},
  cites = {0},
  citedby = {0},
  publisher = {MIT Press},
  isbn = {978-0-262-56115-0},
}

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

@book{0096032,
  title = {The seasoned schemer},
  author = {Daniel P. Friedman and Matthias Felleisen},
  year = {1996},
  researchr = {https://researchr.org/publication/0096032},
  cites = {0},
  citedby = {0},
  publisher = {MIT Press},
  isbn = {978-0-262-56100-6},
}

@inproceedings{KrishnamurthiFF98,
  title = {Synthesizing Object-Oriented and Functional Design to Promote Re-Use},
  author = {Shriram Krishnamurthi and Matthias Felleisen and Daniel P. Friedman},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1445/14450091.htm},
  tags = {design},
  researchr = {https://researchr.org/publication/KrishnamurthiFF98},
  cites = {0},
  citedby = {0},
  pages = {91-113},
  booktitle = {ECCOP 98 - Object-Oriented Programming, 12th European Conference, Brussels, Belgium, July 20-24, 1998, Proceedings},
  editor = {Eric Jul},
  volume = {1445},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-64737-6},
}

@article{FelleisenK09,
  title = {Viewpoint - Why computer science doesn t matter},
  author = {Matthias Felleisen and Shriram Krishnamurthi},
  year = {2009},
  doi = {10.1145/1538788.1538803},
  url = {http://doi.acm.org/10.1145/1538788.1538803},
  tags = {e-science},
  researchr = {https://researchr.org/publication/FelleisenK09},
  cites = {0},
  citedby = {0},
  journal = {Communications of the ACM},
  volume = {52},
  number = {7},
  pages = {37-40},
}

@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{CartwrightF94,
  title = {Extensible Denotational Language Specifications},
  author = {Robert Cartwright and Matthias Felleisen},
  year = {1994},
  tags = {extensible language},
  researchr = {https://researchr.org/publication/CartwrightF94},
  cites = {0},
  citedby = {0},
  pages = {244-272},
  booktitle = {Theoretical Aspects of Computer Software, International Conference TACS  94, Sendai, Japan, April 19-22, 1994, Proceedings},
  editor = {Masami Hagiya and John C. Mitchell},
  volume = {789},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-57887-0},
}

@inproceedings{StricklandTF09,
  title = {Practical Variable-Arity Polymorphism},
  author = {T. Stephen Strickland and Sam Tobin-Hochstadt and Matthias Felleisen},
  year = {2009},
  doi = {10.1007/978-3-642-00590-9_3},
  url = {http://dx.doi.org/10.1007/978-3-642-00590-9_3},
  researchr = {https://researchr.org/publication/StricklandTF09},
  cites = {0},
  citedby = {0},
  pages = {32-46},
  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{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{Felleisen00,
  title = {Components and program analyses},
  author = {Matthias Felleisen},
  year = {2000},
  doi = {10.1145/340855.340887},
  url = {http://doi.acm.org/10.1145/340855.340887},
  researchr = {https://researchr.org/publication/Felleisen00},
  cites = {0},
  citedby = {0},
  journal = {ACM SIGSOFT Software Engineering Notes},
  volume = {25},
  number = {1},
  pages = {49-50},
}

@inproceedings{StricklandF09-0,
  title = {Nested and Dynamic Contract Boundaries},
  author = {T. Stephen Strickland and Matthias Felleisen},
  year = {2009},
  doi = {10.1007/978-3-642-16478-1_9},
  url = {http://dx.doi.org/10.1007/978-3-642-16478-1_9},
  researchr = {https://researchr.org/publication/StricklandF09-0},
  cites = {0},
  citedby = {0},
  pages = {141-158},
  booktitle = {Implementation and Application of Functional Languages - 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers},
  editor = {Marco T. Morazán and Sven-Bodo Scholz},
  volume = {6041},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-16477-4},
}

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

@inproceedings{SitaramF90:0,
  title = {Reasoning with Continuations II: Full Abstraction for Models of Control},
  author = {Dorai Sitaram and Matthias Felleisen},
  year = {1990},
  doi = {10.1145/91556.91626},
  url = {http://doi.acm.org/10.1145/91556.91626},
  tags = {abstraction},
  researchr = {https://researchr.org/publication/SitaramF90%3A0},
  cites = {0},
  citedby = {0},
  pages = {161-175},
  booktitle = {LISP and Functional Programming},
}
@proceedings{icfp:1998,
  title = {Proceedings of the third ACM SIGPLAN international conference on Functional programming},
  year = {1998},
  month = {September},
  tags = {functional programming, programming},
  researchr = {https://researchr.org/publication/icfp%3A1998},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the third ACM SIGPLAN international conference on Functional programming},
  conference = {ICFP},
  editor = {Matthias Felleisen and Paul Hudak and Christian Queinnec},
  address = {Baltimore, Maryland, United States},
  publisher = {ACM},
}

@proceedings{icfp-1998,
  title = {Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), Baltimore, Maryland, USA, September 27-29, 1998},
  year = {1998},
  note = {SIGPLAN Notices 34(1), January 1999},
  researchr = {https://researchr.org/publication/icfp-1998},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), Baltimore, Maryland, USA, September 27-29, 1998},
  conference = {ICFP},
  editor = {Matthias Felleisen and Paul Hudak and Christian Queinnec},
  publisher = {ACM},
  isbn = {0-58113-024-4},
}

@proceedings{popl:2007,
  title = {Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007},
  year = {2007},
  tags = {programming languages, principles, programming},
  researchr = {https://researchr.org/publication/popl%3A2007},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007},
  conference = {POPL},
  editor = {Martin Hofmann and Matthias Felleisen},
  publisher = {ACM},
  isbn = {1-59593-575-4},
}

@proceedings{esop-2013,
  title = {Programming Languages and Systems - 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings},
  year = {2013},
  doi = {10.1007/978-3-642-37036-6},
  url = {http://dx.doi.org/10.1007/978-3-642-37036-6},
  researchr = {https://researchr.org/publication/esop-2013},
  cites = {0},
  citedby = {0},
  booktitle = {Programming Languages and Systems - 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings},
  conference = {ESOP},
  editor = {Matthias Felleisen and Philippa Gardner},
  volume = {7792},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-37035-9},
}