{
  "name": "variable-binding",
  "publications": [
    {
      "type": "inproceedings",
      "conference": "icfp",
      "conferenceYear": "",
      "booktitle": "Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011",
      "volume": "",
      "number": "",
      "series": "",
      "address": "",
      "organization": "",
      "publisher": "ACM",
      "editors": [
        {
          "alias": {
            "url": "https://researchr.org/alias/manuel-m.-t.-chakravarty",
            "id": "f5946a46-8e8e-455d-8ea9-ba6a6234e7fd",
            "key": "manuel-m.-t.-chakravarty",
            "name": "Manuel M. T. Chakravarty"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/zhenjiang-hu",
            "id": "40843242-d849-41e5-b431-da289ecb954b",
            "key": "zhenjiang-hu",
            "name": "Zhenjiang Hu"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/olivier-danvy",
            "id": "3b21ff58-79e9-4f14-aedd-63ad4e065625",
            "key": "olivier-danvy",
            "name": "Olivier Danvy"
          },
          "person": {
            "url": "https://researchr.org/profile/olivierdanvy",
            "id": "e2ae0f9d-8e1c-46c2-9d45-e79bf832af69",
            "key": "olivierdanvy",
            "fullname": "Olivier Danvy"
          }
        }
      ],
      "firstpage": 333,
      "lastpage": 345,
      "id": "0969e8d0-a0b6-4799-86ff-dc5acaff7765",
      "key": "WeirichYS11",
      "title": "Binders unbound",
      "month": "",
      "year": "2011",
      "doi": "http://doi.acm.org/10.1145/2034773.2034818",
      "note": "",
      "abstract": "",
      "url": "https://researchr.org/publication/WeirichYS11",
      "authors": [
        {
          "alias": {
            "url": "https://researchr.org/alias/stephanie-weirich",
            "id": "6e5f4081-0f75-4178-a2ec-9822fdb2e8eb",
            "key": "stephanie-weirich",
            "name": "Stephanie Weirich"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/brent-a.-yorgey",
            "id": "802fc8a6-a4a7-40bf-81ea-0d432ae46a9f",
            "key": "brent-a.-yorgey",
            "name": "Brent A. Yorgey"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/tim-sheard",
            "id": "4b0fe3d2-f09e-4fc8-8e7b-08cb0d23739a",
            "key": "tim-sheard",
            "name": "Tim Sheard"
          }
        }
      ]
    },
    {
      "type": "article",
      "journal": "Sci. Comput. Program.",
      "volumenumber": "23",
      "issuenumber": "2-3",
      "firstpage": 287,
      "lastpage": 311,
      "id": "0a0c4b11-e5d2-4dfa-8765-fcee0c3d2f2a",
      "key": "BellegardeH94",
      "title": "Substitution: A Formal Methods Case Study Using Monads and Transformations",
      "month": "",
      "year": "1994",
      "doi": "",
      "note": "",
      "abstract": "",
      "url": "https://researchr.org/publication/BellegardeH94",
      "authors": [
        {
          "alias": {
            "url": "https://researchr.org/alias/fran%C3%A7oise-bellegarde",
            "id": "b69b3c6a-6938-4dff-8382-220aa4367b89",
            "key": "françoise-bellegarde",
            "name": "Françoise Bellegarde"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/james-hook",
            "id": "62de2bb8-e508-4cf9-8718-86d9fcb6fc60",
            "key": "james-hook",
            "name": "James Hook"
          }
        }
      ]
    },
    {
      "type": "inproceedings",
      "conference": "icfp",
      "conferenceYear": "",
      "booktitle": "Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010",
      "volume": "",
      "number": "",
      "series": "",
      "address": "",
      "organization": "",
      "publisher": "ACM",
      "editors": [
        {
          "alias": {
            "url": "https://researchr.org/alias/paul-hudak",
            "id": "a2d886cc-d039-46ed-9be5-ed31020b60b0",
            "key": "paul-hudak",
            "name": "Paul Hudak"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/stephanie-weirich",
            "id": "6e5f4081-0f75-4178-a2ec-9822fdb2e8eb",
            "key": "stephanie-weirich",
            "name": "Stephanie Weirich"
          }
        }
      ],
      "firstpage": 217,
      "lastpage": 228,
      "id": "32fc94a8-7f54-4d10-8069-1ef23eea2161",
      "key": "PouillardP10",
      "title": "A fresh look at programming with names and binders",
      "month": "",
      "year": "2010",
      "doi": "http://doi.acm.org/10.1145/1863543.1863575",
      "note": "",
      "abstract": "",
      "url": "https://researchr.org/publication/PouillardP10",
      "authors": [
        {
          "alias": {
            "url": "https://researchr.org/alias/nicolas-pouillard",
            "id": "2f83d9af-d595-4f03-b117-f3ef349bb384",
            "key": "nicolas-pouillard",
            "name": "Nicolas Pouillard"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/fran%C3%A7ois-pottier",
            "id": "4873b8c4-dea7-4856-9a7e-64f7e404443b",
            "key": "françois-pottier",
            "name": "François Pottier"
          }
        }
      ]
    },
    {
      "type": "inproceedings",
      "conference": "esop",
      "conferenceYear": "",
      "booktitle": "Programming Languages and Systems - 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings",
      "volume": "9032",
      "number": "",
      "series": "Lecture Notes in Computer Science",
      "address": "",
      "organization": "",
      "publisher": "Springer",
      "editors": [
        {
          "alias": {
            "url": "https://researchr.org/alias/jan-vitek",
            "id": "d1279f81-7128-42f0-9220-49dd011c9942",
            "key": "jan-vitek",
            "name": "Jan Vitek"
          }
        }
      ],
      "firstpage": 205,
      "lastpage": 231,
      "id": "3775eeea-8f56-4867-b977-b4f72f0a767a",
      "key": "NeronTVW15",
      "title": "A Theory of Name Resolution",
      "month": "",
      "year": "2015",
      "doi": "http://dx.doi.org/10.1007/978-3-662-46669-8_9",
      "note": "",
      "abstract": "We describe a language-independent theory for name binding and resolution, suitable for programming languages with complex scoping rules including both lexical scoping and modules. We formulate name resolution as a two-stage problem. First a language-independent scope graph is constructed using language-specific rules from an abstract syntax tree. Then references in the scope graph are resolved to corresponding declarations using a language-independent resolution process. We introduce a resolution calculus as a concise, declarative, and languageindependent specification of name resolution. We develop a resolution algorithm that is sound and complete with respect to the calculus. Based on the resolution calculus we develop language-independent definitions of α-equivalence and rename refactoring. We illustrate the approach using a small example language with modules. In addition, we show how our approach provides a model for a range of name binding patterns in existing languages.",
      "url": "https://researchr.org/publication/NeronTVW15",
      "authors": [
        {
          "alias": {
            "url": "https://researchr.org/alias/pierre-neron",
            "id": "2901b2cc-10dd-4ef9-b68c-35d670ecb5b7",
            "key": "pierre-neron",
            "name": "Pierre Neron"
          },
          "person": {
            "url": "https://researchr.org/profile/pierrejeanmichelneron",
            "id": "42ff95e4-4137-4df7-8901-964554daa811",
            "key": "pierrejeanmichelneron",
            "fullname": "Pierre Néron"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/andrew-p.-tolmach",
            "id": "1c1758a0-8f75-4a42-8365-aa467678c90b",
            "key": "andrew-p.-tolmach",
            "name": "Andrew P. Tolmach"
          },
          "person": {
            "url": "https://researchr.org/profile/andrewtolmach",
            "id": "3ae7690a-ec25-45cd-b2fb-3d5355157acd",
            "key": "andrewtolmach",
            "fullname": "Andrew P. Tolmach"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/eelco-visser",
            "id": "f68ba0ee-899e-4c4c-9d8a-6fed5092830a",
            "key": "eelco-visser",
            "name": "Eelco Visser"
          },
          "person": {
            "url": "https://researchr.org/profile/eelcovisser",
            "id": "f0fbf7c0-9729-4ec8-b3c9-5f30dbd9614b",
            "key": "eelcovisser",
            "fullname": "Eelco Visser"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/guido-wachsmuth",
            "id": "d5ff2ef2-75d4-4ac7-847f-098d645baf0e",
            "key": "guido-wachsmuth",
            "name": "Guido Wachsmuth"
          },
          "person": {
            "url": "https://researchr.org/profile/guwac",
            "id": "2260a4e5-f714-4f97-a046-c3f0a685e646",
            "key": "guwac",
            "fullname": "Guido Wachsmuth"
          }
        }
      ]
    },
    {
      "type": "article",
      "journal": "Formal Asp. Comput.",
      "volumenumber": "13",
      "issuenumber": "3-5",
      "firstpage": 341,
      "lastpage": 363,
      "id": "44205c00-7a3b-4cff-a70a-7f4c54649d09",
      "key": "GabbayP02",
      "title": "A New Approach to Abstract Syntax with Variable Binding",
      "month": "",
      "year": "2002",
      "doi": "http://link.springer.de/link/service/journals/00165/bibs/2013003/20130341.htm",
      "note": "",
      "abstract": "",
      "url": "https://researchr.org/publication/GabbayP02",
      "authors": [
        {
          "alias": {
            "url": "https://researchr.org/alias/murdoch-gabbay",
            "id": "2cc8fb3b-ab35-4631-933b-998433609864",
            "key": "murdoch-gabbay",
            "name": "Murdoch Gabbay"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/andrew-m.-pitts",
            "id": "780757eb-48b7-49cf-8baf-2607193dc69b",
            "key": "andrew-m.-pitts",
            "name": "Andrew M. Pitts"
          }
        }
      ]
    },
    {
      "type": "inproceedings",
      "conference": "esop",
      "conferenceYear": "",
      "booktitle": "Programming Languages and Systems - 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings",
      "volume": "9032",
      "number": "",
      "series": "Lecture Notes in Computer Science",
      "address": "",
      "organization": "",
      "publisher": "Springer",
      "editors": [
        {
          "alias": {
            "url": "https://researchr.org/alias/jan-vitek",
            "id": "d1279f81-7128-42f0-9220-49dd011c9942",
            "key": "jan-vitek",
            "name": "Jan Vitek"
          }
        }
      ],
      "firstpage": 762,
      "lastpage": 786,
      "id": "46b60cfc-0256-42ef-87e9-cfd7dfa5f616",
      "key": "Ricciotti15",
      "title": "Binding Structures as an Abstract Data Type",
      "month": "",
      "year": "2015",
      "doi": "http://dx.doi.org/10.1007/978-3-662-46669-8_31",
      "note": "",
      "abstract": "",
      "url": "https://researchr.org/publication/Ricciotti15",
      "authors": [
        {
          "alias": {
            "url": "https://researchr.org/alias/wilmer-ricciotti",
            "id": "ddeb9a9f-850a-40be-956d-f3f8396e31a9",
            "key": "wilmer-ricciotti",
            "name": "Wilmer Ricciotti"
          }
        }
      ]
    },
    {
      "type": "article",
      "journal": "Indagationes Mathematicae",
      "volumenumber": "34",
      "issuenumber": "5",
      "firstpage": 381,
      "lastpage": 392,
      "id": "4d79cf28-7938-491e-8a1a-92211caa1f54",
      "key": "deBruijn72",
      "title": "Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem",
      "month": "",
      "year": "1972",
      "doi": "",
      "note": "",
      "abstract": "",
      "url": "https://researchr.org/publication/deBruijn72",
      "authors": [
        {
          "alias": {
            "url": "https://researchr.org/alias/n.-g.-de-bruijn",
            "id": "373d387c-b76e-4b5b-8d0f-7bd9f30fcdf2",
            "key": "n.-g.-de-bruijn",
            "name": "N. G. de Bruijn"
          }
        }
      ]
    },
    {
      "type": "inproceedings",
      "conference": "pldi",
      "conferenceYear": "",
      "booktitle": "PLDI",
      "volume": "",
      "number": "",
      "series": "",
      "address": "",
      "organization": "",
      "publisher": "",
      "editors": [],
      "firstpage": 199,
      "lastpage": 208,
      "id": "540d98a8-ebf9-4562-bd33-03e5b50e995e",
      "key": "PfenningE88",
      "title": "Higher-Order Abstract Syntax",
      "month": "",
      "year": "1988",
      "doi": "https://doi.org/10.1145/960116.54010",
      "note": "",
      "abstract": "",
      "url": "https://researchr.org/publication/PfenningE88",
      "authors": [
        {
          "alias": {
            "url": "https://researchr.org/alias/frank-pfenning",
            "id": "175f6e28-36d7-4129-904d-43289f98fe7f",
            "key": "frank-pfenning",
            "name": "Frank Pfenning"
          },
          "person": {
            "url": "https://researchr.org/profile/frankpfenning",
            "id": "7a315cd1-27d5-4981-9ff4-bf2095ea03c1",
            "key": "frankpfenning",
            "fullname": "Frank Pfenning"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/conal-elliott",
            "id": "275bf5b4-8d9d-4261-897f-cd13a3e34dd7",
            "key": "conal-elliott",
            "name": "Conal Elliott"
          },
          "person": {
            "url": "https://researchr.org/profile/conalelliott",
            "id": "79238571-0fd6-458a-be14-5fe93863f6c4",
            "key": "conalelliott",
            "fullname": "Conal Elliott"
          }
        }
      ]
    },
    {
      "type": "inproceedings",
      "conference": "icfp",
      "conferenceYear": "",
      "booktitle": "Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008",
      "volume": "",
      "number": "",
      "series": "",
      "address": "",
      "organization": "",
      "publisher": "ACM",
      "editors": [
        {
          "alias": {
            "url": "https://researchr.org/alias/james-hook",
            "id": "62de2bb8-e508-4cf9-8718-86d9fcb6fc60",
            "key": "james-hook",
            "name": "James Hook"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/peter-thiemann",
            "id": "8c630c88-f069-456c-95b8-95f0884af64b",
            "key": "peter-thiemann",
            "name": "Peter Thiemann"
          },
          "person": {
            "url": "https://researchr.org/profile/peterthiemann",
            "id": "43266198-6fe7-469e-9451-93d569b07cb1",
            "key": "peterthiemann",
            "fullname": "Peter Thiemann"
          }
        }
      ],
      "firstpage": 143,
      "lastpage": 156,
      "id": "57cbb8dc-2fec-442b-a8df-306d60c01669",
      "key": "Chlipala08",
      "title": "Parametric higher-order abstract syntax for mechanized semantics",
      "month": "",
      "year": "2008",
      "doi": "http://doi.acm.org/10.1145/1411204.1411226",
      "note": "",
      "abstract": "",
      "url": "https://researchr.org/publication/Chlipala08",
      "authors": [
        {
          "alias": {
            "url": "https://researchr.org/alias/adam-j.-chlipala",
            "id": "825cb3d8-b94d-4352-9226-71d82ec1557c",
            "key": "adam-j.-chlipala",
            "name": "Adam J. Chlipala"
          },
          "person": {
            "url": "https://researchr.org/profile/adamjchlipala",
            "id": "091e71d9-7a32-413f-8831-0aae15022bd0",
            "key": "adamjchlipala",
            "fullname": "Adam J. Chlipala"
          }
        }
      ]
    },
    {
      "type": "article",
      "journal": "J. Autom. Reasoning",
      "volumenumber": "49",
      "issuenumber": "3",
      "firstpage": 363,
      "lastpage": 408,
      "id": "5a33dcf2-bb84-4fe0-8ec0-532cf4ec3889",
      "key": "Chargueraud12",
      "title": "The Locally Nameless Representation",
      "month": "",
      "year": "2012",
      "doi": "http://dx.doi.org/10.1007/s10817-011-9225-2",
      "note": "",
      "abstract": "",
      "url": "https://researchr.org/publication/Chargueraud12",
      "authors": [
        {
          "alias": {
            "url": "https://researchr.org/alias/arthur-chargu%C3%A9raud",
            "id": "a1ea6944-8d63-4729-8c6b-40458d10055d",
            "key": "arthur-charguéraud",
            "name": "Arthur Charguéraud"
          }
        }
      ]
    },
    {
      "type": "inproceedings",
      "conference": "haskell",
      "conferenceYear": "",
      "booktitle": "Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, Boston, MA, USA, September 23-24, 2013",
      "volume": "",
      "number": "",
      "series": "",
      "address": "",
      "organization": "",
      "publisher": "ACM",
      "editors": [
        {
          "alias": {
            "url": "https://researchr.org/alias/chung-chieh-shan",
            "id": "a1e8619b-fcf4-47a7-b865-7ee0a1ae793c",
            "key": "chung-chieh-shan",
            "name": "Chung-chieh Shan"
          }
        }
      ],
      "firstpage": 13,
      "lastpage": 24,
      "id": "6fe25a52-5d17-42dd-afe8-4bdef156c781",
      "key": "BernardyP13",
      "title": "Names for free: polymorphic views of names and binders",
      "month": "",
      "year": "2013",
      "doi": "http://doi.acm.org/10.1145/2503778.2503780",
      "note": "",
      "abstract": "",
      "url": "https://researchr.org/publication/BernardyP13",
      "authors": [
        {
          "alias": {
            "url": "https://researchr.org/alias/jean-philippe-bernardy",
            "id": "82def29f-1d13-4d04-ba1b-f7548d6ad636",
            "key": "jean-philippe-bernardy",
            "name": "Jean-Philippe Bernardy"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/nicolas-pouillard",
            "id": "2f83d9af-d595-4f03-b117-f3ef349bb384",
            "key": "nicolas-pouillard",
            "name": "Nicolas Pouillard"
          }
        }
      ]
    },
    {
      "type": "inproceedings",
      "conference": "tlca",
      "conferenceYear": "",
      "booktitle": "Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications, TLCA  93, Utrecht, The Netherlands, March 16-18, 1993, Proceedings",
      "volume": "664",
      "number": "",
      "series": "Lecture Notes in Computer Science",
      "address": "",
      "organization": "",
      "publisher": "Springer",
      "editors": [
        {
          "alias": {
            "url": "https://researchr.org/alias/marc-bezem",
            "id": "5481f276-2477-421b-8d2d-82eb75326713",
            "key": "marc-bezem",
            "name": "Marc Bezem"
          },
          "person": {
            "url": "https://researchr.org/profile/marcbezem",
            "id": "e42299ef-c9f0-4a27-8636-799b15803f26",
            "key": "marcbezem",
            "fullname": "Marc Bezem"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/jan-friso-groote",
            "id": "990e2c29-41c9-489a-bdad-bb6cb4c97d80",
            "key": "jan-friso-groote",
            "name": "Jan Friso Groote"
          },
          "person": {
            "url": "https://researchr.org/profile/janfrisogroote",
            "id": "12616a63-45d2-4a6c-a579-b2a7bff8a095",
            "key": "janfrisogroote",
            "fullname": "Jan Friso Groote"
          }
        }
      ],
      "firstpage": 289,
      "lastpage": 305,
      "id": "731814a9-1d40-4c4e-960c-3b7f2c4fb1bd",
      "key": "McKinnaP93",
      "title": "Pure Type Systems Formalized",
      "month": "",
      "year": "1993",
      "doi": "",
      "note": "",
      "abstract": "",
      "url": "https://researchr.org/publication/McKinnaP93",
      "authors": [
        {
          "alias": {
            "url": "https://researchr.org/alias/james-mckinna",
            "id": "61ec6e7a-4463-43d2-a572-7c698065f43b",
            "key": "james-mckinna",
            "name": "James McKinna"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/robert-pollack",
            "id": "9f3b0cb2-688f-48e4-87ae-8072ce373e16",
            "key": "robert-pollack",
            "name": "Robert Pollack"
          }
        }
      ]
    },
    {
      "type": "inproceedings",
      "conference": "icfp",
      "conferenceYear": "",
      "booktitle": "Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011",
      "volume": "",
      "number": "",
      "series": "",
      "address": "",
      "organization": "",
      "publisher": "ACM",
      "editors": [
        {
          "alias": {
            "url": "https://researchr.org/alias/manuel-m.-t.-chakravarty",
            "id": "f5946a46-8e8e-455d-8ea9-ba6a6234e7fd",
            "key": "manuel-m.-t.-chakravarty",
            "name": "Manuel M. T. Chakravarty"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/zhenjiang-hu",
            "id": "40843242-d849-41e5-b431-da289ecb954b",
            "key": "zhenjiang-hu",
            "name": "Zhenjiang Hu"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/olivier-danvy",
            "id": "3b21ff58-79e9-4f14-aedd-63ad4e065625",
            "key": "olivier-danvy",
            "name": "Olivier Danvy"
          },
          "person": {
            "url": "https://researchr.org/profile/olivierdanvy",
            "id": "e2ae0f9d-8e1c-46c2-9d45-e79bf832af69",
            "key": "olivierdanvy",
            "fullname": "Olivier Danvy"
          }
        }
      ],
      "firstpage": 320,
      "lastpage": 332,
      "id": "7af0a768-62bf-4905-9d7d-f8ba6e151934",
      "key": "Pouillard11",
      "title": "Nameless, painless",
      "month": "",
      "year": "2011",
      "doi": "http://doi.acm.org/10.1145/2034773.2034817",
      "note": "",
      "abstract": "",
      "url": "https://researchr.org/publication/Pouillard11",
      "authors": [
        {
          "alias": {
            "url": "https://researchr.org/alias/nicolas-pouillard",
            "id": "2f83d9af-d595-4f03-b117-f3ef349bb384",
            "key": "nicolas-pouillard",
            "name": "Nicolas Pouillard"
          }
        }
      ]
    },
    {
      "type": "article",
      "journal": "Electronic Proceedings in Theoretical Computer Science",
      "volumenumber": "275",
      "issuenumber": "",
      "firstpage": 53,
      "lastpage": 69,
      "id": "971a8623-ca1e-445c-8dc7-78f32020e2aa",
      "key": "McBride2018",
      "title": "Everybody\u0027s Got To Be Somewhere",
      "month": "Jul",
      "year": "2018",
      "doi": "10.4204/eptcs.275.6",
      "note": "",
      "abstract": "",
      "url": "https://researchr.org/publication/McBride2018",
      "authors": [
        {
          "alias": {
            "url": "https://researchr.org/alias/mcbride%2C-conor",
            "id": "441c2115-34c9-4dea-9b63-71c820adfd99",
            "key": "mcbride,-conor",
            "name": "McBride, Conor"
          },
          "person": {
            "url": "https://researchr.org/profile/conormcbride",
            "id": "0cbfa47f-c2dd-4b57-a6fd-be876e63cf35",
            "key": "conormcbride",
            "fullname": "Conor McBride"
          }
        }
      ]
    },
    {
      "type": "article",
      "journal": "PACMPL",
      "volumenumber": "2",
      "issuenumber": "OOPSLA",
      "firstpage": 0,
      "lastpage": 0,
      "id": "a2c3d33a-0699-47b6-9704-cb72631ac42d",
      "key": "AntwerpenPRV18",
      "title": "Scopes as types",
      "month": "",
      "year": "2018",
      "doi": "https://doi.org/10.1145/3276484",
      "note": "",
      "abstract": "Scope graphs are a promising generic framework to model the binding structures of programming languages, bridging formalization and implementation, supporting the definition of type checkers and the automation of type safety proofs. However, previous work on scope graphs has been limited to simple, nominal type systems. In this paper, we show that viewing scopes as types enables us to model the internal structure of types in a range of non-simple type systems (including structural records and generic classes) using the generic representation of scopes. Further, we show that relations between such types can be expressed in terms of generalized scope graph queries. We extend scope graphs with scoped relations and queries. We introduce Statix, a new domain-specific meta-language for the specification of static semantics, based on scope graphs and constraints. We evaluate the scopes as types approach and the Statix design in case studies of the simply-typed lambda calculus with records, System F, and Featherweight Generic Java.",
      "url": "https://researchr.org/publication/AntwerpenPRV18",
      "authors": [
        {
          "alias": {
            "url": "https://researchr.org/alias/hendrik-van-antwerpen",
            "id": "5635cc9f-d3f1-48bc-978b-7a9333184b9b",
            "key": "hendrik-van-antwerpen",
            "name": "Hendrik van Antwerpen"
          },
          "person": {
            "url": "https://researchr.org/profile/hendrikvanantwerpen",
            "id": "d681bd52-dddd-4a3d-af32-b0d51f5b9589",
            "key": "hendrikvanantwerpen",
            "fullname": "Hendrik van Antwerpen"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/casper-bach-poulsen",
            "id": "d86c748b-3c68-4b5c-97f3-6b10587b35de",
            "key": "casper-bach-poulsen",
            "name": "Casper Bach Poulsen"
          },
          "person": {
            "url": "https://researchr.org/profile/casperbachpoulsen",
            "id": "639f2dee-ca9e-47c1-b3ce-658b5a12b017",
            "key": "casperbachpoulsen",
            "fullname": "Casper Bach Poulsen"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/arjen-rouvoet",
            "id": "fc775c60-38ca-474a-9b64-bf22b7f332ab",
            "key": "arjen-rouvoet",
            "name": "Arjen Rouvoet"
          },
          "person": {
            "url": "https://researchr.org/profile/arjenrouvoet",
            "id": "467ce72b-6a13-4307-92b5-63517f8cd7e4",
            "key": "arjenrouvoet",
            "fullname": "Arjen Rouvoet"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/eelco-visser",
            "id": "f68ba0ee-899e-4c4c-9d8a-6fed5092830a",
            "key": "eelco-visser",
            "name": "Eelco Visser"
          },
          "person": {
            "url": "https://researchr.org/profile/eelcovisser",
            "id": "f0fbf7c0-9729-4ec8-b3c9-5f30dbd9614b",
            "key": "eelcovisser",
            "fullname": "Eelco Visser"
          }
        }
      ]
    },
    {
      "type": "inproceedings",
      "conference": "icfp",
      "conferenceYear": "",
      "booktitle": "Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003",
      "volume": "",
      "number": "",
      "series": "",
      "address": "",
      "organization": "",
      "publisher": "ACM",
      "editors": [
        {
          "alias": {
            "url": "https://researchr.org/alias/colin-runciman",
            "id": "f2f07369-c5a0-4e0b-bdf2-5ad391dc485c",
            "key": "colin-runciman",
            "name": "Colin Runciman"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/olin-shivers",
            "id": "8de4dbc5-65cd-4e48-8f69-ba5e1af00cfc",
            "key": "olin-shivers",
            "name": "Olin Shivers"
          }
        }
      ],
      "firstpage": 263,
      "lastpage": 274,
      "id": "c35a2714-ca01-4f13-bc73-75e6b00091c5",
      "key": "ShinwellPG03",
      "title": "FreshML: programming with binders made simple",
      "month": "",
      "year": "2003",
      "doi": "http://doi.acm.org/10.1145/944705.944729",
      "note": "",
      "abstract": "",
      "url": "https://researchr.org/publication/ShinwellPG03",
      "authors": [
        {
          "alias": {
            "url": "https://researchr.org/alias/mark-r.-shinwell",
            "id": "175e09fc-99bc-4b8e-b7d8-bbfc45635a81",
            "key": "mark-r.-shinwell",
            "name": "Mark R. Shinwell"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/andrew-m.-pitts",
            "id": "780757eb-48b7-49cf-8baf-2607193dc69b",
            "key": "andrew-m.-pitts",
            "name": "Andrew M. Pitts"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/murdoch-gabbay",
            "id": "2cc8fb3b-ab35-4631-933b-998433609864",
            "key": "murdoch-gabbay",
            "name": "Murdoch Gabbay"
          }
        }
      ]
    },
    {
      "type": "article",
      "journal": "Inf. Comput.",
      "volumenumber": "186",
      "issuenumber": "2",
      "firstpage": 165,
      "lastpage": 193,
      "id": "cc824a47-7a43-4168-8649-1118bc8e7b3f",
      "key": "Pitts03",
      "title": "Nominal logic, a first order theory of names and binding",
      "month": "",
      "year": "2003",
      "doi": "http://dx.doi.org/10.1016/S0890-5401(03)00138-X",
      "note": "",
      "abstract": "",
      "url": "https://researchr.org/publication/Pitts03",
      "authors": [
        {
          "alias": {
            "url": "https://researchr.org/alias/andrew-m.-pitts",
            "id": "780757eb-48b7-49cf-8baf-2607193dc69b",
            "key": "andrew-m.-pitts",
            "name": "Andrew M. Pitts"
          }
        }
      ]
    },
    {
      "type": "inproceedings",
      "conference": "",
      "conferenceYear": "",
      "booktitle": "Companion to the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2012, Tucson, AR, USA, October 19 - 26, 2012",
      "volume": "",
      "number": "",
      "series": "",
      "address": "",
      "organization": "",
      "publisher": "ACM",
      "firstpage": 0,
      "lastpage": 0,
      "id": "e290ea1a-bb5c-43e4-8ebb-b7329902915d",
      "key": "KonatVKWV2012",
      "title": "The Spoofax Name Binding Language",
      "month": "",
      "year": "2012",
      "doi": "https://doi.org/10.1145/2384716.2384748",
      "note": "",
      "abstract": "In textual software languages, names are used to identify\r\nprogram elements such as variables, methods, and classes.\r\nName analysis algorithms resolve names in order to establish references between definitions and uses of names. In\r\nthis poster, we present the Spoofax Name Binding Language\r\n(NBL), a declarative meta-language for the specification of\r\nname binding and scope rules, which departs from the programmatic encodings of name binding provided by regular\r\napproaches. NBL aspires to become the universal language\r\nfor name binding, which can be used next to BNF definitions in reference manuals, as well as serve the generation of\r\nimplementations.",
      "url": "https://researchr.org/publication/KonatVKWV2012",
      "authors": [
        {
          "alias": {
            "url": "https://researchr.org/alias/gabri%C3%ABl-konat",
            "id": "7be69c7e-6700-4818-8c23-f129788c3eef",
            "key": "gabriël-konat",
            "name": "Gabriël Konat"
          },
          "person": {
            "url": "https://researchr.org/profile/gabrielkonat",
            "id": "a497348b-9ba2-4f94-8859-8dfccb46ff48",
            "key": "gabrielkonat",
            "fullname": "Gabriël Konat"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/vlad-a.-vergu",
            "id": "2afcc82d-748d-49e2-ac16-221972f6986f",
            "key": "vlad-a.-vergu",
            "name": "Vlad A. Vergu"
          },
          "person": {
            "url": "https://researchr.org/profile/vladavergu",
            "id": "1c401700-6273-4c92-b582-223b9f848895",
            "key": "vladavergu",
            "fullname": "Vlad A. Vergu"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/lennart-c.-l.-kats",
            "id": "f6b6789b-a32a-417c-a90e-c37a12f25728",
            "key": "lennart-c.-l.-kats",
            "name": "Lennart C. L. Kats"
          },
          "person": {
            "url": "https://researchr.org/profile/lennartclkats",
            "id": "6e29bb96-28c9-4c76-915d-160ef1947602",
            "key": "lennartclkats",
            "fullname": "Lennart C. L. Kats"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/guido-h.-wachsmuth",
            "id": "032f498d-7a9a-4edf-a66f-13ac255fe023",
            "key": "guido-h.-wachsmuth",
            "name": "Guido H. Wachsmuth"
          },
          "person": {
            "url": "https://researchr.org/profile/guwac",
            "id": "2260a4e5-f714-4f97-a046-c3f0a685e646",
            "key": "guwac",
            "fullname": "Guido Wachsmuth"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/eelco-visser",
            "id": "f68ba0ee-899e-4c4c-9d8a-6fed5092830a",
            "key": "eelco-visser",
            "name": "Eelco Visser"
          },
          "person": {
            "url": "https://researchr.org/profile/eelcovisser",
            "id": "f0fbf7c0-9729-4ec8-b3c9-5f30dbd9614b",
            "key": "eelcovisser",
            "fullname": "Eelco Visser"
          }
        }
      ]
    },
    {
      "type": "article",
      "journal": "Proc. ACM Program. Lang.",
      "volumenumber": "4",
      "issuenumber": "OOPSLA",
      "firstpage": 0,
      "lastpage": 0,
      "id": "ef607395-f6cc-49ff-aff2-efbb687e3fa6",
      "key": "RouvoetAPKV20",
      "title": "Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications",
      "month": "",
      "year": "2020",
      "doi": "https://doi.org/10.1145/3428248",
      "note": "",
      "abstract": "There is a large gap between the specification of type systems and the implementation of their type checkers,\r\nwhich impedes reasoning about the soundness of the type checker with respect to the specification. A\r\nvision to close this gap is to automatically obtain type checkers from declarative programming language\r\nspecifications. This moves the burden of proving correctness from a case-by-case basis for concrete languages\r\nto a single correctness proof for the specification language. This vision is obstructed by an aspect common\r\nto all programming languages: name resolution. Naming and scoping are pervasive and complex aspects\r\nof the static semantics of programming languages. Implementations of type checkers for languages with\r\nname binding features such as modules, imports, classes, and inheritance interleave collection of binding\r\ninformation (i.e., declarations, scoping structure, and imports) and querying that information. This requires\r\nscheduling those two aspects in such a way that query answers are stable—i.e., they are computed only after\r\nall relevant binding structure has been collected. Type checkers for concrete languages accomplish stability\r\nusing language-specific knowledge about the type system.\r\n\r\nIn this paper we give a language-independent characterization of necessary and sufficient conditions to\r\nguarantee stability of name and type queries during type checking in terms of critical edges in an incomplete\r\nscope graph. We use critical edges to give a formal small-step operational semantics to a declarative specification language for type systems, that achieves soundness by delaying queries that may depend on missing\r\ninformation. This yields type checkers for the specified languages that are sound by construction—i.e., they\r\nschedule queries so that the answers are stable, and only accept programs that are name- and type-correct\r\naccording to the declarative language specification. We implement this approach, and evaluate it against\r\nspecifications of a small module and record language, as well as subsets of Java and Scala.",
      "url": "https://researchr.org/publication/RouvoetAPKV20",
      "authors": [
        {
          "alias": {
            "url": "https://researchr.org/alias/arjen-rouvoet",
            "id": "fc775c60-38ca-474a-9b64-bf22b7f332ab",
            "key": "arjen-rouvoet",
            "name": "Arjen Rouvoet"
          },
          "person": {
            "url": "https://researchr.org/profile/arjenrouvoet",
            "id": "467ce72b-6a13-4307-92b5-63517f8cd7e4",
            "key": "arjenrouvoet",
            "fullname": "Arjen Rouvoet"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/hendrik-van-antwerpen",
            "id": "5635cc9f-d3f1-48bc-978b-7a9333184b9b",
            "key": "hendrik-van-antwerpen",
            "name": "Hendrik van Antwerpen"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/casper-bach-poulsen",
            "id": "d86c748b-3c68-4b5c-97f3-6b10587b35de",
            "key": "casper-bach-poulsen",
            "name": "Casper Bach Poulsen"
          },
          "person": {
            "url": "https://researchr.org/profile/casperbachpoulsen",
            "id": "639f2dee-ca9e-47c1-b3ce-658b5a12b017",
            "key": "casperbachpoulsen",
            "fullname": "Casper Bach Poulsen"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/robbert-krebbers",
            "id": "4af5e5e8-154a-4c27-bd7e-8698e988adfd",
            "key": "robbert-krebbers",
            "name": "Robbert Krebbers"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/eelco-visser",
            "id": "f68ba0ee-899e-4c4c-9d8a-6fed5092830a",
            "key": "eelco-visser",
            "name": "Eelco Visser"
          },
          "person": {
            "url": "https://researchr.org/profile/eelcovisser",
            "id": "f0fbf7c0-9729-4ec8-b3c9-5f30dbd9614b",
            "key": "eelcovisser",
            "fullname": "Eelco Visser"
          }
        }
      ]
    },
    {
      "type": "article",
      "journal": "PACMPL",
      "volumenumber": "2",
      "issuenumber": "ICFP",
      "firstpage": 0,
      "lastpage": 0,
      "id": "efed8573-bce6-4926-a26d-b9fd50320929",
      "key": "AllaisA0MM18",
      "title": "A type and scope safe universe of syntaxes with binding: their semantics and proofs",
      "month": "",
      "year": "2018",
      "doi": "https://doi.org/10.1145/3236785",
      "note": "",
      "abstract": "",
      "url": "https://researchr.org/publication/AllaisA0MM18",
      "authors": [
        {
          "alias": {
            "url": "https://researchr.org/alias/guillaume-allais",
            "id": "a41b5002-4924-4a59-89df-267b04761025",
            "key": "guillaume-allais",
            "name": "Guillaume Allais"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/robert-atkey",
            "id": "d5575c31-ab86-466c-8fe5-2068731dadc0",
            "key": "robert-atkey",
            "name": "Robert Atkey"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/james-chapman-0001",
            "id": "599a4887-b09e-4b46-8367-9dfd9b28adc3",
            "key": "james-chapman-0001",
            "name": "James Chapman 0001"
          },
          "person": {
            "url": "https://researchr.org/profile/jameschapman",
            "id": "dbe95d37-ad81-4a8f-a270-fa99fe54d948",
            "key": "jameschapman",
            "fullname": "James Chapman"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/conor-mcbride",
            "id": "9a2d88ee-c553-4be4-86b4-26ffe23d33ed",
            "key": "conor-mcbride",
            "name": "Conor McBride"
          },
          "person": {
            "url": "https://researchr.org/profile/conormcbride",
            "id": "0cbfa47f-c2dd-4b57-a6fd-be876e63cf35",
            "key": "conormcbride",
            "fullname": "Conor McBride"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/james-mckinna",
            "id": "61ec6e7a-4463-43d2-a572-7c698065f43b",
            "key": "james-mckinna",
            "name": "James McKinna"
          }
        }
      ]
    },
    {
      "type": "inproceedings",
      "conference": "popl",
      "conferenceYear": "",
      "booktitle": "Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008",
      "volume": "",
      "number": "",
      "series": "",
      "address": "",
      "organization": "",
      "publisher": "ACM",
      "editors": [
        {
          "alias": {
            "url": "https://researchr.org/alias/george-c.-necula",
            "id": "2da25350-563b-4744-98ee-8efc773494f8",
            "key": "george-c.-necula",
            "name": "George C. Necula"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/philip-wadler",
            "id": "f8c4f726-caec-4bcf-889d-86917caa1ede",
            "key": "philip-wadler",
            "name": "Philip Wadler"
          },
          "person": {
            "url": "https://researchr.org/profile/philipwadler",
            "id": "682828ae-306b-49ea-b847-6eda8680b7d9",
            "key": "philipwadler",
            "fullname": "Philip Wadler"
          }
        }
      ],
      "firstpage": 3,
      "lastpage": 15,
      "id": "f0d148d4-2cac-4c42-91fd-0c09c3b30085",
      "key": "AydemirCPPW08",
      "title": "Engineering formal metatheory",
      "month": "",
      "year": "2008",
      "doi": "http://doi.acm.org/10.1145/1328438.1328443",
      "note": "",
      "abstract": "Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for technologies such as proof-carrying code. However, constructing these proofs remains a black art, involving many choices in the formulation of definitions and theorems that make a huge cumulative difference in the difficulty of carrying out large formal developments. The representation and manipulation of terms with variable binding is a key issue.\r\n\r\nWe propose a novel style for formalizing metatheory, combining locally nameless representation of terms and cofinite quantification of free variable names in inductive definitions of relations on terms (typing, reduction, ...). The key technical insight is that our use of cofinite quantification obviates the need for reasoning about equivariance (the fact that free names can be renamed in derivations); in particular, the structural induction principles of relations defined using cofinite quantification are strong enough for metatheoretic reasoning, and need not be explicitly strengthened. Strong inversion principles follow (automatically, in Coq) from the induction principles. Although many of the underlying ingredients of our technique have been used before, their combination here yields a significant improvement over existing methodology, leading to developments that are faithful to informal practice, yet require no external tool support and little infrastructure within the proof assistant.\r\n\r\nWe have carried out several large developments in this style using the Coq proof assistant and have made them publicly available. Our developments include type soundness for and ML (with references, exceptions, datatypes, recursion and patterns) and subject reduction for the Calculus of Constructions. Not only do these developments demonstrate the comprehensiveness of our approach; they have also been optimized for clarity and robustness, making them good templates for future extension. ",
      "url": "https://researchr.org/publication/AydemirCPPW08",
      "authors": [
        {
          "alias": {
            "url": "https://researchr.org/alias/brian-e.-aydemir",
            "id": "d1f13632-e86e-4d21-8c3f-4fdb472ee26a",
            "key": "brian-e.-aydemir",
            "name": "Brian E. Aydemir"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/arthur-chargu%C3%A9raud",
            "id": "a1ea6944-8d63-4729-8c6b-40458d10055d",
            "key": "arthur-charguéraud",
            "name": "Arthur Charguéraud"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/benjamin-c.-pierce",
            "id": "5d9887b3-bd50-4862-87ce-efd6bb07fbd8",
            "key": "benjamin-c.-pierce",
            "name": "Benjamin C. Pierce"
          },
          "person": {
            "url": "https://researchr.org/profile/benjamincpierce",
            "id": "f83b031e-03b1-4c4f-8e76-b0f63c37357e",
            "key": "benjamincpierce",
            "fullname": "Benjamin C. Pierce"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/randy-pollack",
            "id": "49b4990c-288e-40d2-8e94-30e5ceef31ce",
            "key": "randy-pollack",
            "name": "Randy Pollack"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/stephanie-weirich",
            "id": "6e5f4081-0f75-4178-a2ec-9822fdb2e8eb",
            "key": "stephanie-weirich",
            "name": "Stephanie Weirich"
          },
          "person": {
            "url": "https://researchr.org/profile/stephanieweirich",
            "id": "4299e170-4fa6-42fe-bcd6-d7723d6d5f30",
            "key": "stephanieweirich",
            "fullname": "Stephanie Weirich"
          }
        }
      ]
    },
    {
      "type": "article",
      "journal": "Electr. Notes Theor. Comput. Sci.",
      "volumenumber": "148",
      "issuenumber": "2",
      "firstpage": 27,
      "lastpage": 52,
      "id": "f52e6337-0392-4796-99ce-63777e84e3cc",
      "key": "Pottier06",
      "title": "An Overview of C-alpha-ml",
      "month": "",
      "year": "2006",
      "doi": "http://dx.doi.org/10.1016/j.entcs.2005.11.039",
      "note": "",
      "abstract": "Cαml is a tool that turns a so-called “binding specification” into an Objective Caml compilation unit. A binding specification resembles an algebraic data type declaration, but also includes information about names and binding. Cαml is meant to help writers of interpreters, compilers, or other programs-that-manipulate-programs deal with α-conversion in a safe and concise style. This paper presents an overview of Cαml\u0027s binding specification language and of the code that Cαml produces.",
      "url": "https://researchr.org/publication/Pottier06",
      "authors": [
        {
          "alias": {
            "url": "https://researchr.org/alias/fran%C3%A7ois-pottier",
            "id": "4873b8c4-dea7-4856-9a7e-64f7e404443b",
            "key": "françois-pottier",
            "name": "François Pottier"
          }
        }
      ]
    },
    {
      "type": "article",
      "journal": "Theor. Comput. Sci.",
      "volumenumber": "323",
      "issuenumber": "1-3",
      "firstpage": 473,
      "lastpage": 497,
      "id": "f691624d-c7e0-4216-a427-90047c7e3695",
      "key": "UrbanPG04",
      "title": "Nominal unification",
      "month": "",
      "year": "2004",
      "doi": "http://dx.doi.org/10.1016/j.tcs.2004.06.016",
      "note": "",
      "abstract": "",
      "url": "https://researchr.org/publication/UrbanPG04",
      "authors": [
        {
          "alias": {
            "url": "https://researchr.org/alias/christian-urban",
            "id": "c842235b-de23-42a4-8d5a-14a0bec36ea8",
            "key": "christian-urban",
            "name": "Christian Urban"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/andrew-m.-pitts",
            "id": "780757eb-48b7-49cf-8baf-2607193dc69b",
            "key": "andrew-m.-pitts",
            "name": "Andrew M. Pitts"
          }
        },
        {
          "alias": {
            "url": "https://researchr.org/alias/murdoch-gabbay",
            "id": "2cc8fb3b-ab35-4631-933b-998433609864",
            "key": "murdoch-gabbay",
            "name": "Murdoch Gabbay"
          }
        }
      ]
    },
    {
      "id": "fae5ee45-f7a0-4a85-9660-9cf83813acc4",
      "key": "hal-3916",
      "title": "Namely, Painless: A unifying approach to safe programming with first-order syntax with binders. (Une approche unifiante pour programmer sûrement avec de la syntaxe du premier ordre contenant des lieurs)",
      "month": "",
      "year": "2012",
      "doi": "https://tel.archives-ouvertes.fr/tel-00759059",
      "note": "",
      "abstract": "",
      "url": "https://researchr.org/publication/hal-3916",
      "authors": [
        {
          "alias": {
            "url": "https://researchr.org/alias/nicolas-pouillard",
            "id": "2f83d9af-d595-4f03-b117-f3ef349bb384",
            "key": "nicolas-pouillard",
            "name": "Nicolas Pouillard"
          }
        }
      ]
    }
  ]
}