publications:
- title: "The Call-By-Need lambda Calculus"
  author:
  - name: "Zena M. Ariola"
    link: "https://researchr.org/alias/zena-m.-ariola"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "1997"
  researchr: "https://researchr.org/publication/AriolaF97"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "7"
  number: "3"
  pages: "265-301"
  kind: "article"
  key: "AriolaF97"
- title: "Evaluating Call-by-Need on the Control Stack"
  author:
  - name: "Stephen Chang"
    link: "https://researchr.org/alias/stephen-chang"
  - name: "David Van Horn"
    link: "https://researchr.org/alias/david-van-horn"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-22941-1_1"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-22941-1_1"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sfp/ChangHF10"
  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:
  - name: "Rex L. Page"
    link: "https://researchr.org/alias/rex-l.-page"
  - name: "Zoltán Horváth"
    link: "https://researchr.org/alias/zolt%C3%A1n-horv%C3%A1th"
  - name: "Viktória Zsók"
    link: "https://researchr.org/alias/vikt%C3%B3ria-zs%C3%B3k"
  volume: "6546"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-22940-4"
  kind: "inproceedings"
  key: "ChangHF10"
- title: "Functional Objects"
  author:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3086&spage=267"
  links:
    doi: "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:
  - name: "Martin Odersky"
    link: "http://lampwww.epfl.ch/~odersky/"
  volume: "3086"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-22159-X"
  kind: "inproceedings"
  key: "Felleisen04"
- title: "From POPL to the classroom and back"
  author:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/503272.503285"
  links:
    doi: "http://doi.acm.org/10.1145/503272.503285"
  researchr: "https://researchr.org/publication/Felleisen02%3A0"
  cites: 0
  citedby: 0
  pages: "126-127"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "Felleisen02:0"
- title: "Hygienic macro expansion"
  author:
  - name: "Kohlbecker, Eugene"
    link: "https://researchr.org/alias/kohlbecker%2C-eugene"
  - name: "Friedman, Daniel P."
    link: "https://researchr.org/alias/friedman%2C-daniel-p."
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  - name: "Duba, Bruce"
    link: "https://researchr.org/alias/duba%2C-bruce"
  year: "1986"
  doi: "http://doi.acm.org/10.1145/319838.319859"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "319859"
- title: "The DrScheme Project: An Overview"
  author:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  - name: "Shriram Krishnamurthi"
    link: "http://www.cs.brown.edu/~sk/"
  year: "1998"
  researchr: "https://researchr.org/publication/FelleisenFFK98"
  cites: 0
  citedby: 0
  journal: "SIGPLAN Notices"
  volume: "33"
  number: "6"
  pages: "17-23"
  kind: "article"
  key: "FelleisenFFK98"
- title: "Feature-Specific Profiling"
  author:
  - name: "Vincent St-Amour"
    link: "https://researchr.org/alias/vincent-st-amour"
  - name: "Leif Andersen"
    link: "https://researchr.org/alias/leif-andersen"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2015"
  doi: "http://dx.doi.org/10.1007/978-3-662-46663-6_3"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-662-46663-6_3"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cc/St-AmourAF15"
  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:
  - name: "Björn Franke"
    link: "https://researchr.org/alias/bj%C3%B6rn-franke"
  volume: "9031"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-662-46662-9"
  kind: "inproceedings"
  key: "St-AmourAF15"
- title: "Fortifying macros"
  author:
  - name: "Ryan Culpepper"
    link: "https://researchr.org/alias/ryan-culpepper"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1863543.1863577"
  links:
    doi: "http://doi.acm.org/10.1145/1863543.1863577"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/CulpepperF10"
  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:
  - name: "Paul Hudak"
    link: "https://researchr.org/alias/paul-hudak"
  - name: "Stephanie Weirich"
    link: "https://researchr.org/alias/stephanie-weirich"
  publisher: "ACM"
  isbn: "978-1-60558-794-3"
  kind: "inproceedings"
  key: "CulpepperF10-0"
- title: "From Macros to Reusable Generative Programming"
  author:
  - name: "Shriram Krishnamurthi"
    link: "http://www.cs.brown.edu/~sk/"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  - name: "Bruce F. Duba"
    link: "https://researchr.org/alias/bruce-f.-duba"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1799/17990105.htm"
  links:
    doi: "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:
  - name: "Krzysztof Czarnecki"
    link: "http://www.swen.uwaterloo.ca/~kczarnec/"
  - name: "Ulrich W. Eisenecker"
    link: "https://researchr.org/alias/ulrich-w.-eisenecker"
  volume: "1799"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-41172-0"
  kind: "inproceedings"
  key: "KrishnamurthiFD99"
- title: "Reasoning About Programs in Continuation-Passing Style"
  author:
  - name: "Amr Sabry"
    link: "https://researchr.org/alias/amr-sabry"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "1992"
  doi: "http://doi.acm.org/10.1145/141471.141563"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "SabryF92"
- title: "ACL2 in DrScheme"
  author:
  - name: "Dale Vaillancourt"
    link: "https://researchr.org/alias/dale-vaillancourt"
  - name: "Rex L. Page"
    link: "https://researchr.org/alias/rex-l.-page"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1217975.1217999"
  links:
    doi: "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:
  - name: "Panagiotis Manolios"
    link: "https://researchr.org/alias/panagiotis-manolios"
  - name: "Matthew Wilding"
    link: "https://researchr.org/alias/matthew-wilding"
  publisher: "ACM"
  isbn: "0-9788493-0-2"
  kind: "inproceedings"
  key: "VaillancourtPF06"
- title: "ICFP 2002: Contracts for higher-order functions"
  author:
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2013"
  doi: "http://doi.acm.org/10.1145/2502508.2502521"
  links:
    doi: "http://doi.acm.org/10.1145/2502508.2502521"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/sigplan/FindlerF13"
  researchr: "https://researchr.org/publication/FindlerF13"
  cites: 0
  citedby: 0
  journal: "SIGPLAN Notices"
  volume: "48"
  number: "4S"
  pages: "34-45"
  kind: "article"
  key: "FindlerF13"
- title: "Coordinated Concurrent Programming in Syndicate"
  author:
  - name: "Tony Garnock-Jones"
    link: "https://researchr.org/alias/tony-garnock-jones"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2016"
  doi: "http://dx.doi.org/10.1007/978-3-662-49498-1_13"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-662-49498-1_13"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/esop/Garnock-JonesF16"
  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:
  - name: "Peter Thiemann"
    link: "https://researchr.org/alias/peter-thiemann"
  volume: "9632"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-662-49497-4"
  kind: "inproceedings"
  key: "Garnock-JonesF16"
- title: "The Semantics of Future and an Application"
  author:
  - name: "Cormac Flanagan"
    link: "https://researchr.org/alias/cormac-flanagan"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  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"
  kind: "article"
  key: "FlanaganF99:0"
- title: "The Essence of Compiling with Continuations"
  author:
  - name: "Cormac Flanagan"
    link: "https://researchr.org/alias/cormac-flanagan"
  - name: "Amr Sabry"
    link: "https://researchr.org/alias/amr-sabry"
  - name: "Bruce F. Duba"
    link: "https://researchr.org/alias/bruce-f.-duba"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "1993"
  tags:
  - "compiler"
  researchr: "https://researchr.org/publication/FlanaganSDF93"
  cites: 0
  citedby: 0
  pages: "237-247"
  booktitle: "PLDI"
  kind: "inproceedings"
  key: "FlanaganSDF93"
- title: "Typing the Numeric Tower"
  author:
  - name: "Vincent St-Amour"
    link: "https://researchr.org/alias/vincent-st-amour"
  - name: "Sam Tobin-Hochstadt"
    link: "https://researchr.org/alias/sam-tobin-hochstadt"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-27694-1_21"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-27694-1_21"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/padl/St-AmourTFF12"
  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:
  - name: "Claudio V. Russo"
    link: "https://researchr.org/alias/claudio-v.-russo"
  - name: "Neng-Fa Zhou"
    link: "https://researchr.org/alias/neng-fa-zhou"
  volume: "7149"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-27693-4"
  kind: "inproceedings"
  key: "St-AmourTFF12"
- title: "Fully Abstract Semantics for Observably Sequential Languages"
  author:
  - name: "Robert Cartwright"
    link: "https://researchr.org/alias/robert-cartwright"
  - name: "Pierre-Louis Curien"
    link: "https://researchr.org/alias/pierre-louis-curien"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  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"
  kind: "article"
  key: "CartwrightCF94"
- title: "SPCF: Its Model, Calculus, and Computational Power (Preliminary Version)"
  author:
  - name: "Ramarao Kanneganti"
    link: "https://researchr.org/alias/ramarao-kanneganti"
  - name: "Robert Cartwright"
    link: "https://researchr.org/alias/robert-cartwright"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  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:
  - name: "J. W. de Bakker"
    link: "https://researchr.org/alias/j.-w.-de-bakker"
  - name: "Willem P. de Roever"
    link: "https://researchr.org/alias/willem-p.-de-roever"
  - name: "Grzegorz Rozenberg"
    link: "https://researchr.org/alias/grzegorz-rozenberg"
  volume: "666"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-56596-5"
  kind: "inproceedings"
  key: "KannegantiCF92"
- title: "The Network as a Language Construct"
  author:
  - name: "Tony Garnock-Jones"
    link: "https://researchr.org/alias/tony-garnock-jones"
  - name: "Sam Tobin-Hochstadt"
    link: "https://researchr.org/alias/sam-tobin-hochstadt"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2014"
  doi: "http://dx.doi.org/10.1007/978-3-642-54833-8_25"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-54833-8_25"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/esop/Garnock-JonesTF14"
  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:
  - name: "Zhong Shao"
    link: "https://researchr.org/alias/zhong-shao"
  volume: "8410"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-54832-1"
  kind: "inproceedings"
  key: "Garnock-JonesTF14"
- title: "The essence of compiling with continuations (with retrospective)"
  author:
  - name: "Cormac Flanagan"
    link: "https://researchr.org/alias/cormac-flanagan"
  - name: "Amr Sabry"
    link: "https://researchr.org/alias/amr-sabry"
  - name: "Bruce F. Duba"
    link: "https://researchr.org/alias/bruce-f.-duba"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "1993"
  doi: "http://doi.acm.org/10.1145/989393.989443"
  links:
    doi: "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:
  - name: "Kathryn S. McKinley"
    link: "https://researchr.org/alias/kathryn-s.-mckinley"
  publisher: "ACM"
  isbn: "1-58113-623-4"
  kind: "inproceedings"
  key: "FlanaganSDF93a"
- title: "Programming the Web with High-Level Programming Languages"
  author:
  - name: "Paul T. Graunke"
    link: "https://researchr.org/alias/paul-t.-graunke"
  - name: "Shriram Krishnamurthi"
    link: "http://www.cs.brown.edu/~sk/"
  - name: "Steve Van Der Hoeven"
    link: "https://researchr.org/alias/steve-van-der-hoeven"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2028/20280122.htm"
  links:
    doi: "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:
  - name: "David Sands"
    link: "https://researchr.org/alias/david-sands"
  volume: "2028"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-41862-8"
  kind: "inproceedings"
  key: "GraunkeKHF01"
- title: "Abstract Models of Memory Management"
  author:
  - name: "J. Gregory Morrisett"
    link: "https://researchr.org/alias/j.-gregory-morrisett"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  - name: "Robert Harper"
    link: "http://www.cs.cmu.edu/~rwh/"
  year: "1995"
  tags:
  - "meta-model"
  - "memory management"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/MorrisettFH95"
  cites: 0
  citedby: 0
  pages: "66-77"
  booktitle: "FPCA"
  kind: "inproceedings"
  key: "MorrisettFH95"
- title: "A Visual Environment for Developing Context-Sensitive Term Rewriting Systems"
  author:
  - name: "Jacob Matthews"
    link: "https://researchr.org/alias/jacob-matthews"
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3091&spage=301"
  abstract: "Over the past decade, researchers have found context-sensitive term-rewriting semantics to be powerful and expressive tools for modeling programming languages, particularly in establishing type soundness proofs. Unfortunately, developing such semantics is an error-prone activity. To address that problem, we have designed PLT Redex, an embedded domain-specific language that helps users interactively create and debug context-sensitive term-rewriting systems. We introduce the tool with a series of examples and discuss our experience using it in courses and developing an operational semantics for R5RS Scheme."
  links:
    doi: "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:
  - name: "Vincent van Oostrom"
    link: "https://researchr.org/alias/vincent-van-oostrom"
  volume: "3091"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-22153-0"
  kind: "inproceedings"
  key: "MatthewsFFF04"
- title: "The Theory and Practice of First-Class Prompts"
  author:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "1988"
  researchr: "https://researchr.org/publication/Felleisen88%3A0"
  cites: 0
  citedby: 0
  pages: "180-190"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "Felleisen88:0"
- title: "The Semantics of Future and Its Use in Program Optimizations"
  author:
  - name: "Cormac Flanagan"
    link: "https://researchr.org/alias/cormac-flanagan"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "1995"
  tags:
  - "optimization"
  - "semantics"
  - "program optimization"
  researchr: "https://researchr.org/publication/FlanaganF95"
  cites: 0
  citedby: 0
  pages: "209-220"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "FlanaganF95"
- title: "Static Debugging: Browsing the Web of Program Invariants"
  author:
  - name: "Cormac Flanagan"
    link: "https://researchr.org/alias/cormac-flanagan"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  - name: "Shriram Krishnamurthi"
    link: "http://www.cs.brown.edu/~sk/"
  - name: "Stephanie Weirich"
    link: "http://www.cis.upenn.edu/~sweirich/"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "1996"
  tags:
  - "debugging"
  researchr: "https://researchr.org/publication/FlanaganFKWF96"
  cites: 0
  citedby: 0
  pages: "23-32"
  booktitle: "PLDI"
  kind: "inproceedings"
  key: "FlanaganFKWF96"
- title: "Semantic Casts: Contracts and Structural Subtyping in a Nominal World"
  author:
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3086&spage=364"
  links:
    doi: "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:
  - name: "Martin Odersky"
    link: "http://lampwww.epfl.ch/~odersky/"
  volume: "3086"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-22159-X"
  kind: "inproceedings"
  key: "FindlerFF04"
- title: "Componential Set-Based Analysis"
  author:
  - name: "Cormac Flanagan"
    link: "https://researchr.org/alias/cormac-flanagan"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "1997"
  tags:
  - "rule-based"
  - "analysis"
  researchr: "https://researchr.org/publication/FlanaganF97"
  cites: 0
  citedby: 0
  pages: "235-248"
  booktitle: "PLDI"
  kind: "inproceedings"
  key: "FlanaganF97"
- title: "Towards Practical Gradual Typing"
  author:
  - name: "Asumu Takikawa"
    link: "https://researchr.org/alias/asumu-takikawa"
  - name: "Daniel Feltey"
    link: "https://researchr.org/alias/daniel-feltey"
  - name: "Earl Dean"
    link: "https://researchr.org/alias/earl-dean"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  - name: "Sam Tobin-Hochstadt"
    link: "https://researchr.org/alias/sam-tobin-hochstadt"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2015"
  doi: "http://dx.doi.org/10.4230/LIPIcs.ECOOP.2015.4"
  links:
    doi: "http://dx.doi.org/10.4230/LIPIcs.ECOOP.2015.4"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ecoop/TakikawaFDFFTF15"
  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:
  - name: "John Tang Boyland"
    link: "https://researchr.org/alias/john-tang-boyland"
  volume: "37"
  series: "LIPIcs"
  publisher: "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik"
  isbn: "978-3-939897-86-6"
  kind: "inproceedings"
  key: "TakikawaFDFFTF15"
- title: "The Revised Report on the Syntactic Theories of Sequential Control and State"
  author:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  - name: "Robert Hieb"
    link: "https://researchr.org/alias/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"
  kind: "article"
  key: "FelleisenH92"
- title: "A Tail-Recursive Semantics for Stack Inspections"
  author:
  - name: "John Clements"
    link: "https://researchr.org/alias/john-clements"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2618/26180022.htm"
  links:
    doi: "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:
  - name: "Pierpaolo Degano"
    link: "https://researchr.org/alias/pierpaolo-degano"
  volume: "2618"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-00886-1"
  kind: "inproceedings"
  key: "ClementsF03"
- title: "The TeachScheme! Project: Computing and Programming for Every Student"
  author:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  - name: "Shriram Krishnamurthi"
    link: "http://www.cs.brown.edu/~sk/"
  year: "2004"
  doi: "http://dx.doi.org/10.1076/csed.14.1.55.23499"
  links:
    doi: "http://dx.doi.org/10.1076/csed.14.1.55.23499"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/csedu/FelleisenFFK04"
  researchr: "https://researchr.org/publication/FelleisenFFK04-0"
  cites: 0
  citedby: 0
  journal: "Computer Science Education"
  volume: "14"
  number: "1"
  pages: "55-77"
  kind: "article"
  key: "FelleisenFFK04-0"
- title: "A Reduction Semantics for Imperative Higher-Order Languages"
  author:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  - name: "Daniel P. Friedman"
    link: "https://researchr.org/alias/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:
  - name: "J. W. de Bakker"
    link: "https://researchr.org/alias/j.-w.-de-bakker"
  - name: "A. J. Nijman"
    link: "https://researchr.org/alias/a.-j.-nijman"
  - name: "Philip C. Treleaven"
    link: "https://researchr.org/alias/philip-c.-treleaven"
  volume: "259"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-17945-3"
  kind: "inproceedings"
  key: "FelleisenF87"
- title: "Observable Sequentiality and Full Abstraction"
  author:
  - name: "Robert Cartwright"
    link: "https://researchr.org/alias/robert-cartwright"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "1992"
  tags:
  - "abstraction"
  researchr: "https://researchr.org/publication/CartwrightF92"
  cites: 0
  citedby: 0
  pages: "328-342"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "CartwrightF92"
- title: "Editorial"
  author:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2014"
  doi: "http://dx.doi.org/10.1017/S0956796814000197"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796814000197"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jfp/Felleisen14"
  researchr: "https://researchr.org/publication/Felleisen14"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "24"
  number: "6"
  pages: "611"
  kind: "article"
  key: "Felleisen14"
- title: "Optimization coaching: optimizers learn to communicate with programmers"
  author:
  - name: "Vincent St-Amour"
    link: "https://researchr.org/alias/vincent-st-amour"
  - name: "Sam Tobin-Hochstadt"
    link: "https://researchr.org/alias/sam-tobin-hochstadt"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2012"
  doi: "http://doi.acm.org/10.1145/2384616.2384629"
  links:
    doi: "http://doi.acm.org/10.1145/2384616.2384629"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/St-AmourTF12"
  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:
  - name: "Gary T. Leavens"
    link: "https://researchr.org/alias/gary-t.-leavens"
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  publisher: "ACM"
  isbn: "978-1-4503-1561-6"
  kind: "inproceedings"
  key: "St-AmourTF12"
- title: "Reflections on Landins s J-Operator: A Partly Historical Note"
  author:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  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"
  kind: "article"
  key: "Felleisen87"
- title: "From Stack Traces to Lazy Rewriting Sequences"
  author:
  - name: "Stephen Chang"
    link: "https://researchr.org/alias/stephen-chang"
  - name: "Eli Barzilay"
    link: "https://researchr.org/alias/eli-barzilay"
  - name: "John Clements"
    link: "https://researchr.org/alias/john-clements"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/978-3-642-34407-7_7"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-34407-7_7"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ifl/ChangBCF11"
  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:
  - name: "Andy Gill"
    link: "http://www.ittc.ku.edu/~andygill/"
  - name: "Jurriaan Hage"
    link: "https://researchr.org/alias/jurriaan-hage"
  volume: "7257"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-34406-0"
  kind: "inproceedings"
  key: "ChangBCF11"
- title: "Contracts for first-class modules"
  author:
  - name: "T. Stephen Strickland"
    link: "https://researchr.org/alias/t.-stephen-strickland"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1640134.1640140"
  links:
    doi: "http://doi.acm.org/10.1145/1640134.1640140"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/dls/StricklandF09"
  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:
  - name: "James Noble"
    link: "http://homepages.ecs.vuw.ac.nz/~kjx/"
  publisher: "ACM"
  isbn: "978-1-60558-769-1"
  kind: "inproceedings"
  key: "StricklandF09"
- title: "Debugging macros"
  author:
  - name: "Ryan Culpepper"
    link: "https://researchr.org/alias/ryan-culpepper"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1289971.1289994"
  links:
    doi: "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:
  - name: "Charles Consel"
    link: "https://researchr.org/alias/charles-consel"
  - name: "Julia L. Lawall"
    link: "http://www.diku.dk/hjemmesider/ansatte/julia/"
  address: "Salzburg, Austria"
  publisher: "ACM"
  isbn: "978-1-59593-855-8"
  kind: "inproceedings"
  key: "CulpepperF07"
- title: "Future contracts"
  author:
  - name: "Christos Dimoulas"
    link: "https://researchr.org/alias/christos-dimoulas"
  - name: "Riccardo Pucella"
    link: "https://researchr.org/alias/riccardo-pucella"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1599410.1599435"
  links:
    doi: "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:
  - name: "Antonio Porto"
    link: "https://researchr.org/alias/antonio-porto"
  - name: "Francisco Javier Lapez-Fraguas"
    link: "https://researchr.org/alias/francisco-javier-lapez-fraguas"
  publisher: "ACM"
  isbn: "978-1-60558-568-0"
  kind: "inproceedings"
  key: "DimoulasPF09"
- title: "Functional programming and theorem proving for undergraduates: a progress report"
  author:
  - name: "Rex L. Page"
    link: "https://researchr.org/alias/rex-l.-page"
  - name: "Carl Eastlund"
    link: "https://researchr.org/alias/carl-eastlund"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1411260.1411264"
  links:
    doi: "http://doi.acm.org/10.1145/1411260.1411264"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/PageEF08"
  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:
  - name: "Frank Huch"
    link: "https://researchr.org/alias/frank-huch"
  - name: "Adam Parkin"
    link: "https://researchr.org/alias/adam-parkin"
  publisher: "ACM"
  isbn: "978-1-60558-068-5"
  kind: "inproceedings"
  key: "PageEF08"
- title: "The little MLer"
  author:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  - name: "Daniel P. Friedman"
    link: "https://researchr.org/alias/daniel-p.-friedman"
  year: "1996"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/books/daglib/0096034"
  researchr: "https://researchr.org/publication/0096034"
  cites: 0
  citedby: 0
  publisher: "MIT Press"
  isbn: "978-0-262-56114-3"
  kind: "book"
  key: "0096034"
- title: "Multilingual component programming in racket"
  author:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/2047862.2047864"
  links:
    doi: "http://doi.acm.org/10.1145/2047862.2047864"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/gpce/Felleisen11"
  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:
  - name: "Ewen Denney"
    link: "https://researchr.org/alias/ewen-denney"
  - name: "Ulrik Pagh Schultz"
    link: "https://researchr.org/alias/ulrik-pagh-schultz"
  publisher: "ACM"
  isbn: "978-1-4503-0689-8"
  kind: "inproceedings"
  key: "Felleisen11-0"
- title: "lambda-V-CS: An Extended lambda-Calculus for Scheme"
  author:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "1988"
  doi: "http://doi.acm.org/10.1145/62678.62686"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "Felleisen88"
- title: "On the Expressive Power of Programming Languages"
  author:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  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"
  kind: "article"
  key: "Felleisen91"
- title: "Program Units as Higher-Order Modules"
  author:
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "1997"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/35/23/show/Products/notes/index.htt#019"
  links:
    doi: "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"
  kind: "article"
  key: "FlattF97"
- title: "Modeling Continuations without Continuations"
  author:
  - name: "Dorai Sitaram"
    link: "https://researchr.org/alias/dorai-sitaram"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "1991"
  tags:
  - "meta-model"
  - "modeling"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/SitaramF91"
  cites: 0
  citedby: 0
  pages: "185-196"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "SitaramF91"
- title: "The Call-by-Need Lambda Calculus, Revisited"
  author:
  - name: "Stephen Chang"
    link: "https://researchr.org/alias/stephen-chang"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-28869-2_7"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-28869-2_7"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/esop/ChangF12"
  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:
  - name: "Helmut Seidl"
    link: "https://researchr.org/alias/helmut-seidl"
  volume: "7211"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-28868-5"
  kind: "inproceedings"
  key: "ChangF12-0"
- title: "Contracts for higher-order functions"
  author:
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/581478.581484"
  links:
    doi: "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)"
  kind: "inproceedings"
  key: "FindlerF02"
- title: "Editorial"
  author:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  - name: "Julia L. Lawall"
    link: "http://www.diku.dk/hjemmesider/ansatte/julia/"
  - name: "Manuel Serrano"
    link: "https://researchr.org/alias/manuel-serrano"
  - name: "Olin Shivers"
    link: "https://researchr.org/alias/olin-shivers"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/s10990-005-4875-6"
  links:
    doi: "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"
  kind: "article"
  key: "FelleisenLSS05"
- title: "Languages as libraries"
  author:
  - name: "Sam Tobin-Hochstadt"
    link: "https://researchr.org/alias/sam-tobin-hochstadt"
  - name: "Vincent St-Amour"
    link: "https://researchr.org/alias/vincent-st-amour"
  - name: "Ryan Culpepper"
    link: "https://researchr.org/alias/ryan-culpepper"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/1993498.1993514"
  links:
    doi: "http://doi.acm.org/10.1145/1993498.1993514"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pldi/Tobin-HochstadtSCFF11"
  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:
  - name: "Mary W. Hall"
    link: "https://researchr.org/alias/mary-w.-hall"
  - name: "David A. Padua"
    link: "https://researchr.org/alias/david-a.-padua"
  publisher: "ACM"
  isbn: "978-1-4503-0663-8"
  kind: "inproceedings"
  key: "Tobin-HochstadtSCFF11"
- title: "Welcome to the Educational Pearls Column"
  author:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2003"
  doi: "http://dx.doi.org/10.1017/S0956796803004799"
  links:
    doi: "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"
  kind: "article"
  key: "Felleison03"
- title: "The Call-by-Need Lambda Calculus"
  author:
  - name: "Zena M. Ariola"
    link: "https://researchr.org/alias/zena-m.-ariola"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  - name: "John Maraist"
    link: "https://researchr.org/alias/john-maraist"
  - name: "Martin Odersky"
    link: "http://lampwww.epfl.ch/~odersky/"
  - name: "Philip Wadler"
    link: "http://homepages.inf.ed.ac.uk/wadler/"
  year: "1995"
  researchr: "https://researchr.org/publication/AriolaFMOW95"
  cites: 0
  citedby: 0
  pages: "233-246"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "AriolaFMOW95"
- title: "Reasoning with Continuations"
  author:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  - name: "Daniel P. Friedman"
    link: "https://researchr.org/alias/daniel-p.-friedman"
  - name: "Eugene E. Kohlbecker"
    link: "https://researchr.org/alias/eugene-e.-kohlbecker"
  - name: "Bruce F. Duba"
    link: "https://researchr.org/alias/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"
  kind: "inproceedings"
  key: "FelleisenFKD86"
- title: "Oh Lord, please don't let contracts be misunderstood (functional pearl)"
  author:
  - name: "Christos Dimoulas"
    link: "https://researchr.org/alias/christos-dimoulas"
  - name: "Max S. New"
    link: "https://researchr.org/alias/max-s.-new"
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2016"
  doi: "http://doi.acm.org/10.1145/2951913.2951930"
  links:
    doi: "http://doi.acm.org/10.1145/2951913.2951930"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/DimoulasNFF16"
  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:
  - name: "Jacques Garrigue"
    link: "https://researchr.org/alias/jacques-garrigue"
  - name: "Gabriele Keller"
    link: "https://researchr.org/alias/gabriele-keller"
  - name: "Eijiro Sumii"
    link: "https://researchr.org/alias/eijiro-sumii"
  publisher: "ACM"
  isbn: "978-1-4503-4219-3"
  kind: "inproceedings"
  key: "DimoulasNFF16"
- title: "How to design class hierarchies"
  author:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1085114.1085115"
  links:
    doi: "http://doi.acm.org/10.1145/1085114.1085115"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/Felleisen05"
  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:
  - name: "Robby Bruce Findler"
    link: "https://researchr.org/alias/robby-bruce-findler"
  - name: "Michael Hanus"
    link: "https://researchr.org/alias/michael-hanus"
  - name: "Simon Thompson"
    link: "https://researchr.org/alias/simon-thompson"
  publisher: "ACM"
  isbn: "1-59593-067-1"
  kind: "inproceedings"
  key: "Felleisen05"
- title: "Adding delimited and composable control to a production programming environment"
  author:
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  - name: "Gang Yu"
    link: "https://researchr.org/alias/gang-yu"
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1291151.1291178"
  links:
    doi: "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:
  - name: "Ralf Hinze"
    link: "https://researchr.org/alias/ralf-hinze"
  - name: "Norman Ramsey"
    link: "http://www.cs.tufts.edu/~nr/"
  publisher: "ACM"
  isbn: "978-1-59593-815-2"
  kind: "inproceedings"
  key: "FlattYFF07"
- title: "Debugging hygienic macros"
  author:
  - name: "Ryan Culpepper"
    link: "https://researchr.org/alias/ryan-culpepper"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2010"
  doi: "http://dx.doi.org/10.1016/j.scico.2009.06.001"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2009.06.001"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/scp/CulpepperF10"
  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"
  kind: "article"
  key: "CulpepperF10"
- title: "Continuations from generalized stack inspection"
  author:
  - name: "Greg Pettyjohn"
    link: "https://researchr.org/alias/greg-pettyjohn"
  - name: "John Clements"
    link: "https://researchr.org/alias/john-clements"
  - name: "Joe Marshall"
    link: "https://researchr.org/alias/joe-marshall"
  - name: "Shriram Krishnamurthi"
    link: "http://www.cs.brown.edu/~sk/"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1086365.1086393"
  links:
    doi: "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:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Benjamin C. Pierce"
    link: "http://www.cis.upenn.edu/~bcpierce/"
  publisher: "ACM"
  isbn: "1-59593-064-7"
  kind: "inproceedings"
  key: "PettyjohnCMKF05"
- title: "Scheme with Classes, Mixins, and Traits"
  author:
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11924661_17"
  links:
    doi: "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:
  - name: "Naoki Kobayashi"
    link: "https://researchr.org/alias/naoki-kobayashi"
  volume: "4279"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-48937-1"
  kind: "inproceedings"
  key: "FlattFF06"
- title: "Modular set-based analysis from contracts"
  author:
  - name: "Philippe Meunier"
    link: "https://researchr.org/alias/philippe-meunier"
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1111037.1111057"
  links:
    doi: "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:
  - name: "J. Gregory Morrisett"
    link: "https://researchr.org/alias/j.-gregory-morrisett"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  publisher: "ACM"
  isbn: "1-59593-027-2"
  kind: "inproceedings"
  key: "MeunierFF06"
- title: "Implementation and use of the PLT scheme Web server"
  author:
  - name: "Shriram Krishnamurthi"
    link: "http://www.cs.brown.edu/~sk/"
  - name: "Peter Walton Hopkins"
    link: "https://researchr.org/alias/peter-walton-hopkins"
  - name: "Jay A. McCarthy"
    link: "https://researchr.org/alias/jay-a.-mccarthy"
  - name: "Paul T. Graunke"
    link: "https://researchr.org/alias/paul-t.-graunke"
  - name: "Greg Pettyjohn"
    link: "https://researchr.org/alias/greg-pettyjohn"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/s10990-007-9008-y"
  links:
    doi: "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"
  kind: "article"
  key: "KrishnamurthiHMGPF07"
- title: "Units: Cool Modules for HOT Languages"
  author:
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "1998"
  abstract: "A module system ought to enable assembly-line programming using separate compilation and an expressive linking language. Separate compilation allows programmers to develop parts of a program independently. A linking language gives programmers precise control over the assembly of parts into a whole. This paper presents models of program units, MzScheme's module language for assembly-line programming. Units support separate compilation, independent module reuse, cyclic dependencies, hierarchical structuring, and dynamic linking. The models explain how to integrate units with untyped and typed languages such as Scheme and ML."
  researchr: "https://researchr.org/publication/FlattF98"
  cites: 0
  citedby: 0
  pages: "236-248"
  booktitle: "PLDI"
  kind: "inproceedings"
  key: "FlattF98"
- title: "Contracts for first-class classes"
  author:
  - name: "T. Stephen Strickland"
    link: "https://researchr.org/alias/t.-stephen-strickland"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1869631.1869642"
  links:
    doi: "http://doi.acm.org/10.1145/1869631.1869642"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/dls/StricklandF10"
  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:
  - name: "William D. Clinger"
    link: "https://researchr.org/alias/william-d.-clinger"
  publisher: "ACM"
  isbn: "978-1-4503-0405-4"
  kind: "inproceedings"
  key: "StricklandF10"
- title: "Profiling for laziness"
  author:
  - name: "Stephen Chang"
    link: "https://researchr.org/alias/stephen-chang"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2014"
  doi: "http://doi.acm.org/10.1145/2535838.2535887"
  links:
    doi: "http://doi.acm.org/10.1145/2535838.2535887"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/popl/ChangF14"
  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:
  - name: "Suresh Jagannathan"
    link: "https://researchr.org/alias/suresh-jagannathan"
  - name: "Peter Sewell"
    link: "https://researchr.org/alias/peter-sewell"
  publisher: "ACM"
  isbn: "978-1-4503-2544-8"
  kind: "inproceedings"
  key: "ChangF14"
- title: "A Syntactic Theory of Sequential State"
  author:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  - name: "Daniel P. Friedman"
    link: "https://researchr.org/alias/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"
  kind: "article"
  key: "FelleisenF89"
- title: "Option contracts"
  author:
  - name: "Christos Dimoulas"
    link: "https://researchr.org/alias/christos-dimoulas"
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2013"
  doi: "http://doi.acm.org/10.1145/2509136.2509548"
  links:
    doi: "http://doi.acm.org/10.1145/2509136.2509548"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/DimoulasFF13"
  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:
  - name: "Antony L. Hosking"
    link: "https://researchr.org/alias/antony-l.-hosking"
  - name: "Patrick Th. Eugster"
    link: "https://researchr.org/alias/patrick-th.-eugster"
  - name: "Cristina V. Lopes"
    link: "https://researchr.org/alias/cristina-v.-lopes"
  publisher: "ACM"
  isbn: "978-1-4503-2374-1"
  kind: "inproceedings"
  key: "DimoulasFF13"
- title: "Behavioral contracts and behavioral subtyping"
  author:
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  - name: "Mario Latendresse"
    link: "https://researchr.org/alias/mario-latendresse"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2001"
  doi: "http://doi.acm.org/10.1145/503209.503240"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "FindlerLF01"
- title: "Why teach programming languages in this day and age and how to go about it"
  author:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1480828.1480840"
  links:
    doi: "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"
  kind: "article"
  key: "Felleisen08"
- title: "SIGPLAN Response to the Ironman Draft of the Computing Curricula 2001"
  author:
  - name: "Ron Cytron"
    link: "https://researchr.org/alias/ron-cytron"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2001"
  researchr: "https://researchr.org/publication/CytronF01"
  cites: 0
  citedby: 0
  journal: "SIGPLAN Notices"
  volume: "36"
  number: "4"
  pages: "3-4"
  kind: "article"
  key: "CytronF01"
- title: "Program Verification Through Soft Typing"
  author:
  - name: "Robert Cartwright"
    link: "https://researchr.org/alias/robert-cartwright"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  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"
  kind: "article"
  key: "CartwrightF96"
- title: "The Semantics of Program Dependence"
  author:
  - name: "Robert Cartwright"
    link: "https://researchr.org/alias/robert-cartwright"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "1989"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/CartwrightF89"
  cites: 0
  citedby: 0
  pages: "13-27"
  booktitle: "PLDI"
  kind: "inproceedings"
  key: "CartwrightF89"
- title: "The Racket Manifesto"
  author:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  - name: "Shriram Krishnamurthi"
    link: "http://www.cs.brown.edu/~sk/"
  - name: "Eli Barzilay"
    link: "https://researchr.org/alias/eli-barzilay"
  - name: "Jay A. McCarthy"
    link: "https://researchr.org/alias/jay-a.-mccarthy"
  - name: "Sam Tobin-Hochstadt"
    link: "https://researchr.org/alias/sam-tobin-hochstadt"
  year: "2015"
  doi: "http://dx.doi.org/10.4230/LIPIcs.SNAPL.2015.113"
  links:
    doi: "http://dx.doi.org/10.4230/LIPIcs.SNAPL.2015.113"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/snapl/FelleisenFFKBMT15"
  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:
  - name: "Thomas Ball"
    link: "https://researchr.org/alias/thomas-ball"
  - name: "Rastislav Bodík"
    link: "https://researchr.org/alias/rastislav-bod%C3%ADk"
  - name: "Shriram Krishnamurthi"
    link: "http://www.cs.brown.edu/~sk/"
  - name: "Benjamin S. Lerner"
    link: "https://researchr.org/alias/benjamin-s.-lerner"
  - name: "Greg Morrisett"
    link: "https://researchr.org/alias/greg-morrisett"
  volume: "32"
  series: "LIPIcs"
  publisher: "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik"
  isbn: "978-3-939897-80-4"
  kind: "inproceedings"
  key: "FelleisenFFKBMT15"
- title: "Developing Interactive Web Programs"
  author:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2002"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2638&spage=100"
  links:
    doi: "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:
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  volume: "2638"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40132-6"
  kind: "inproceedings"
  key: "Felleisen02"
- title: "The structure and interpretation of the computer science curriculum"
  author:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  - name: "Shriram Krishnamurthi"
    link: "http://www.cs.brown.edu/~sk/"
  year: "2004"
  doi: "http://dx.doi.org/10.1017/S0956796804005076"
  links:
    doi: "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"
  kind: "article"
  key: "FelleisenFFK04"
- title: "Abstract Continuations: A Mathematical Semantics for Handling Full Jumps"
  author:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  - name: "Mitchell Wand"
    link: "https://researchr.org/alias/mitchell-wand"
  - name: "Daniel P. Friedman"
    link: "https://researchr.org/alias/daniel-p.-friedman"
  - name: "Bruce F. Duba"
    link: "https://researchr.org/alias/bruce-f.-duba"
  year: "1988"
  doi: "http://doi.acm.org/10.1145/62678.62684"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "FelleisenWFD88"
- title: "DrScheme: A Pedagogic Programming Environment for Scheme"
  author:
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  - name: "Cormac Flanagan"
    link: "https://researchr.org/alias/cormac-flanagan"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  - name: "Shriram Krishnamurthi"
    link: "http://www.cs.brown.edu/~sk/"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  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:
  - name: "Hugh Glaser"
    link: "https://researchr.org/alias/hugh-glaser"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Herbert Kuchen"
    link: "https://researchr.org/alias/herbert-kuchen"
  volume: "1292"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-63398-7"
  kind: "inproceedings"
  key: "FindlerFFKF97"
- title: "A Calculus for Assignments in Higher-Order Languages"
  author:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  - name: "Daniel P. Friedman"
    link: "https://researchr.org/alias/daniel-p.-friedman"
  year: "1987"
  researchr: "https://researchr.org/publication/FelleisenF87%3A0"
  cites: 0
  citedby: 0
  pages: "314-325"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "FelleisenF87:0"
- title: "Adding types to untyped languages"
  author:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1708016.1708017"
  links:
    doi: "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:
  - name: "Andrew Kennedy"
    link: "https://researchr.org/alias/andrew-kennedy"
  - name: "Nick Benton"
    link: "https://researchr.org/alias/nick-benton"
  publisher: "ACM"
  isbn: "978-1-60558-891-9"
  kind: "inproceedings"
  key: "Felleisen10"
- title: "Taming Macros"
  author:
  - name: "Ryan Culpepper"
    link: "https://researchr.org/alias/ryan-culpepper"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3286&spage=225"
  links:
    doi: "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:
  - name: "Gabor Karsai"
    link: "http://w3.isis.vanderbilt.edu/gabor/"
  - name: "Eelco Visser"
    link: "http://eelcovisser.org"
  volume: "3286"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-23580-9"
  kind: "inproceedings"
  key: "CulpepperF04"
- title: "On the Expressive Power of Programming Languages"
  author:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "1990"
  abstract: "The literature on programming languages contains an abundance of informal claims on the relative expressive power of programming languages, but there is no framework for formalizing such statements nor for deriving interesting consequences. As a first step in this direction, we develop a formal notion of expressiveness and investigate its properties. To demonstrate the theory's closeness to published intuitions on expressiveness, we analyze the expressive power of several extensions of functional languages. Based on these results, we believe that our system correctly captures many of the informal ideas on expressiveness, and that it constitutes a good basis for further research in this direction."
  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:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  volume: "432"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-52592-0"
  kind: "inproceedings"
  key: "Felleisen90"
- title: "Interlanguage migration: from scripts to programs"
  author:
  - name: "Sam Tobin-Hochstadt"
    link: "https://researchr.org/alias/sam-tobin-hochstadt"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1176617.1176755"
  links:
    doi: "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:
  - name: "Peri L. Tarr"
    link: "https://researchr.org/alias/peri-l.-tarr"
  - name: "William R. Cook"
    link: "http://www.cs.utexas.edu/~wcook/"
  publisher: "ACM"
  isbn: "1-59593-491-X"
  kind: "inproceedings"
  key: "Tobin-HochstadtF06"
- title: "On the Orthogonality of Assignments and Procedures in Algol"
  author:
  - name: "Stephen Weeks"
    link: "https://researchr.org/alias/stephen-weeks"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  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"
  kind: "inproceedings"
  key: "WeeksF93"
- title: "Environmental acquisition revisited"
  author:
  - name: "Richard Cobbe"
    link: "https://researchr.org/alias/richard-cobbe"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1040305.1040307"
  links:
    doi: "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:
  - name: "Jens Palsberg"
    link: "https://researchr.org/alias/jens-palsberg"
  - name: "Martín Abadi"
    link: "https://researchr.org/alias/mart%C3%ADn-abadi"
  publisher: "ACM"
  isbn: "1-58113-830-X"
  kind: "inproceedings"
  key: "CobbeF05"
- title: "Transferring Skills at Solving Word Problems from Computing to Algebra Through Bootstrap"
  author:
  - name: "Emmanuel Schanzer"
    link: "https://researchr.org/alias/emmanuel-schanzer"
  - name: "Kathi Fisler"
    link: "https://researchr.org/alias/kathi-fisler"
  - name: "Shriram Krishnamurthi"
    link: "http://www.cs.brown.edu/~sk/"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2015"
  doi: "http://doi.acm.org/10.1145/2676723.2677238"
  links:
    doi: "http://doi.acm.org/10.1145/2676723.2677238"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sigcse/SchanzerFKF15"
  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:
  - name: "Adrienne Decker"
    link: "https://researchr.org/alias/adrienne-decker"
  - name: "Kurt Eiselt"
    link: "https://researchr.org/alias/kurt-eiselt"
  - name: "Carl Alphonce"
    link: "https://researchr.org/alias/carl-alphonce"
  - name: "Jodi Tims"
    link: "https://researchr.org/alias/jodi-tims"
  publisher: "ACM"
  isbn: "978-1-4503-2966-8"
  kind: "inproceedings"
  key: "SchanzerFKF15"
- title: "Toward a Formal Theory of Extensible Software"
  author:
  - name: "Shriram Krishnamurthi"
    link: "http://www.cs.brown.edu/~sk/"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "1998"
  doi: "http://doi.acm.org/10.1145/288195.288269"
  links:
    doi: "http://doi.acm.org/10.1145/288195.288269"
  researchr: "https://researchr.org/publication/KrishnamurthiF98"
  cites: 0
  citedby: 0
  pages: "88-98"
  booktitle: "SIGSOFT FSE"
  kind: "inproceedings"
  key: "KrishnamurthiF98"
- title: "Safety as a Metric"
  author:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  - name: "Robert Cartwright"
    link: "https://researchr.org/alias/robert-cartwright"
  year: "1999"
  doi: "http://computer.org/proceedings/cseet/0131/01310129abs.htm"
  links:
    doi: "http://computer.org/proceedings/cseet/0131/01310129abs.htm"
  researchr: "https://researchr.org/publication/FelleisenC99"
  cites: 0
  citedby: 0
  pages: "129-131"
  booktitle: "CSEE&T"
  kind: "inproceedings"
  key: "FelleisenC99"
- title: "Is Continuation-Passing Useful for Data Flow Analysis?"
  author:
  - name: "Amr Sabry"
    link: "https://researchr.org/alias/amr-sabry"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "1994"
  tags:
  - "analysis"
  - "data-flow"
  - "data-flow analysis"
  researchr: "https://researchr.org/publication/SabryF94"
  cites: 0
  citedby: 0
  pages: "1-12"
  booktitle: "PLDI"
  kind: "inproceedings"
  key: "SabryF94"
- title: "A Syntactic Approach to Type Soundness"
  author:
  - name: "Andrew K. Wright"
    link: "https://researchr.org/alias/andrew-k.-wright"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "1994"
  month: "11"
  doi: "10.1006/inco.1994.1093"
  abstract: "We present a new approach to proving type soundness for Hindley/Milner-style polymorphic type systems. The keys to our approach are (1) an adaptation of subject reduction theorems from combinatory logic to programming languages, and (2) the use of rewriting techniques for the specification of the language semantics. The approach easily extends from polymorphic functional languages to imperative languages that provide references, exceptions, continuations, and similar features. We illustrate the technique with a type soundness theorem for the core of Standard ML, which includes the first type soundness proof for polymorphic exceptions and continuations. "
  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"
  kind: "article"
  key: "WrightF94"
- title: "Making induction manifest in modular ACL2"
  author:
  - name: "Carl Eastlund"
    link: "https://researchr.org/alias/carl-eastlund"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1599410.1599424"
  links:
    doi: "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:
  - name: "Antonio Porto"
    link: "https://researchr.org/alias/antonio-porto"
  - name: "Francisco Javier Lapez-Fraguas"
    link: "https://researchr.org/alias/francisco-javier-lapez-fraguas"
  publisher: "ACM"
  isbn: "978-1-60558-568-0"
  kind: "inproceedings"
  key: "EastlundF09-0"
- title: "Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine)"
  author:
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  - name: "Shriram Krishnamurthi"
    link: "http://www.cs.brown.edu/~sk/"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "1999"
  doi: "http://doi.acm.org/10.1145/317636.317793"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "FlattFKF99"
- title: "Environmental Acquisition in Network Management"
  author:
  - name: "Mark Logan"
    link: "https://researchr.org/alias/mark-logan"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  - name: "David N. Blank-Edelman"
    link: "https://researchr.org/alias/david-n.-blank-edelman"
  year: "2002"
  doi: "http://www.usenix.org/publications/library/proceedings/lisa02/tech/logan.html"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "LoganFB02"
- title: "Gradual typing for first-class classes"
  author:
  - name: "Asumu Takikawa"
    link: "https://researchr.org/alias/asumu-takikawa"
  - name: "T. Stephen Strickland"
    link: "https://researchr.org/alias/t.-stephen-strickland"
  - name: "Christos Dimoulas"
    link: "https://researchr.org/alias/christos-dimoulas"
  - name: "Sam Tobin-Hochstadt"
    link: "https://researchr.org/alias/sam-tobin-hochstadt"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2012"
  doi: "http://doi.acm.org/10.1145/2384616.2384674"
  links:
    doi: "http://doi.acm.org/10.1145/2384616.2384674"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/TakikawaSDTF12"
  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:
  - name: "Gary T. Leavens"
    link: "https://researchr.org/alias/gary-t.-leavens"
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  publisher: "ACM"
  isbn: "978-1-4503-1561-6"
  kind: "inproceedings"
  key: "TakikawaSDTF12"
- title: "A Closer Look at Export and Import Statements"
  author:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  - name: "Daniel P. Friedman"
    link: "https://researchr.org/alias/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"
  kind: "article"
  key: "FelleisenF86"
- title: "Automatically Restructuring Programs for the We"
  author:
  - name: "Paul T. Graunke"
    link: "https://researchr.org/alias/paul-t.-graunke"
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  - name: "Shriram Krishnamurthi"
    link: "http://www.cs.brown.edu/~sk/"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2001"
  doi: "http://csdl.computer.org/comp/proceedings/ase/2001/1426/00/14260211abs.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "GraunkeFKF01"
- title: "Validating the Unit Correctness of Spreadsheet Programs"
  author:
  - name: "Tudor Antoniu"
    link: "https://researchr.org/alias/tudor-antoniu"
  - name: "Paul A. Steckler"
    link: "https://researchr.org/alias/paul-a.-steckler"
  - name: "Shriram Krishnamurthi"
    link: "http://www.cs.brown.edu/~sk/"
  - name: "Erich Neuwirth"
    link: "https://researchr.org/alias/erich-neuwirth"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2004"
  doi: "http://csdl.computer.org/comp/proceedings/icse/2004/2163/00/21630439abs.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "AntoniuSKNF04"
- title: "Is sound gradual typing dead?"
  author:
  - name: "Asumu Takikawa"
    link: "https://researchr.org/alias/asumu-takikawa"
  - name: "Daniel Feltey"
    link: "https://researchr.org/alias/daniel-feltey"
  - name: "Ben Greenman"
    link: "https://researchr.org/alias/ben-greenman"
  - name: "Max S. New"
    link: "https://researchr.org/alias/max-s.-new"
  - name: "Jan Vitek"
    link: "https://researchr.org/alias/jan-vitek"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2016"
  doi: "http://doi.acm.org/10.1145/2837614.2837630"
  links:
    doi: "http://doi.acm.org/10.1145/2837614.2837630"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/popl/TakikawaFGNVF16"
  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:
  - name: "Rastislav Bodik"
    link: "https://researchr.org/alias/rastislav-bodik"
  - name: "Rupak Majumdar"
    link: "https://researchr.org/alias/rupak-majumdar"
  publisher: "ACM"
  isbn: "978-1-4503-3549-2"
  kind: "inproceedings"
  key: "TakikawaFGNVF16"
- title: "DrScheme: a programming environment for Scheme"
  author:
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  - name: "John Clements"
    link: "https://researchr.org/alias/john-clements"
  - name: "Cormac Flanagan"
    link: "https://researchr.org/alias/cormac-flanagan"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  - name: "Shriram Krishnamurthi"
    link: "http://www.cs.brown.edu/~sk/"
  - name: "Paul Steckler"
    link: "https://researchr.org/alias/paul-steckler"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  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"
  kind: "article"
  key: "FindlerCFFKSF02"
- title: "Complete Monitors for Behavioral Contracts"
  author:
  - name: "Christos Dimoulas"
    link: "https://researchr.org/alias/christos-dimoulas"
  - name: "Sam Tobin-Hochstadt"
    link: "https://researchr.org/alias/sam-tobin-hochstadt"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-28869-2_11"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-28869-2_11"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/esop/DimoulasTF12"
  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:
  - name: "Helmut Seidl"
    link: "https://researchr.org/alias/helmut-seidl"
  volume: "7211"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-28868-5"
  kind: "inproceedings"
  key: "DimoulasTF12"
- title: "Correct blame for contracts: no more scapegoating"
  author:
  - name: "Christos Dimoulas"
    link: "https://researchr.org/alias/christos-dimoulas"
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  - name: "Cormac Flanagan"
    link: "https://researchr.org/alias/cormac-flanagan"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/1926385.1926410"
  links:
    doi: "http://doi.acm.org/10.1145/1926385.1926410"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/popl/DimoulasFFF11"
  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:
  - name: "Thomas Ball"
    link: "https://researchr.org/alias/thomas-ball"
  - name: "Mooly Sagiv"
    link: "https://researchr.org/alias/mooly-sagiv"
  publisher: "ACM"
  isbn: "978-1-4503-0490-0"
  kind: "inproceedings"
  key: "DimoulasFFF11"
- title: "Modeling an Algebraic Stepper"
  author:
  - name: "John Clements"
    link: "https://researchr.org/alias/john-clements"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2028/20280320.htm"
  links:
    doi: "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:
  - name: "David Sands"
    link: "https://researchr.org/alias/david-sands"
  volume: "2028"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-41862-8"
  kind: "inproceedings"
  key: "ClementsFF01"
- title: "Editorial"
  author:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2012"
  doi: "http://dx.doi.org/10.1017/S0956796812000202"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796812000202"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jfp/Felleisen12"
  researchr: "https://researchr.org/publication/Felleisen12"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "22"
  number: "3"
  pages: "223-224"
  kind: "article"
  key: "Felleisen12"
- title: "Toward a Practical Module System for ACL2"
  author:
  - name: "Carl Eastlund"
    link: "https://researchr.org/alias/carl-eastlund"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-540-92995-6_4"
  links:
    doi: "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:
  - name: "Andy Gill"
    link: "http://www.ittc.ku.edu/~andygill/"
  - name: "Terrance Swift"
    link: "https://researchr.org/alias/terrance-swift"
  volume: "5418"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-92994-9"
  kind: "inproceedings"
  key: "EastlundF09"
- title: "TeachScheme!"
  author:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/1953163.1953165"
  links:
    doi: "http://doi.acm.org/10.1145/1953163.1953165"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sigcse/Felleisen11"
  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:
  - name: "Thomas J. Cortina"
    link: "https://researchr.org/alias/thomas-j.-cortina"
  - name: "Ellen Lowenfeld Walker"
    link: "https://researchr.org/alias/ellen-lowenfeld-walker"
  - name: "Laurie A. Smith King"
    link: "https://researchr.org/alias/laurie-a.-smith-king"
  - name: "David R. Musicant"
    link: "https://researchr.org/alias/david-r.-musicant"
  publisher: "ACM"
  isbn: "978-1-4503-0500-6"
  kind: "inproceedings"
  key: "Felleisen11"
- title: "Hygienic Macros for ACL2"
  author:
  - name: "Carl Eastlund"
    link: "https://researchr.org/alias/carl-eastlund"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-22941-1_6"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-22941-1_6"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sfp/EastlundF10"
  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:
  - name: "Rex L. Page"
    link: "https://researchr.org/alias/rex-l.-page"
  - name: "Zoltán Horváth"
    link: "https://researchr.org/alias/zolt%C3%A1n-horv%C3%A1th"
  - name: "Viktória Zsók"
    link: "https://researchr.org/alias/vikt%C3%B3ria-zs%C3%B3k"
  volume: "6546"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-22940-4"
  kind: "inproceedings"
  key: "EastlundF10"
- title: "Contract Soundness for Object-Oriented Languages"
  author:
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  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"
  kind: "inproceedings"
  key: "FindlerF01"
- title: "A Syntactic Theory of Sequential Control"
  author:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  - name: "Daniel P. Friedman"
    link: "https://researchr.org/alias/daniel-p.-friedman"
  - name: "Eugene E. Kohlbecker"
    link: "https://researchr.org/alias/eugene-e.-kohlbecker"
  - name: "Bruce F. Duba"
    link: "https://researchr.org/alias/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"
  kind: "article"
  key: "FelleisenFKD87"
- title: "A tail-recursive machine with stack inspection"
  author:
  - name: "John Clements"
    link: "https://researchr.org/alias/john-clements"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1034774.1034778"
  links:
    doi: "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"
  kind: "article"
  key: "ClementsF04"
- title: "Automatically Restructuring Programs for the Web"
  author:
  - name: "Jacob Matthews"
    link: "https://researchr.org/alias/jacob-matthews"
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  - name: "Paul T. Graunke"
    link: "https://researchr.org/alias/paul-t.-graunke"
  - name: "Shriram Krishnamurthi"
    link: "http://www.cs.brown.edu/~sk/"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2004"
  doi: "http://springerlink.metapress.com/index/10.1023/B:AUSE.0000038936.09009.69"
  links:
    doi: "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"
  kind: "article"
  key: "MatthewsFGKF04"
- title: "Componential Set-Based Analysis"
  author:
  - name: "Cormac Flanagan"
    link: "https://researchr.org/alias/cormac-flanagan"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "1999"
  doi: "http://doi.acm.org/10.1145/316686.316703"
  links:
    doi: "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"
  kind: "article"
  key: "FlanaganF99"
- title: "Realm of Racket - Learn to Program, One Game at a Time!"
  author:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  - name: "David Van Horn"
    link: "https://researchr.org/alias/david-van-horn"
  - name: "Conrad Barski"
    link: "https://researchr.org/alias/conrad-barski"
  year: "2013"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/books/daglib/0038957"
  researchr: "https://researchr.org/publication/0038957"
  cites: 0
  citedby: 0
  publisher: "No Starch Press"
  isbn: "978-1-59327-491-7"
  kind: "book"
  key: "0038957"
- title: "On contract satisfaction in a higher-order world"
  author:
  - name: "Christos Dimoulas"
    link: "https://researchr.org/alias/christos-dimoulas"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/2039346.2039348"
  links:
    doi: "http://doi.acm.org/10.1145/2039346.2039348"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/toplas/DimoulasF11"
  researchr: "https://researchr.org/publication/DimoulasF11"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Programming Languages and Systems"
  volume: "33"
  number: "5"
  pages: "16"
  kind: "article"
  key: "DimoulasF11"
- title: "Logical types for untyped languages"
  author:
  - name: "Sam Tobin-Hochstadt"
    link: "https://researchr.org/alias/sam-tobin-hochstadt"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1863543.1863561"
  links:
    doi: "http://doi.acm.org/10.1145/1863543.1863561"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/Tobin-HochstadtF10"
  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:
  - name: "Paul Hudak"
    link: "https://researchr.org/alias/paul-hudak"
  - name: "Stephanie Weirich"
    link: "https://researchr.org/alias/stephanie-weirich"
  publisher: "ACM"
  isbn: "978-1-60558-794-3"
  kind: "inproceedings"
  key: "Tobin-HochstadtF10"
- title: "Contracts for First-Class Classes"
  author:
  - name: "T. Stephen Strickland"
    link: "https://researchr.org/alias/t.-stephen-strickland"
  - name: "Christos Dimoulas"
    link: "https://researchr.org/alias/christos-dimoulas"
  - name: "Asumu Takikawa"
    link: "https://researchr.org/alias/asumu-takikawa"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2013"
  doi: "http://doi.acm.org/10.1145/2518189"
  links:
    doi: "http://doi.acm.org/10.1145/2518189"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/toplas/StricklandDTF13"
  researchr: "https://researchr.org/publication/StricklandDTF13"
  cites: 0
  citedby: 0
  journal: "ACM Transactions on Programming Languages and Systems"
  volume: "35"
  number: "3"
  pages: "11"
  kind: "article"
  key: "StricklandDTF13"
- title: "Hygienic Macro Expansion"
  author:
  - name: "Eugene E. Kohlbecker"
    link: "https://researchr.org/alias/eugene-e.-kohlbecker"
  - name: "Daniel P. Friedman"
    link: "https://researchr.org/alias/daniel-p.-friedman"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  - name: "Bruce F. Duba"
    link: "https://researchr.org/alias/bruce-f.-duba"
  year: "1986"
  doi: "http://delivery.acm.org/10.1145/320000/319859/p151-kohlbecker.pdf?key1=319859&key2=7573098711&coll=&dl=ACM&CFID=15151515&CFTOKEN=6184618"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "KohlbeckerFFD86"
- title: "Editorial"
  author:
  - name: "Xavier Leroy"
    link: "http://pauillac.inria.fr/~xleroy/"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2009"
  doi: "http://dx.doi.org/10.1017/S095679680999013X"
  links:
    doi: "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"
  kind: "article"
  key: "LeroyF09"
- title: "The design and implementation of typed scheme"
  author:
  - name: "Sam Tobin-Hochstadt"
    link: "https://researchr.org/alias/sam-tobin-hochstadt"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1328438.1328486"
  links:
    doi: "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:
  - name: "George C. Necula"
    link: "https://researchr.org/alias/george-c.-necula"
  - name: "Philip Wadler"
    link: "http://homepages.inf.ed.ac.uk/wadler/"
  publisher: "ACM"
  isbn: "978-1-59593-689-9"
  kind: "inproceedings"
  key: "Tobin-HochstadtF08"
- title: "TeachScheme!: a checkpoint"
  author:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1863543.1863563"
  links:
    doi: "http://doi.acm.org/10.1145/1863543.1863563"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/Felleisen10"
  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:
  - name: "Paul Hudak"
    link: "https://researchr.org/alias/paul-hudak"
  - name: "Stephanie Weirich"
    link: "https://researchr.org/alias/stephanie-weirich"
  publisher: "ACM"
  isbn: "978-1-60558-794-3"
  kind: "inproceedings"
  key: "Felleisen10-0"
- title: "A functional I/O system or, fun for freshman kids"
  author:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  - name: "Shriram Krishnamurthi"
    link: "http://www.cs.brown.edu/~sk/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1596550.1596561"
  links:
    doi: "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:
  - name: "Graham Hutton"
    link: "https://researchr.org/alias/graham-hutton"
  - name: "Andrew P. Tolmach"
    link: "http://www.cs.pdx.edu/~apt"
  publisher: "ACM"
  isbn: "978-1-60558-332-7"
  kind: "inproceedings"
  key: "FelleisenFFK09"
- title: "Semantics Engineering with PLT Redex"
  author:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  year: "2009"
  doi: "http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=11885"
  links:
    doi: "http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=11885"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/books/daglib/0023092"
  tags:
  - "PLT Redex"
  - "semantics"
  researchr: "https://researchr.org/publication/plt-redex2009"
  cites: 0
  citedby: 0
  publisher: "MIT Press"
  isbn: "978-0-262-06275-6"
  kind: "book"
  key: "plt-redex2009"
- title: "Expressing Structural Properties as Language Constructs"
  author:
  - name: "Shriram Krishnamurthi"
    link: "http://www.cs.brown.edu/~sk/"
  - name: "Yan-David Erlich"
    link: "https://researchr.org/alias/yan-david-erlich"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1576/15760258.htm"
  links:
    doi: "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:
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  volume: "1576"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65699-5"
  kind: "inproceedings"
  key: "KrishnamurthiEF99"
- title: "Parameter-Passing and the Lambda Calculus"
  author:
  - name: "Erik Crank"
    link: "https://researchr.org/alias/erik-crank"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "1991"
  researchr: "https://researchr.org/publication/CrankF91"
  cites: 0
  citedby: 0
  pages: "233-244"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "CrankF91"
- title: "Classes and Mixins"
  author:
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  - name: "Shriram Krishnamurthi"
    link: "http://www.cs.brown.edu/~sk/"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "1998"
  doi: "http://doi.acm.org/10.1145/268946.268961"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "FlattKF98"
- title: "The little schemer (4. ed.)"
  author:
  - name: "Daniel P. Friedman"
    link: "https://researchr.org/alias/daniel-p.-friedman"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "1996"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/books/daglib/0096033"
  researchr: "https://researchr.org/publication/0096033"
  cites: 0
  citedby: 0
  publisher: "MIT Press"
  isbn: "978-0-262-56099-3"
  kind: "book"
  key: "0096033"
- title: "The Calculi of λ-v-CS Conversion: A Syntactic Theory of Control and State in Imperative Higher-order Programming Languages"
  author:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "1987"
  researchr: "https://researchr.org/publication/Felleisen1987CLC"
  cites: 0
  citedby: 0
  school: "Indiana University"
  kind: "phdthesis"
  key: "Felleisen1987CLC"
- title: "Reasoning about Programs in Continuation-Passing Style"
  author:
  - name: "Amr Sabry"
    link: "https://researchr.org/alias/amr-sabry"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  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"
  kind: "article"
  key: "SabryF93"
- title: "Control Delimiters and Their Hierarchies"
  author:
  - name: "Dorai Sitaram"
    link: "https://researchr.org/alias/dorai-sitaram"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  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"
  kind: "article"
  key: "SitaramF90"
- title: "A little Java, a few patterns"
  author:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  - name: "Daniel P. Friedman"
    link: "https://researchr.org/alias/daniel-p.-friedman"
  year: "1996"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/books/daglib/0096035"
  tags:
  - "Java"
  researchr: "https://researchr.org/publication/0096035"
  cites: 0
  citedby: 0
  publisher: "MIT Press"
  isbn: "978-0-262-56115-0"
  kind: "book"
  key: "0096035"
- title: "A Programmer s Reduction Semantics for Classes and Mixins"
  author:
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  - name: "Shriram Krishnamurthi"
    link: "http://www.cs.brown.edu/~sk/"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1523/15230241.htm"
  links:
    doi: "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:
  - name: "Jim Alves-Foss"
    link: "https://researchr.org/alias/jim-alves-foss"
  volume: "1523"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66158-1"
  kind: "inproceedings"
  key: "FlattKF99"
- title: "The seasoned schemer"
  author:
  - name: "Daniel P. Friedman"
    link: "https://researchr.org/alias/daniel-p.-friedman"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "1996"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/books/daglib/0096032"
  researchr: "https://researchr.org/publication/0096032"
  cites: 0
  citedby: 0
  publisher: "MIT Press"
  isbn: "978-0-262-56100-6"
  kind: "book"
  key: "0096032"
- title: "Synthesizing Object-Oriented and Functional Design to Promote Re-Use"
  author:
  - name: "Shriram Krishnamurthi"
    link: "http://www.cs.brown.edu/~sk/"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  - name: "Daniel P. Friedman"
    link: "https://researchr.org/alias/daniel-p.-friedman"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1445/14450091.htm"
  links:
    doi: "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:
  - name: "Eric Jul"
    link: "https://researchr.org/alias/eric-jul"
  volume: "1445"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64737-6"
  kind: "inproceedings"
  key: "KrishnamurthiFF98"
- title: "Viewpoint - Why computer science doesn t matter"
  author:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  - name: "Shriram Krishnamurthi"
    link: "http://www.cs.brown.edu/~sk/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1538788.1538803"
  abstract: "Aligning computer science with high school mathematics can help turn it into an essential subject for all students."
  links:
    doi: "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"
  kind: "article"
  key: "FelleisenK09"
- title: "Modeling Web Interactions"
  author:
  - name: "Paul T. Graunke"
    link: "https://researchr.org/alias/paul-t.-graunke"
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  - name: "Shriram Krishnamurthi"
    link: "http://www.cs.brown.edu/~sk/"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2618/26180238.htm"
  links:
    doi: "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:
  - name: "Pierpaolo Degano"
    link: "https://researchr.org/alias/pierpaolo-degano"
  volume: "2618"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-00886-1"
  kind: "inproceedings"
  key: "GraunkeFKF03"
- title: "Extensible Denotational Language Specifications"
  author:
  - name: "Robert Cartwright"
    link: "https://researchr.org/alias/robert-cartwright"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "1994"
  abstract: "Traditional denotational semantics assigns radically different meanings to one and the same phrase depending on the rest of the programming language. If the language is purely functional, the denotation of a numeral is a function from environments to integers. But, in a functional language with imperative control operators, a numeral denotes a function from environments and continuations to integers. This paper introduces a new format for denotational language specifications, extended direct semantics, that accommodates orthogonal extensions of a language without changing the denotations of existing phrases. An extended direct semantics always maps a numeral to the same denotation: the injection of the corresponding number into the domain of values. In general, the denotation of a phrase in a functional language is always a projection of the denotation of the same phrase in the semantics of an extended language—no matter what the extension is. Based on extended direct semantics, it is also possible to construct interpreters for complete languages by composing interpreters for language fragments."
  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:
  - name: "Masami Hagiya"
    link: "https://researchr.org/alias/masami-hagiya"
  - name: "John C. Mitchell"
    link: "https://researchr.org/alias/john-c.-mitchell"
  volume: "789"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-57887-0"
  kind: "inproceedings"
  key: "CartwrightF94"
- title: "Practical Variable-Arity Polymorphism"
  author:
  - name: "T. Stephen Strickland"
    link: "https://researchr.org/alias/t.-stephen-strickland"
  - name: "Sam Tobin-Hochstadt"
    link: "https://researchr.org/alias/sam-tobin-hochstadt"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-00590-9_3"
  links:
    doi: "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:
  - name: "Giuseppe Castagna"
    link: "https://researchr.org/alias/giuseppe-castagna"
  volume: "5502"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-00589-3"
  kind: "inproceedings"
  key: "StricklandTF09"
- title: "Run your research: on the effectiveness of lightweight mechanization"
  author:
  - name: "Casey Klein"
    link: "https://researchr.org/alias/casey-klein"
  - name: "John Clements"
    link: "https://researchr.org/alias/john-clements"
  - name: "Christos Dimoulas"
    link: "https://researchr.org/alias/christos-dimoulas"
  - name: "Carl Eastlund"
    link: "https://researchr.org/alias/carl-eastlund"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  - name: "Jay A. McCarthy"
    link: "https://researchr.org/alias/jay-a.-mccarthy"
  - name: "Jon Rafkind"
    link: "https://researchr.org/alias/jon-rafkind"
  - name: "Sam Tobin-Hochstadt"
    link: "https://researchr.org/alias/sam-tobin-hochstadt"
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  year: "2012"
  doi: "http://doi.acm.org/10.1145/2103656.2103691"
  links:
    doi: "http://doi.acm.org/10.1145/2103656.2103691"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/popl/KleinCDEFFMRTF12"
  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:
  - name: "John Field"
    link: "https://researchr.org/alias/john-field"
  - name: "Michael Hicks"
    link: "https://researchr.org/alias/michael-hicks"
  publisher: "ACM"
  isbn: "978-1-4503-1083-3"
  kind: "inproceedings"
  key: "KleinCDEFFMRTF12"
- title: "Components and program analyses"
  author:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2000"
  doi: "http://doi.acm.org/10.1145/340855.340887"
  links:
    doi: "http://doi.acm.org/10.1145/340855.340887"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/sigsoft/Felleisen00"
  researchr: "https://researchr.org/publication/Felleisen00"
  cites: 0
  citedby: 0
  journal: "ACM SIGSOFT Software Engineering Notes"
  volume: "25"
  number: "1"
  pages: "49-50"
  kind: "article"
  key: "Felleisen00"
- title: "Nested and Dynamic Contract Boundaries"
  author:
  - name: "T. Stephen Strickland"
    link: "https://researchr.org/alias/t.-stephen-strickland"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-16478-1_9"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-16478-1_9"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ifl/StricklandF09"
  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:
  - name: "Marco T. Morazán"
    link: "https://researchr.org/alias/marco-t.-moraz%C3%A1n"
  - name: "Sven-Bodo Scholz"
    link: "https://researchr.org/alias/sven-bodo-scholz"
  volume: "6041"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-16477-4"
  kind: "inproceedings"
  key: "StricklandF09-0"
- title: "Semantics Engineering with PLT Redex"
  author:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  year: "2009"
  abstract: "This text is the first comprehensive presentation of reduction semantics in one volume; it also introduces the first reliable and easy-to-use tool set for such forms of semantics. Software engineers have long known that automatic tool support is critical for rapid prototyping and modeling, and this book is addressed to the working semantics engineer (graduate student or professional language designer). The book comes with a prototyping tool suite to develop, explore, test, debug, and publish semantic models of programming languages. With PLT Redex, semanticists can formulate models as grammars and reduction models on their computers with the ease of paper and pencil. The text first presents a framework for the formulation of language models, focusing on equational calculi and abstract machines, then introduces PLT Redex, a suite of software tools for expressing these models as PLT Redex models. Finally, experts describe a range of models formulated in Redex. PLT Redex comes with the PLT Scheme implementation, available free at http://www.plt-scheme.org/. Readers can download the software and experiment with Redex as they work their way through the book. For more information (including the preface, a sample syllabus, and a quick introduction to Redex), see the Redex website at http://redex.plt-scheme.org/."
  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"
  kind: "book"
  key: "FelleisenFindlerFlatt2009"
- title: "Reasoning with Continuations II: Full Abstraction for Models of Control"
  author:
  - name: "Dorai Sitaram"
    link: "https://researchr.org/alias/dorai-sitaram"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  year: "1990"
  doi: "http://doi.acm.org/10.1145/91556.91626"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "SitaramF90:0"
- 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:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  - name: "Paul Hudak"
    link: "http://www.cs.yale.edu/homes/hudak/"
  - name: "Christian Queinnec"
    link: "https://researchr.org/alias/christian-queinnec"
  address: "Baltimore, Maryland, United States"
  publisher: "ACM"
  kind: "proceedings"
  key: "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"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/1998"
  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:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  - name: "Paul Hudak"
    link: "https://researchr.org/alias/paul-hudak"
  - name: "Christian Queinnec"
    link: "https://researchr.org/alias/christian-queinnec"
  publisher: "ACM"
  isbn: "0-58113-024-4"
  kind: "proceedings"
  key: "icfp-1998"
- 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:
  - name: "Martin Hofmann"
    link: "https://researchr.org/alias/martin-hofmann"
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  publisher: "ACM"
  isbn: "1-59593-575-4"
  kind: "proceedings"
  key: "popl:2007"
- 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: "http://dx.doi.org/10.1007/978-3-642-37036-6"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-37036-6"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/esop/2013"
  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:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  - name: "Philippa Gardner"
    link: "https://researchr.org/alias/philippa-gardner"
  volume: "7792"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-37035-9"
  kind: "proceedings"
  key: "esop-2013"