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: "JFP" 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: "sfp" 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" 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" 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" 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: "CC" 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: "ICFP" 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: "gcse" 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: "lfp" 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: "acl2" 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" 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: "ESOP" 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: "JFP" 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: "PADL" 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: "iandc" 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: "rex" 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: "ESOP" 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: "PLDI" 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: "ESOP" 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: "RTA" 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" 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: "ECOOP" 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: "TCS" 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: "ESOP" 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: "csedu" 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" 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: "JFP" 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: "OOPSLA" 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: "Comp. Lang., Syst. \\& Struct." 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: "IFL" 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: "DLS" 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: "GPCE" 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: "ppdp" 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: "ICFP" 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: "GPCE" 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: "lfp" 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: "SCP" 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: "ENTCS" 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: "ESOP" 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: "ICFP" 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: "lisp" 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: "PLDI" 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: "JFP" 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: "lics" 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: "ICFP" 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: "ICFP" 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: "ICFP" 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: "SCP" 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: "ICFP" 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: "aplas" 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: "POPL" 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: "lisp" 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: "DLS" 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: "POPL" 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: "TCS" 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: "OOPSLA" 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/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" 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" 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 Comput. Surv." 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: "SNAPL" 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: "afp" 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: "JFP" 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: "lfp" 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: "plilp" 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: "tldi" 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: "GPCE" 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" 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: "OOPSLA" 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: "POPL" 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: "POPL" 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: "sigcse" 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: "ESEC/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" 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: "ppdp" 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: "lisa" 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: "OOPSLA" 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: "Comp. Lang., Syst. \\& Struct." 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: "ASE" 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: "ICSE" 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: "POPL" 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: "JFP" 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: "ESOP" 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: "POPL" 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: "ESOP" 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: "JFP" 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: "PADL" 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: "sigcse" 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: "sfp" 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: "TCS" 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: "TOPLAS" 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: "ASE" 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: "TOPLAS" 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: "TOPLAS" 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: "ICFP" 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: "TOPLAS" 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: "lfp" 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: "JFP" 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: "POPL" 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: "ICFP" 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: "ICFP" 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: "ESOP" 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: "POPL" 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: "lisp" 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: "lisp" 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: "java" 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: "ECOOP" 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: "CACM" 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: "ESOP" 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: "tacs" 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: "ESOP" 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: "POPL" 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: "sigsoft" 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: "IFL" 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: "lfp" 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" 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"