publications:
- title: "Jiazzi: New-Age Components for Old-Fashioned Java"
  author:
  - name: "Sean McDirmid"
    link: "https://researchr.org/alias/sean-mcdirmid"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  - name: "Wilson C. Hsieh"
    link: "https://researchr.org/alias/wilson-c.-hsieh"
  year: "2001"
  tags:
  - "Java"
  - "C++"
  researchr: "https://researchr.org/publication/McDirmidFH01"
  cites: 0
  citedby: 0
  pages: "211-222"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "McDirmidFH01"
- title: "POP-PL: a patient-oriented prescription programming language"
  author:
  - name: "Spencer P. Florence"
    link: "https://researchr.org/alias/spencer-p.-florence"
  - name: "Burke Fetscher"
    link: "https://researchr.org/alias/burke-fetscher"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  - name: "William H. Temps"
    link: "https://researchr.org/alias/william-h.-temps"
  - name: "Tina Kiguradze"
    link: "https://researchr.org/alias/tina-kiguradze"
  - name: "Dennis P. West"
    link: "https://researchr.org/alias/dennis-p.-west"
  - name: "Charlotte Niznik"
    link: "https://researchr.org/alias/charlotte-niznik"
  - name: "Paul R. Yarnold"
    link: "https://researchr.org/alias/paul-r.-yarnold"
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  - name: "Steven M. Belknap"
    link: "https://researchr.org/alias/steven-m.-belknap"
  year: "2015"
  doi: "http://doi.acm.org/10.1145/2814204.2814221"
  links:
    doi: "http://doi.acm.org/10.1145/2814204.2814221"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/gpce/FlorenceFFTKWNY15"
  researchr: "https://researchr.org/publication/FlorenceFFTKWNY15"
  cites: 0
  citedby: 0
  pages: "131-140"
  booktitle: "GPCE"
  kind: "inproceedings"
  key: "FlorenceFFTKWNY15"
- 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: "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: "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: "Composable and compilable macros: : you want it when?"
  author:
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/581478.581486"
  links:
    doi: "http://doi.acm.org/10.1145/581478.581486"
  tags:
  - "macros"
  - "compiler"
  researchr: "https://researchr.org/publication/Flatt02"
  cites: 0
  citedby: 0
  pages: "72-83"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "Flatt02"
- title: "Submodules in racket: you want it when, again?"
  author:
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  year: "2013"
  doi: "http://doi.acm.org/10.1145/2517208.2517211"
  abstract: "In an extensible programming language, programmers write code that must run at different times - in particular, at compile time versus run time. The module system of the Racket programming language enables a programmer to reason about programs in the face of such extensibility, because the distinction between run-time and compile-time phases is built into the language model. Submodules extend Racket's module system to make the phase-separation facet of the language extensible. That is, submodules give programmers the capability to define new phases, such as \"test time\" or \"documentation time,\" with the same reasoning and code-management benefits as the built-in distinction between run time and compile time."
  links:
    doi: "http://doi.acm.org/10.1145/2517208.2517211"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/gpce/Flatt13"
  researchr: "https://researchr.org/publication/Flatt13"
  cites: 0
  citedby: 0
  pages: "13-22"
  booktitle: "GPCE"
  kind: "inproceedings"
  key: "Flatt13"
- title: "Super and inner: together at last!"
  author:
  - name: "David S. Goldberg"
    link: "https://researchr.org/alias/david-s.-goldberg"
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1028976.1028987"
  links:
    doi: "http://doi.acm.org/10.1145/1028976.1028987"
  researchr: "https://researchr.org/publication/GoldbergFF04"
  cites: 0
  citedby: 0
  pages: "116-129"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "GoldbergFF04"
- title: "ABI Compatibility Through a Customizable Language"
  author:
  - name: "Kevin Atkinson"
    link: "https://researchr.org/alias/kevin-atkinson"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  - name: "Gary Lindstrom"
    link: "https://researchr.org/alias/gary-lindstrom"
  year: "2010"
  researchr: "https://researchr.org/publication/Atkinson-GPCE-2010"
  cites: 0
  citedby: 0
  booktitle: "GPCE"
  kind: "inproceedings"
  key: "Atkinson-GPCE-2010"
- 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: "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: "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: "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: "Front Matter, Table of Contents"
  author:
  - name: "Camil Demetrescu"
    link: "https://researchr.org/alias/camil-demetrescu"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  year: "2015"
  doi: "http://dx.doi.org/10.4230/DARTS.1.1.0"
  links:
    doi: "http://dx.doi.org/10.4230/DARTS.1.1.0"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/darts/DemetrescuF15"
  researchr: "https://researchr.org/publication/DemetrescuF15"
  cites: 0
  citedby: 0
  journal: "darts"
  volume: "1"
  number: "1"
  kind: "article"
  key: "DemetrescuF15"
- title: "Fine-grained interoperability through mirrors and contracts"
  author:
  - name: "Kathryn E. Gray"
    link: "https://researchr.org/alias/kathryn-e.-gray"
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1094811.1094830"
  links:
    doi: "http://doi.acm.org/10.1145/1094811.1094830"
  tags:
  - "contracts"
  - "e-science"
  researchr: "https://researchr.org/publication/GrayFF05"
  cites: 0
  citedby: 0
  pages: "231-245"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "GrayFF05"
- title: "PLT. Reference: Racket"
  author:
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  year: "2010"
  researchr: "https://researchr.org/publication/flatt2010plt"
  cites: 0
  citedby: 0
  institution: "Technical Report PLT-TR-2010-1, PLT Inc., 2010. http://racket-lang. org/tr1"
  kind: "techreport"
  key: "flatt2010plt"
- 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: "A Framework for Modular Linking in OO Languages"
  author:
  - name: "Sean McDirmid"
    link: "https://researchr.org/alias/sean-mcdirmid"
  - name: "Wilson C. Hsieh"
    link: "https://researchr.org/alias/wilson-c.-hsieh"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11860990_9"
  links:
    doi: "http://dx.doi.org/10.1007/11860990_9"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/McDirmidHF06"
  cites: 0
  citedby: 0
  pages: "116-135"
  booktitle: "jmlc"
  kind: "inproceedings"
  key: "McDirmidHF06"
- title: "Binding as sets of scopes"
  author:
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  year: "2016"
  doi: "http://doi.acm.org/10.1145/2837614.2837620"
  links:
    doi: "http://doi.acm.org/10.1145/2837614.2837620"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/popl/Flatt16"
  researchr: "https://researchr.org/publication/Flatt16"
  cites: 0
  citedby: 0
  pages: "705-717"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "Flatt16"
- 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: "ProfessorJ: a gradual introduction to Java through language levels"
  author:
  - name: "Kathryn E. Gray"
    link: "https://researchr.org/alias/kathryn-e.-gray"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/949344.949394"
  links:
    doi: "http://doi.acm.org/10.1145/949344.949394"
  tags:
  - "Java"
  - "e-science"
  researchr: "https://researchr.org/publication/GrayF03"
  cites: 0
  citedby: 0
  pages: "170-177"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "GrayF03"
- title: "Front Matter, Table of Contents, Preface, Artifact Evaluation Committee"
  author:
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  - name: "Tijs van der Storm"
    link: "https://researchr.org/alias/tijs-van-der-storm"
  year: "2016"
  doi: "http://dx.doi.org/10.4230/DARTS.2.1.0"
  links:
    doi: "http://dx.doi.org/10.4230/DARTS.2.1.0"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/darts/FlattS16"
  researchr: "https://researchr.org/publication/FlattS16"
  cites: 0
  citedby: 0
  journal: "darts"
  volume: "2"
  number: "1"
  kind: "article"
  key: "FlattS16"
- title: "Memory accounting without partitions"
  author:
  - name: "Adam Wick"
    link: "https://researchr.org/alias/adam-wick"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1029873.1029888"
  links:
    doi: "http://doi.acm.org/10.1145/1029873.1029888"
  tags:
  - "partitioning"
  researchr: "https://researchr.org/publication/WickF04"
  cites: 0
  citedby: 0
  pages: "120-130"
  booktitle: "iwmm"
  kind: "inproceedings"
  key: "WickF04"
- title: "Kill-safe synchronization abstractions"
  author:
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/996841.996849"
  links:
    doi: "http://doi.acm.org/10.1145/996841.996849"
  tags:
  - "synchronization"
  - "abstraction"
  researchr: "https://researchr.org/publication/FlattF04"
  cites: 0
  citedby: 0
  pages: "47-58"
  booktitle: "PLDI"
  kind: "inproceedings"
  key: "FlattF04"
- 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: "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: "Modular Object-Oriented Programming with Units and Mixins"
  author:
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  year: "1998"
  doi: "http://doi.acm.org/10.1145/289423.289432"
  links:
    doi: "http://doi.acm.org/10.1145/289423.289432"
  tags:
  - "object-oriented programming"
  - "meta programming"
  - "programming"
  - "subject-oriented programming"
  - "Meta-Environment"
  - "feature-oriented programming"
  - "meta-objects"
  researchr: "https://researchr.org/publication/FindlerF98"
  cites: 0
  citedby: 0
  pages: "94-104"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "FindlerF98"
- 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: "Preface"
  author:
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  - name: "Benjamin C. Pierce"
    link: "http://www.cis.upenn.edu/~bcpierce/"
  year: "2007"
  doi: "http://dx.doi.org/10.1017/S0956796807006454"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796807006454"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/FlattP07"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "17"
  number: "4-5"
  pages: "431"
  kind: "article"
  key: "FlattP07"
- title: "Back to the futures: incremental parallelization of existing sequential runtime systems"
  author:
  - name: "James Swaine"
    link: "https://researchr.org/alias/james-swaine"
  - name: "Kevin Tew"
    link: "https://researchr.org/alias/kevin-tew"
  - name: "Peter A. Dinda"
    link: "https://researchr.org/alias/peter-a.-dinda"
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1869459.1869507"
  links:
    doi: "http://doi.acm.org/10.1145/1869459.1869507"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/SwaineTDFF10"
  tags:
  - "incremental"
  researchr: "https://researchr.org/publication/SwaineTDFF10"
  cites: 0
  citedby: 0
  pages: "583-597"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "SwaineTDFF10"
- 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: "Honu: syntactic extension for algebraic notation through enforestation"
  author:
  - name: "Jon Rafkind"
    link: "https://researchr.org/alias/jon-rafkind"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  year: "2012"
  doi: "http://doi.acm.org/10.1145/2371401.2371420"
  links:
    doi: "http://doi.acm.org/10.1145/2371401.2371420"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/gpce/RafkindF12"
  researchr: "https://researchr.org/publication/RafkindF12"
  cites: 0
  citedby: 0
  pages: "122-131"
  booktitle: "GPCE"
  kind: "inproceedings"
  key: "RafkindF12"
- title: "Slideshow: functional presentations"
  author:
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  year: "2006"
  doi: "http://dx.doi.org/10.1017/S0956796806006010"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796806006010"
  researchr: "https://researchr.org/publication/FindlerF06"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "16"
  number: "4-5"
  pages: "583-619"
  kind: "article"
  key: "FindlerF06"
- title: "Chaperones and impersonators: run-time support for reasonable interposition"
  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: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  year: "2012"
  doi: "http://doi.acm.org/10.1145/2384616.2384685"
  links:
    doi: "http://doi.acm.org/10.1145/2384616.2384685"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/StricklandTFF12"
  researchr: "https://researchr.org/publication/StricklandTFF12"
  cites: 0
  citedby: 0
  pages: "943-962"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "StricklandTFF12"
- title: "Syntactic Abstraction in Component Interfaces"
  author:
  - name: "Ryan Culpepper"
    link: "https://researchr.org/alias/ryan-culpepper"
  - name: "Scott Owens"
    link: "https://researchr.org/alias/scott-owens"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11561347_25"
  links:
    doi: "http://dx.doi.org/10.1007/11561347_25"
  tags:
  - "abstraction"
  researchr: "https://researchr.org/publication/CulpepperOF05"
  cites: 0
  citedby: 0
  pages: "373-388"
  booktitle: "GPCE"
  kind: "inproceedings"
  key: "CulpepperOF05"
- title: "Creating languages in Racket"
  author:
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  year: "2012"
  doi: "http://doi.acm.org/10.1145/2063176.2063195"
  links:
    doi: "http://doi.acm.org/10.1145/2063176.2063195"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/cacm/Flatt12"
  researchr: "https://researchr.org/publication/Flatt12"
  cites: 0
  citedby: 0
  journal: "CACM"
  volume: "55"
  number: "1"
  pages: "48-56"
  kind: "article"
  key: "Flatt12"
- title: "Macros that Work Together - Compile-time bindings, partial expansion, and definition contexts"
  author:
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  - name: "Ryan Culpepper"
    link: "https://researchr.org/alias/ryan-culpepper"
  - name: "David Darais"
    link: "https://researchr.org/alias/david-darais"
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  year: "2012"
  doi: "http://dx.doi.org/10.1017/S0956796812000093"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796812000093"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jfp/FlattCDF12"
  researchr: "https://researchr.org/publication/FlattCDF12"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "22"
  number: "2"
  pages: "181-216"
  kind: "article"
  key: "FlattCDF12"
- title: "Scribble: closing the book on ad hoc documentation tools"
  author:
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  - name: "Eli Barzilay"
    link: "https://researchr.org/alias/eli-barzilay"
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1596550.1596569"
  links:
    doi: "http://doi.acm.org/10.1145/1596550.1596569"
  researchr: "https://researchr.org/publication/FlattBF09"
  cites: 0
  citedby: 0
  pages: "109-120"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "FlattBF09"
- 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: "From structures and functors to modules and units"
  author:
  - name: "Scott Owens"
    link: "https://researchr.org/alias/scott-owens"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1159803.1159815"
  abstract: "Component programming techniques encourage abstraction and reuse through external linking. Some parts of a program, however, must use concrete, internally specified references, so a pure component system is not a sufficient mechanism for structuring programs. We present the combination of a static, internally-linked module system and a purely abstractive component system. The latter extends our previous model of typed units to properly account for translucency and sharing. We also show how units and modules can express an SML-style system of structures and functors, and we explore the consequences for recursive structures and functors."
  links:
    doi: "http://doi.acm.org/10.1145/1159803.1159815"
  researchr: "https://researchr.org/publication/OwensF06"
  cites: 0
  citedby: 0
  pages: "87-98"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "OwensF06"
- 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: "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: "Medic: metaprogramming and trace-oriented debugging"
  author:
  - name: "Xiangqi Li"
    link: "https://researchr.org/alias/xiangqi-li"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  year: "2015"
  doi: "http://doi.acm.org/10.1145/2846656.2846658"
  links:
    doi: "http://doi.acm.org/10.1145/2846656.2846658"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/LiF15"
  researchr: "https://researchr.org/publication/LiF15-7"
  cites: 0
  citedby: 0
  pages: "7-14"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "LiF15-7"
- 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: "ABI compatibility through a customizable language"
  author:
  - name: "Kevin Atkinson"
    link: "https://researchr.org/alias/kevin-atkinson"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  - name: "Gary Lindstrom"
    link: "https://researchr.org/alias/gary-lindstrom"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1868294.1868316"
  links:
    doi: "http://doi.acm.org/10.1145/1868294.1868316"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/gpce/AtkinsonFL10"
  researchr: "https://researchr.org/publication/AtkinsonFL10"
  cites: 0
  citedby: 0
  pages: "147-156"
  booktitle: "GPCE"
  kind: "inproceedings"
  key: "AtkinsonFL10"
- title: "The role of language paradigms in teaching programming"
  author:
  - name: "Peter Van Roy"
    link: "https://researchr.org/alias/peter-van-roy"
  - name: "Joe Armstrong"
    link: "https://researchr.org/alias/joe-armstrong"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  - name: "Boris Magnusson"
    link: "https://researchr.org/alias/boris-magnusson"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/611892.611908"
  links:
    doi: "http://doi.acm.org/10.1145/611892.611908"
  tags:
  - "programming languages"
  - "programming paradigms"
  - "teaching"
  - "programming"
  researchr: "https://researchr.org/publication/RoyAFM03"
  cites: 0
  citedby: 0
  pages: "269-270"
  booktitle: "sigcse"
  kind: "inproceedings"
  key: "RoyAFM03"
- title: "Seeing the futures: profiling shared-memory parallel racket"
  author:
  - name: "James Swaine"
    link: "https://researchr.org/alias/james-swaine"
  - name: "Burke Fetscher"
    link: "https://researchr.org/alias/burke-fetscher"
  - name: "Vincent St-Amour"
    link: "https://researchr.org/alias/vincent-st-amour"
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  year: "2012"
  doi: "http://doi.acm.org/10.1145/2364474.2364485"
  links:
    doi: "http://doi.acm.org/10.1145/2364474.2364485"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/SwaineFSFF12"
  researchr: "https://researchr.org/publication/SwaineFSFF12"
  cites: 0
  citedby: 0
  pages: "73-82"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "SwaineFSFF12"
- 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: "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: "Precise garbage collection for C"
  author:
  - name: "Jon Rafkind"
    link: "https://researchr.org/alias/jon-rafkind"
  - name: "Adam Wick"
    link: "https://researchr.org/alias/adam-wick"
  - name: "John Regehr"
    link: "https://researchr.org/alias/john-regehr"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1542431.1542438"
  links:
    doi: "http://doi.acm.org/10.1145/1542431.1542438"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/RafkindWRF09"
  cites: 0
  citedby: 0
  pages: "39-48"
  booktitle: "iwmm"
  kind: "inproceedings"
  key: "RafkindWRF09"
- title: "Places: adding message-passing parallelism to racket"
  author:
  - name: "Kevin Tew"
    link: "https://researchr.org/alias/kevin-tew"
  - name: "James Swaine"
    link: "https://researchr.org/alias/james-swaine"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  - name: "Peter A. Dinda"
    link: "https://researchr.org/alias/peter-a.-dinda"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/2047849.2047860"
  links:
    doi: "http://doi.acm.org/10.1145/2047849.2047860"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/dls/TewSFFD11"
  researchr: "https://researchr.org/publication/TewSFFD11"
  cites: 0
  citedby: 0
  pages: "85-96"
  booktitle: "DLS"
  kind: "inproceedings"
  key: "TewSFFD11"
- 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: "Random testing for higher-order, stateful programs"
  author:
  - name: "Casey Klein"
    link: "http://users.eecs.northwestern.edu/~clk800/"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1869459.1869505"
  abstract: "Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination of mutable state and callbacks, even though objects and method overriding set up exactly that combination. For such cases, a test generator must create callbacks or subclasses that aggressively exercise side-effecting operations using combinations of generated objects. This paper presents a new algorithm for randomly testing programs that use state and callbacks. Our algorithm exploits a combination of contracts and environment bindings to guide the test-case generator toward interesting inputs. Our prototype implementation for Racket (formerly PLT Scheme) - which has a Java-like class system, but with first-class classes as well as gbeta-like augmentable methods - uncovered dozens of bugs in a well-tested and widely used text-editor library. We describe our approach in a precise, formal notation, borrowing the techniques used to describe operational semantics and type systems. The formalism enables us to provide a compact and self-contained explanation of the core of our technique without the ambiguity usually present in pseudo-code descriptions."
  links:
    doi: "http://doi.acm.org/10.1145/1869459.1869505"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/KleinFF10"
  tags:
  - "object-oriented programming"
  - "semantics"
  - "Java"
  - "meta programming"
  - "formal semantics"
  - "contracts"
  - "testing"
  - "type system"
  - "random testing"
  - " mutable objects"
  - "subject-oriented programming"
  - "operational semantics"
  - "Meta-Environment"
  - "systematic-approach"
  - "feature-oriented programming"
  - "meta-objects"
  researchr: "https://researchr.org/publication/KleinFF10"
  cites: 0
  citedby: 0
  pages: "555-566"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "KleinFF10"
- 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: "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: "Knit: Component Composition for Systems Software"
  author:
  - name: "Alastair Reid"
    link: "https://researchr.org/alias/alastair-reid"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  - name: "Leigh Stoller"
    link: "https://researchr.org/alias/leigh-stoller"
  - name: "Jay Lepreau"
    link: "https://researchr.org/alias/jay-lepreau"
  - name: "Eric Eide"
    link: "https://researchr.org/alias/eric-eide"
  year: "2000"
  tags:
  - "software components"
  - "composition"
  - "software component"
  researchr: "https://researchr.org/publication/ReidFSLE00"
  cites: 0
  citedby: 0
  pages: "347-360"
  booktitle: "osdi"
  kind: "inproceedings"
  key: "ReidFSLE00"
- title: "Distributed Places"
  author:
  - name: "Kevin Tew"
    link: "https://researchr.org/alias/kevin-tew"
  - name: "James Swaine"
    link: "https://researchr.org/alias/james-swaine"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  - name: "Peter A. Dinda"
    link: "https://researchr.org/alias/peter-a.-dinda"
  year: "2013"
  doi: "http://dx.doi.org/10.1007/978-3-642-45340-3_3"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-45340-3_3"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sfp/TewSFFD13"
  researchr: "https://researchr.org/publication/TewSFFD13"
  cites: 0
  citedby: 0
  pages: "34-57"
  booktitle: "sfp"
  kind: "inproceedings"
  key: "TewSFFD13"
- title: "The Racket virtual machine and randomized testing"
  author:
  - name: "Casey Klein"
    link: "https://researchr.org/alias/casey-klein"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/s10990-013-9091-1"
  links:
    doi: "http://dx.doi.org/10.1007/s10990-013-9091-1"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/lisp/KleinFF12"
  researchr: "https://researchr.org/publication/KleinFF12"
  cites: 0
  citedby: 0
  journal: "lisp"
  volume: "25"
  number: "2-4"
  pages: "209-253"
  kind: "article"
  key: "KleinFF12"
- 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: "Composable and compilable macros:: you want it when?"
  author:
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/581478.581486"
  links:
    doi: "http://doi.acm.org/10.1145/581478.581486"
  tags:
  - "macros"
  - "compiler"
  researchr: "https://researchr.org/publication/581486"
  cites: 0
  citedby: 0
  booktitle: "ICFP '02: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming"
  kind: "inproceedings"
  key: "581486"
- title: "Extensible access control with authorization contracts"
  author:
  - name: "Scott Moore"
    link: "https://researchr.org/alias/scott-moore"
  - name: "Christos Dimoulas"
    link: "https://researchr.org/alias/christos-dimoulas"
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  - name: "Stephen Chong"
    link: "https://researchr.org/alias/stephen-chong"
  year: "2016"
  doi: "http://doi.acm.org/10.1145/2983990.2984021"
  links:
    doi: "http://doi.acm.org/10.1145/2983990.2984021"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/MooreDFFC16"
  researchr: "https://researchr.org/publication/MooreDFFC16"
  cites: 0
  citedby: 0
  pages: "214-233"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "MooreDFFC16"
- title: "Slideshow: functional presentations"
  author:
  - name: "Robby Findler"
    link: "http://www.eecs.northwestern.edu/~robby/"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1016850.1016880"
  links:
    doi: "http://doi.acm.org/10.1145/1016850.1016880"
  researchr: "https://researchr.org/publication/FindlerF04"
  cites: 0
  citedby: 0
  pages: "224-235"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "FindlerF04"
- 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: "Generative Programming: Concepts and Experiences, GPCE'14, Vasteras, Sweden, September 15-16, 2014"
  year: "2014"
  doi: "http://dl.acm.org/citation.cfm?id=2658761"
  links:
    doi: "http://dl.acm.org/citation.cfm?id=2658761"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/gpce/2014"
  researchr: "https://researchr.org/publication/gpce-2014"
  cites: 0
  citedby: 0
  booktitle: "Generative Programming: Concepts and Experiences, GPCE'14, Vasteras, Sweden, September 15-16, 2014"
  conference: "GPCE"
  editor:
  - name: "Ulrik Pagh Schultz"
    link: "https://researchr.org/alias/ulrik-pagh-schultz"
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  publisher: "ACM"
  isbn: "978-1-4503-3161-6"
  kind: "proceedings"
  key: "gpce-2014"
- title: "Practical Aspects of Declarative Languages - 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings"
  year: "2014"
  doi: "http://dx.doi.org/10.1007/978-3-319-04132-2"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-04132-2"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/padl/2014"
  researchr: "https://researchr.org/publication/padl-2014"
  cites: 0
  citedby: 0
  booktitle: "Practical Aspects of Declarative Languages - 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings"
  conference: "PADL"
  editor:
  - name: "Matthew Flatt"
    link: "http://www.cs.utah.edu/~mflatt/"
  - name: "Hai-Feng Guo"
    link: "https://researchr.org/alias/hai-feng-guo"
  volume: "8324"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-319-04131-5"
  kind: "proceedings"
  key: "padl-2014"