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

@inproceedings{ChangHF10,
  title = {Evaluating Call-by-Need on the Control Stack},
  author = {Stephen Chang and David Van Horn and Matthias Felleisen},
  year = {2010},
  doi = {10.1007/978-3-642-22941-1_1},
  url = {http://dx.doi.org/10.1007/978-3-642-22941-1_1},
  researchr = {https://researchr.org/publication/ChangHF10},
  cites = {0},
  citedby = {0},
  pages = {1-15},
  booktitle = {sfp},
}

@inproceedings{Felleisen04,
  title = {Functional Objects},
  author = {Matthias Felleisen},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3086&spage=267},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/Felleisen04},
  cites = {0},
  citedby = {0},
  pages = {267},
  booktitle = {ECOOP},
}

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

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

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

@inproceedings{St-AmourAF15,
  title = {Feature-Specific Profiling},
  author = {Vincent St-Amour and Leif Andersen and Matthias Felleisen},
  year = {2015},
  doi = {10.1007/978-3-662-46663-6_3},
  url = {http://dx.doi.org/10.1007/978-3-662-46663-6_3},
  researchr = {https://researchr.org/publication/St-AmourAF15},
  cites = {0},
  citedby = {0},
  pages = {49-68},
  booktitle = {CC},
}

@inproceedings{CulpepperF10-0,
  title = {Fortifying macros},
  author = {Ryan Culpepper and Matthias Felleisen},
  year = {2010},
  doi = {10.1145/1863543.1863577},
  url = {http://doi.acm.org/10.1145/1863543.1863577},
  tags = {macros},
  researchr = {https://researchr.org/publication/CulpepperF10-0},
  cites = {0},
  citedby = {0},
  pages = {235-246},
  booktitle = {ICFP},
}

@inproceedings{KrishnamurthiFD99,
  title = {From Macros to Reusable Generative Programming},
  author = {Shriram Krishnamurthi and Matthias Felleisen and Bruce F. Duba},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1799/17990105.htm},
  tags = {generative programming, reuse, macros, programming},
  researchr = {https://researchr.org/publication/KrishnamurthiFD99},
  cites = {0},
  citedby = {0},
  pages = {105-120},
  booktitle = {gcse},
}

@inproceedings{SabryF92,
  title = {Reasoning About Programs in Continuation-Passing Style},
  author = {Amr Sabry and Matthias Felleisen},
  year = {1992},
  doi = {10.1145/141471.141563},
  url = {http://doi.acm.org/10.1145/141471.141563},
  researchr = {https://researchr.org/publication/SabryF92},
  cites = {0},
  citedby = {0},
  pages = {288-298},
  booktitle = {lfp},
}

@inproceedings{VaillancourtPF06,
  title = {ACL2 in DrScheme},
  author = {Dale Vaillancourt and Rex L. Page and Matthias Felleisen},
  year = {2006},
  doi = {10.1145/1217975.1217999},
  url = {http://doi.acm.org/10.1145/1217975.1217999},
  researchr = {https://researchr.org/publication/VaillancourtPF06},
  cites = {0},
  citedby = {0},
  pages = {107-116},
  booktitle = {acl2},
}

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

@inproceedings{Garnock-JonesF16,
  title = {Coordinated Concurrent Programming in Syndicate},
  author = {Tony Garnock-Jones and Matthias Felleisen},
  year = {2016},
  doi = {10.1007/978-3-662-49498-1_13},
  url = {http://dx.doi.org/10.1007/978-3-662-49498-1_13},
  researchr = {https://researchr.org/publication/Garnock-JonesF16},
  cites = {0},
  citedby = {0},
  pages = {310-336},
  booktitle = {ESOP},
}

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

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

@inproceedings{St-AmourTFF12,
  title = {Typing the Numeric Tower},
  author = {Vincent St-Amour and Sam Tobin-Hochstadt and Matthew Flatt and Matthias Felleisen},
  year = {2012},
  doi = {10.1007/978-3-642-27694-1_21},
  url = {http://dx.doi.org/10.1007/978-3-642-27694-1_21},
  researchr = {https://researchr.org/publication/St-AmourTFF12},
  cites = {0},
  citedby = {0},
  pages = {289-303},
  booktitle = {PADL},
}

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

@inproceedings{KannegantiCF92,
  title = {SPCF: Its Model, Calculus, and Computational Power (Preliminary Version)},
  author = {Ramarao Kanneganti and Robert Cartwright and Matthias Felleisen},
  year = {1992},
  researchr = {https://researchr.org/publication/KannegantiCF92},
  cites = {0},
  citedby = {0},
  pages = {318-347},
  booktitle = {rex},
}

@inproceedings{Garnock-JonesTF14,
  title = {The Network as a Language Construct},
  author = {Tony Garnock-Jones and Sam Tobin-Hochstadt and Matthias Felleisen},
  year = {2014},
  doi = {10.1007/978-3-642-54833-8_25},
  url = {http://dx.doi.org/10.1007/978-3-642-54833-8_25},
  researchr = {https://researchr.org/publication/Garnock-JonesTF14},
  cites = {0},
  citedby = {0},
  pages = {473-492},
  booktitle = {ESOP},
}

@inproceedings{FlanaganSDF93a,
  title = {The essence of compiling with continuations (with retrospective)},
  author = {Cormac Flanagan and Amr Sabry and Bruce F. Duba and Matthias Felleisen},
  year = {1993},
  doi = {10.1145/989393.989443},
  url = {http://doi.acm.org/10.1145/989393.989443},
  tags = {compiler},
  researchr = {https://researchr.org/publication/FlanaganSDF93a},
  cites = {0},
  citedby = {0},
  pages = {502-514},
  booktitle = {PLDI},
}

@inproceedings{GraunkeKHF01,
  title = {Programming the Web with High-Level Programming Languages},
  author = {Paul T. Graunke and Shriram Krishnamurthi and Steve Van Der Hoeven and Matthias Felleisen},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2028/20280122.htm},
  tags = {programming languages, programming},
  researchr = {https://researchr.org/publication/GraunkeKHF01},
  cites = {0},
  citedby = {0},
  pages = {122-136},
  booktitle = {ESOP},
}

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

@inproceedings{MatthewsFFF04,
  title = {A Visual Environment for Developing Context-Sensitive Term Rewriting Systems},
  author = {Jacob Matthews and Robby Findler and Matthew Flatt and Matthias Felleisen},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3091&spage=301},
  tags = {PLT Redex, programming languages, semantics, meta programming, type soundness, meta-model, modeling language, modeling, term rewriting, language modeling, design research, language design, type system, graph-rewriting, debugging, programming, operational semantics, context-aware, Meta-Environment, rewriting, domain-specific language},
  researchr = {https://researchr.org/publication/MatthewsFFF04},
  cites = {0},
  citedby = {0},
  pages = {301-311},
  booktitle = {RTA},
}

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

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

@inproceedings{FlanaganFKWF96,
  title = {Static Debugging: Browsing the Web of Program Invariants},
  author = {Cormac Flanagan and Matthew Flatt and Shriram Krishnamurthi and Stephanie Weirich and Matthias Felleisen},
  year = {1996},
  tags = {debugging},
  researchr = {https://researchr.org/publication/FlanaganFKWF96},
  cites = {0},
  citedby = {0},
  pages = {23-32},
  booktitle = {PLDI},
}

@inproceedings{FindlerFF04,
  title = {Semantic Casts: Contracts and Structural Subtyping in a Nominal World},
  author = {Robby Findler and Matthew Flatt and Matthias Felleisen},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3086&spage=364},
  tags = {contracts, subtyping},
  researchr = {https://researchr.org/publication/FindlerFF04},
  cites = {0},
  citedby = {0},
  pages = {364-388},
  booktitle = {ECOOP},
}

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

@inproceedings{TakikawaFDFFTF15,
  title = {Towards Practical Gradual Typing},
  author = {Asumu Takikawa and Daniel Feltey and Earl Dean and Matthew Flatt and Robby Findler and Sam Tobin-Hochstadt and Matthias Felleisen},
  year = {2015},
  doi = {10.4230/LIPIcs.ECOOP.2015.4},
  url = {http://dx.doi.org/10.4230/LIPIcs.ECOOP.2015.4},
  researchr = {https://researchr.org/publication/TakikawaFDFFTF15},
  cites = {0},
  citedby = {0},
  pages = {4-27},
  booktitle = {ECOOP},
}

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

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

@article{FelleisenFFK04-0,
  title = {The TeachScheme! Project: Computing and Programming for Every Student},
  author = {Matthias Felleisen and Robby Findler and Matthew Flatt and Shriram Krishnamurthi},
  year = {2004},
  doi = {10.1076/csed.14.1.55.23499},
  url = {http://dx.doi.org/10.1076/csed.14.1.55.23499},
  researchr = {https://researchr.org/publication/FelleisenFFK04-0},
  cites = {0},
  citedby = {0},
  journal = {csedu},
  volume = {14},
  number = {1},
  pages = {55-77},
}

@inproceedings{FelleisenF87,
  title = {A Reduction Semantics for Imperative Higher-Order Languages},
  author = {Matthias Felleisen and Daniel P. Friedman},
  year = {1987},
  tags = {semantics},
  researchr = {https://researchr.org/publication/FelleisenF87},
  cites = {0},
  citedby = {0},
  pages = {206-223},
  booktitle = {parle},
}

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

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

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

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

@inproceedings{ChangBCF11,
  title = {From Stack Traces to Lazy Rewriting Sequences},
  author = {Stephen Chang and Eli Barzilay and John Clements and Matthias Felleisen},
  year = {2011},
  doi = {10.1007/978-3-642-34407-7_7},
  url = {http://dx.doi.org/10.1007/978-3-642-34407-7_7},
  researchr = {https://researchr.org/publication/ChangBCF11},
  cites = {0},
  citedby = {0},
  pages = {100-115},
  booktitle = {IFL},
}

@inproceedings{StricklandF09,
  title = {Contracts for first-class modules},
  author = {T. Stephen Strickland and Matthias Felleisen},
  year = {2009},
  doi = {10.1145/1640134.1640140},
  url = {http://doi.acm.org/10.1145/1640134.1640140},
  tags = {contracts},
  researchr = {https://researchr.org/publication/StricklandF09},
  cites = {0},
  citedby = {0},
  pages = {27-38},
  booktitle = {DLS},
}

@inproceedings{CulpepperF07,
  title = {Debugging macros},
  author = {Ryan Culpepper and Matthias Felleisen},
  year = {2007},
  doi = {10.1145/1289971.1289994},
  url = {http://doi.acm.org/10.1145/1289971.1289994},
  tags = {macros, debugging},
  researchr = {https://researchr.org/publication/CulpepperF07},
  cites = {0},
  citedby = {0},
  pages = {135-144},
  booktitle = {GPCE},
}

@inproceedings{DimoulasPF09,
  title = {Future contracts},
  author = {Christos Dimoulas and Riccardo Pucella and Matthias Felleisen},
  year = {2009},
  doi = {10.1145/1599410.1599435},
  url = {http://doi.acm.org/10.1145/1599410.1599435},
  tags = {contracts},
  researchr = {https://researchr.org/publication/DimoulasPF09},
  cites = {0},
  citedby = {0},
  pages = {195-206},
  booktitle = {ppdp},
}

@inproceedings{PageEF08,
  title = {Functional programming and theorem proving for undergraduates: a progress report},
  author = {Rex L. Page and Carl Eastlund and Matthias Felleisen},
  year = {2008},
  doi = {10.1145/1411260.1411264},
  url = {http://doi.acm.org/10.1145/1411260.1411264},
  researchr = {https://researchr.org/publication/PageEF08},
  cites = {0},
  citedby = {0},
  pages = {21-30},
  booktitle = {ICFP},
}

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

@inproceedings{Felleisen11-0,
  title = {Multilingual component programming in racket},
  author = {Matthias Felleisen},
  year = {2011},
  doi = {10.1145/2047862.2047864},
  url = {http://doi.acm.org/10.1145/2047862.2047864},
  researchr = {https://researchr.org/publication/Felleisen11-0},
  cites = {0},
  citedby = {0},
  pages = {1-2},
  booktitle = {GPCE},
}

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

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

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

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

@inproceedings{ChangF12-0,
  title = {The Call-by-Need Lambda Calculus, Revisited},
  author = {Stephen Chang and Matthias Felleisen},
  year = {2012},
  doi = {10.1007/978-3-642-28869-2_7},
  url = {http://dx.doi.org/10.1007/978-3-642-28869-2_7},
  researchr = {https://researchr.org/publication/ChangF12-0},
  cites = {0},
  citedby = {0},
  pages = {128-147},
  booktitle = {ESOP},
}

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

@article{FelleisenLSS05,
  title = {Editorial},
  author = {Matthias Felleisen and Julia L. Lawall and Manuel Serrano and Olin Shivers},
  year = {2005},
  doi = {10.1007/s10990-005-4875-6},
  url = {http://dx.doi.org/10.1007/s10990-005-4875-6},
  researchr = {https://researchr.org/publication/FelleisenLSS05},
  cites = {0},
  citedby = {0},
  journal = {lisp},
  volume = {18},
  number = {3-4},
  pages = {243-244},
}

@inproceedings{Tobin-HochstadtSCFF11,
  title = {Languages as libraries},
  author = {Sam Tobin-Hochstadt and Vincent St-Amour and Ryan Culpepper and Matthew Flatt and Matthias Felleisen},
  year = {2011},
  doi = {10.1145/1993498.1993514},
  url = {http://doi.acm.org/10.1145/1993498.1993514},
  researchr = {https://researchr.org/publication/Tobin-HochstadtSCFF11},
  cites = {0},
  citedby = {0},
  pages = {132-141},
  booktitle = {PLDI},
}

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

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

@inproceedings{FelleisenFKD86,
  title = {Reasoning with Continuations},
  author = {Matthias Felleisen and Daniel P. Friedman and Eugene E. Kohlbecker and Bruce F. Duba},
  year = {1986},
  tags = {e-science},
  researchr = {https://researchr.org/publication/FelleisenFKD86},
  cites = {0},
  citedby = {0},
  pages = {131-141},
  booktitle = {lics},
}

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

@inproceedings{Felleisen05,
  title = {How to design class hierarchies},
  author = {Matthias Felleisen},
  year = {2005},
  doi = {10.1145/1085114.1085115},
  url = {http://doi.acm.org/10.1145/1085114.1085115},
  researchr = {https://researchr.org/publication/Felleisen05},
  cites = {0},
  citedby = {0},
  pages = {1},
  booktitle = {ICFP},
}

@inproceedings{FlattYFF07,
  title = {Adding delimited and composable control to a production programming environment},
  author = {Matthew Flatt and Gang Yu and Robby Findler and Matthias Felleisen},
  year = {2007},
  doi = {10.1145/1291151.1291178},
  url = {http://doi.acm.org/10.1145/1291151.1291178},
  tags = {meta programming, meta-model, programming, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/FlattYFF07},
  cites = {0},
  citedby = {0},
  pages = {165-176},
  booktitle = {ICFP},
}

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

@inproceedings{PettyjohnCMKF05,
  title = {Continuations from generalized stack inspection},
  author = {Greg Pettyjohn and John Clements and Joe Marshall and Shriram Krishnamurthi and Matthias Felleisen},
  year = {2005},
  doi = {10.1145/1086365.1086393},
  url = {http://doi.acm.org/10.1145/1086365.1086393},
  researchr = {https://researchr.org/publication/PettyjohnCMKF05},
  cites = {0},
  citedby = {0},
  pages = {216-227},
  booktitle = {ICFP},
}

@inproceedings{FlattFF06,
  title = {Scheme with Classes, Mixins, and Traits},
  author = {Matthew Flatt and Robby Findler and Matthias Felleisen},
  year = {2006},
  doi = {10.1007/11924661_17},
  url = {http://dx.doi.org/10.1007/11924661_17},
  researchr = {https://researchr.org/publication/FlattFF06},
  cites = {0},
  citedby = {0},
  pages = {270-289},
  booktitle = {aplas},
}

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

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

@inproceedings{FlattF98,
  title = {Units: Cool Modules for HOT Languages},
  author = {Matthew Flatt and Matthias Felleisen},
  year = {1998},
  researchr = {https://researchr.org/publication/FlattF98},
  cites = {0},
  citedby = {0},
  pages = {236-248},
  booktitle = {PLDI},
}

@inproceedings{StricklandF10,
  title = {Contracts for first-class classes},
  author = {T. Stephen Strickland and Matthias Felleisen},
  year = {2010},
  doi = {10.1145/1869631.1869642},
  url = {http://doi.acm.org/10.1145/1869631.1869642},
  tags = {contracts},
  researchr = {https://researchr.org/publication/StricklandF10},
  cites = {0},
  citedby = {0},
  pages = {97-112},
  booktitle = {DLS},
}

@inproceedings{ChangF14,
  title = {Profiling for laziness},
  author = {Stephen Chang and Matthias Felleisen},
  year = {2014},
  doi = {10.1145/2535838.2535887},
  url = {http://doi.acm.org/10.1145/2535838.2535887},
  researchr = {https://researchr.org/publication/ChangF14},
  cites = {0},
  citedby = {0},
  pages = {349-360},
  booktitle = {POPL},
}

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

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

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

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

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

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

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

@inproceedings{FelleisenFFKBMT15,
  title = {The Racket Manifesto},
  author = {Matthias Felleisen and Robby Findler and Matthew Flatt and Shriram Krishnamurthi and Eli Barzilay and Jay A. McCarthy and Sam Tobin-Hochstadt},
  year = {2015},
  doi = {10.4230/LIPIcs.SNAPL.2015.113},
  url = {http://dx.doi.org/10.4230/LIPIcs.SNAPL.2015.113},
  researchr = {https://researchr.org/publication/FelleisenFFKBMT15},
  cites = {0},
  citedby = {0},
  pages = {113-128},
  booktitle = {SNAPL},
}

@inproceedings{Felleisen02,
  title = {Developing Interactive Web Programs},
  author = {Matthias Felleisen},
  year = {2002},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2638&spage=100},
  researchr = {https://researchr.org/publication/Felleisen02},
  cites = {0},
  citedby = {0},
  pages = {100-128},
  booktitle = {afp},
}

@article{FelleisenFFK04,
  title = {The structure and interpretation of the computer science curriculum},
  author = {Matthias Felleisen and Robby Findler and Matthew Flatt and Shriram Krishnamurthi},
  year = {2004},
  doi = {10.1017/S0956796804005076},
  url = {http://dx.doi.org/10.1017/S0956796804005076},
  tags = {e-science},
  researchr = {https://researchr.org/publication/FelleisenFFK04},
  cites = {0},
  citedby = {0},
  journal = {JFP},
  volume = {14},
  number = {4},
  pages = {365-378},
}

@inproceedings{FelleisenWFD88,
  title = {Abstract Continuations: A Mathematical Semantics for Handling Full Jumps},
  author = {Matthias Felleisen and Mitchell Wand and Daniel P. Friedman and Bruce F. Duba},
  year = {1988},
  doi = {10.1145/62678.62684},
  url = {http://doi.acm.org/10.1145/62678.62684},
  tags = {semantics},
  researchr = {https://researchr.org/publication/FelleisenWFD88},
  cites = {0},
  citedby = {0},
  pages = {52-62},
  booktitle = {lfp},
}

@inproceedings{FindlerFFKF97,
  title = {DrScheme: A Pedagogic Programming Environment for Scheme},
  author = {Robby Findler and Cormac Flanagan and Matthew Flatt and Shriram Krishnamurthi and Matthias Felleisen},
  year = {1997},
  tags = {meta programming, meta-model, programming, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/FindlerFFKF97},
  cites = {0},
  citedby = {0},
  pages = {369-388},
  booktitle = {plilp},
}

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

@inproceedings{Felleisen10,
  title = {Adding types to untyped languages},
  author = {Matthias Felleisen},
  year = {2010},
  doi = {10.1145/1708016.1708017},
  url = {http://doi.acm.org/10.1145/1708016.1708017},
  researchr = {https://researchr.org/publication/Felleisen10},
  cites = {0},
  citedby = {0},
  pages = {1-2},
  booktitle = {tldi},
}

@inproceedings{CulpepperF04,
  title = {Taming Macros},
  author = {Ryan Culpepper and Matthias Felleisen},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3286&spage=225},
  tags = {macros},
  researchr = {https://researchr.org/publication/CulpepperF04},
  cites = {0},
  citedby = {0},
  pages = {225-243},
  booktitle = {GPCE},
}

@inproceedings{Felleisen90,
  title = {On the Expressive Power of Programming Languages},
  author = {Matthias Felleisen},
  year = {1990},
  tags = {programming languages, programming},
  researchr = {https://researchr.org/publication/Felleisen90},
  cites = {0},
  citedby = {0},
  pages = {134-151},
  booktitle = {ESOP},
}

@inproceedings{Tobin-HochstadtF06,
  title = {Interlanguage migration: from scripts to programs},
  author = {Sam Tobin-Hochstadt and Matthias Felleisen},
  year = {2006},
  doi = {10.1145/1176617.1176755},
  url = {http://doi.acm.org/10.1145/1176617.1176755},
  tags = {migration},
  researchr = {https://researchr.org/publication/Tobin-HochstadtF06},
  cites = {0},
  citedby = {0},
  pages = {964-974},
  booktitle = {OOPSLA},
}

@inproceedings{WeeksF93,
  title = {On the Orthogonality of Assignments and Procedures in Algol},
  author = {Stephen Weeks and Matthias Felleisen},
  year = {1993},
  researchr = {https://researchr.org/publication/WeeksF93},
  cites = {0},
  citedby = {0},
  pages = {57-70},
  booktitle = {POPL},
}

@inproceedings{CobbeF05,
  title = {Environmental acquisition revisited},
  author = {Richard Cobbe and Matthias Felleisen},
  year = {2005},
  doi = {10.1145/1040305.1040307},
  url = {http://doi.acm.org/10.1145/1040305.1040307},
  researchr = {https://researchr.org/publication/CobbeF05},
  cites = {0},
  citedby = {0},
  pages = {14-25},
  booktitle = {POPL},
}

@inproceedings{SchanzerFKF15,
  title = {Transferring Skills at Solving Word Problems from Computing to Algebra Through Bootstrap},
  author = {Emmanuel Schanzer and Kathi Fisler and Shriram Krishnamurthi and Matthias Felleisen},
  year = {2015},
  doi = {10.1145/2676723.2677238},
  url = {http://doi.acm.org/10.1145/2676723.2677238},
  researchr = {https://researchr.org/publication/SchanzerFKF15},
  cites = {0},
  citedby = {0},
  pages = {616-621},
  booktitle = {sigcse},
}

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

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

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

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

@inproceedings{EastlundF09-0,
  title = {Making induction manifest in modular ACL2},
  author = {Carl Eastlund and Matthias Felleisen},
  year = {2009},
  doi = {10.1145/1599410.1599424},
  url = {http://doi.acm.org/10.1145/1599410.1599424},
  researchr = {https://researchr.org/publication/EastlundF09-0},
  cites = {0},
  citedby = {0},
  pages = {105-116},
  booktitle = {ppdp},
}

@inproceedings{FlattFKF99,
  title = {Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine)},
  author = {Matthew Flatt and Robby Findler and Shriram Krishnamurthi and Matthias Felleisen},
  year = {1999},
  doi = {10.1145/317636.317793},
  url = {http://doi.acm.org/10.1145/317636.317793},
  tags = {programming languages, operating system, programming},
  researchr = {https://researchr.org/publication/FlattFKF99},
  cites = {0},
  citedby = {0},
  pages = {138-147},
  booktitle = {ICFP},
}

@inproceedings{LoganFB02,
  title = {Environmental Acquisition in Network Management},
  author = {Mark Logan and Matthias Felleisen and David N. Blank-Edelman},
  year = {2002},
  url = {http://www.usenix.org/publications/library/proceedings/lisa02/tech/logan.html},
  researchr = {https://researchr.org/publication/LoganFB02},
  cites = {0},
  citedby = {0},
  pages = {175-184},
  booktitle = {lisa},
}

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

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

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

@inproceedings{AntoniuSKNF04,
  title = {Validating the Unit Correctness of Spreadsheet Programs},
  author = {Tudor Antoniu and Paul A. Steckler and Shriram Krishnamurthi and Erich Neuwirth and Matthias Felleisen},
  year = {2004},
  url = {http://csdl.computer.org/comp/proceedings/icse/2004/2163/00/21630439abs.htm},
  researchr = {https://researchr.org/publication/AntoniuSKNF04},
  cites = {0},
  citedby = {0},
  pages = {439-448},
  booktitle = {ICSE},
}

@inproceedings{TakikawaFGNVF16,
  title = {Is sound gradual typing dead?},
  author = {Asumu Takikawa and Daniel Feltey and Ben Greenman and Max S. New and Jan Vitek and Matthias Felleisen},
  year = {2016},
  doi = {10.1145/2837614.2837630},
  url = {http://doi.acm.org/10.1145/2837614.2837630},
  researchr = {https://researchr.org/publication/TakikawaFGNVF16},
  cites = {0},
  citedby = {0},
  pages = {456-468},
  booktitle = {POPL},
}

@article{FindlerCFFKSF02,
  title = {DrScheme: a programming environment for Scheme},
  author = {Robby Findler and John Clements and Cormac Flanagan and Matthew Flatt and Shriram Krishnamurthi and Paul Steckler and Matthias Felleisen},
  year = {2002},
  tags = {meta programming, meta-model, programming, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/FindlerCFFKSF02},
  cites = {0},
  citedby = {0},
  journal = {JFP},
  volume = {12},
  number = {2},
  pages = {159-182},
}

@inproceedings{DimoulasTF12,
  title = {Complete Monitors for Behavioral Contracts},
  author = {Christos Dimoulas and Sam Tobin-Hochstadt and Matthias Felleisen},
  year = {2012},
  doi = {10.1007/978-3-642-28869-2_11},
  url = {http://dx.doi.org/10.1007/978-3-642-28869-2_11},
  researchr = {https://researchr.org/publication/DimoulasTF12},
  cites = {0},
  citedby = {0},
  pages = {214-233},
  booktitle = {ESOP},
}

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

@inproceedings{ClementsFF01,
  title = {Modeling an Algebraic Stepper},
  author = {John Clements and Matthew Flatt and Matthias Felleisen},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2028/20280320.htm},
  tags = {meta-model, modeling,  algebra, Meta-Environment},
  researchr = {https://researchr.org/publication/ClementsFF01},
  cites = {0},
  citedby = {0},
  pages = {320-334},
  booktitle = {ESOP},
}

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

@inproceedings{EastlundF09,
  title = {Toward a Practical Module System for ACL2},
  author = {Carl Eastlund and Matthias Felleisen},
  year = {2009},
  doi = {10.1007/978-3-540-92995-6_4},
  url = {http://dx.doi.org/10.1007/978-3-540-92995-6_4},
  researchr = {https://researchr.org/publication/EastlundF09},
  cites = {0},
  citedby = {0},
  pages = {46-60},
  booktitle = {PADL},
}

@inproceedings{Felleisen11,
  title = {TeachScheme!},
  author = {Matthias Felleisen},
  year = {2011},
  doi = {10.1145/1953163.1953165},
  url = {http://doi.acm.org/10.1145/1953163.1953165},
  researchr = {https://researchr.org/publication/Felleisen11},
  cites = {0},
  citedby = {0},
  pages = {1-2},
  booktitle = {sigcse},
}

@inproceedings{EastlundF10,
  title = {Hygienic Macros for ACL2},
  author = {Carl Eastlund and Matthias Felleisen},
  year = {2010},
  doi = {10.1007/978-3-642-22941-1_6},
  url = {http://dx.doi.org/10.1007/978-3-642-22941-1_6},
  tags = {macros},
  researchr = {https://researchr.org/publication/EastlundF10},
  cites = {0},
  citedby = {0},
  pages = {84-101},
  booktitle = {sfp},
}

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

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

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

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

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

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

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

@inproceedings{Tobin-HochstadtF10,
  title = {Logical types for untyped languages},
  author = {Sam Tobin-Hochstadt and Matthias Felleisen},
  year = {2010},
  doi = {10.1145/1863543.1863561},
  url = {http://doi.acm.org/10.1145/1863543.1863561},
  researchr = {https://researchr.org/publication/Tobin-HochstadtF10},
  cites = {0},
  citedby = {0},
  pages = {117-128},
  booktitle = {ICFP},
}

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

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

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

@inproceedings{Tobin-HochstadtF08,
  title = {The design and implementation of typed scheme},
  author = {Sam Tobin-Hochstadt and Matthias Felleisen},
  year = {2008},
  doi = {10.1145/1328438.1328486},
  url = {http://doi.acm.org/10.1145/1328438.1328486},
  tags = {design},
  researchr = {https://researchr.org/publication/Tobin-HochstadtF08},
  cites = {0},
  citedby = {0},
  pages = {395-406},
  booktitle = {POPL},
}

@inproceedings{Felleisen10-0,
  title = {TeachScheme!: a checkpoint},
  author = {Matthias Felleisen},
  year = {2010},
  doi = {10.1145/1863543.1863563},
  url = {http://doi.acm.org/10.1145/1863543.1863563},
  researchr = {https://researchr.org/publication/Felleisen10-0},
  cites = {0},
  citedby = {0},
  pages = {129-130},
  booktitle = {ICFP},
}

@inproceedings{FelleisenFFK09,
  title = {A functional I/O system or, fun for freshman kids},
  author = {Matthias Felleisen and Robby Findler and Matthew Flatt and Shriram Krishnamurthi},
  year = {2009},
  doi = {10.1145/1596550.1596561},
  url = {http://doi.acm.org/10.1145/1596550.1596561},
  researchr = {https://researchr.org/publication/FelleisenFFK09},
  cites = {0},
  citedby = {0},
  pages = {47-58},
  booktitle = {ICFP},
}

@book{plt-redex2009,
  title = {Semantics Engineering with PLT Redex},
  author = {Matthias Felleisen and Robby Findler and Matthew Flatt},
  year = {2009},
  url = {http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=11885},
  tags = {PLT Redex, semantics},
  researchr = {https://researchr.org/publication/plt-redex2009},
  cites = {0},
  citedby = {0},
  publisher = {MIT Press},
  isbn = {978-0-262-06275-6},
}

@inproceedings{KrishnamurthiEF99,
  title = {Expressing Structural Properties as Language Constructs},
  author = {Shriram Krishnamurthi and Yan-David Erlich and Matthias Felleisen},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1576/15760258.htm},
  researchr = {https://researchr.org/publication/KrishnamurthiEF99},
  cites = {0},
  citedby = {0},
  pages = {258-272},
  booktitle = {ESOP},
}

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

@inproceedings{FlattKF98,
  title = {Classes and Mixins},
  author = {Matthew Flatt and Shriram Krishnamurthi and Matthias Felleisen},
  year = {1998},
  doi = {10.1145/268946.268961},
  url = {http://doi.acm.org/10.1145/268946.268961},
  researchr = {https://researchr.org/publication/FlattKF98},
  cites = {0},
  citedby = {0},
  pages = {171-183},
  booktitle = {POPL},
}

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

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

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

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

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

@inproceedings{FlattKF99,
  title = {A Programmer s Reduction Semantics for Classes and Mixins},
  author = {Matthew Flatt and Shriram Krishnamurthi and Matthias Felleisen},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1523/15230241.htm},
  tags = {semantics, Java},
  researchr = {https://researchr.org/publication/FlattKF99},
  cites = {0},
  citedby = {0},
  pages = {241-269},
  booktitle = {java},
}

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

@inproceedings{KrishnamurthiFF98,
  title = {Synthesizing Object-Oriented and Functional Design to Promote Re-Use},
  author = {Shriram Krishnamurthi and Matthias Felleisen and Daniel P. Friedman},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1445/14450091.htm},
  tags = {design},
  researchr = {https://researchr.org/publication/KrishnamurthiFF98},
  cites = {0},
  citedby = {0},
  pages = {91-113},
  booktitle = {ECOOP},
}

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

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

@inproceedings{CartwrightF94,
  title = {Extensible Denotational Language Specifications},
  author = {Robert Cartwright and Matthias Felleisen},
  year = {1994},
  tags = {extensible language},
  researchr = {https://researchr.org/publication/CartwrightF94},
  cites = {0},
  citedby = {0},
  pages = {244-272},
  booktitle = {tacs},
}

@inproceedings{StricklandTF09,
  title = {Practical Variable-Arity Polymorphism},
  author = {T. Stephen Strickland and Sam Tobin-Hochstadt and Matthias Felleisen},
  year = {2009},
  doi = {10.1007/978-3-642-00590-9_3},
  url = {http://dx.doi.org/10.1007/978-3-642-00590-9_3},
  researchr = {https://researchr.org/publication/StricklandTF09},
  cites = {0},
  citedby = {0},
  pages = {32-46},
  booktitle = {ESOP},
}

@inproceedings{KleinCDEFFMRTF12,
  title = {Run your research: on the effectiveness of lightweight mechanization},
  author = {Casey Klein and John Clements and Christos Dimoulas and Carl Eastlund and Matthias Felleisen and Matthew Flatt and Jay A. McCarthy and Jon Rafkind and Sam Tobin-Hochstadt and Robby Findler},
  year = {2012},
  doi = {10.1145/2103656.2103691},
  url = {http://doi.acm.org/10.1145/2103656.2103691},
  researchr = {https://researchr.org/publication/KleinCDEFFMRTF12},
  cites = {0},
  citedby = {0},
  pages = {285-296},
  booktitle = {POPL},
}

@article{Felleisen00,
  title = {Components and program analyses},
  author = {Matthias Felleisen},
  year = {2000},
  doi = {10.1145/340855.340887},
  url = {http://doi.acm.org/10.1145/340855.340887},
  researchr = {https://researchr.org/publication/Felleisen00},
  cites = {0},
  citedby = {0},
  journal = {sigsoft},
  volume = {25},
  number = {1},
  pages = {49-50},
}

@inproceedings{StricklandF09-0,
  title = {Nested and Dynamic Contract Boundaries},
  author = {T. Stephen Strickland and Matthias Felleisen},
  year = {2009},
  doi = {10.1007/978-3-642-16478-1_9},
  url = {http://dx.doi.org/10.1007/978-3-642-16478-1_9},
  researchr = {https://researchr.org/publication/StricklandF09-0},
  cites = {0},
  citedby = {0},
  pages = {141-158},
  booktitle = {IFL},
}

@book{FelleisenFindlerFlatt2009,
  title = {Semantics Engineering with PLT Redex},
  author = {Matthias Felleisen and Robby Findler and Matthew Flatt},
  year = {2009},
  tags = {PLT Redex, programming languages, semantics, meta programming, meta-model, modeling language, modeling, language engineering, software language engineering, language modeling, testing, software engineering, model-driven engineering, debugging, information models, programming, Meta-Environment, abstract machine, grammar},
  researchr = {https://researchr.org/publication/FelleisenFindlerFlatt2009},
  cites = {0},
  citedby = {0},
  publisher = {MIT Press},
}

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

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

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

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