Skip to content
<awesome-gh-repos>
vic

robrix/abstract-interpretation

Experiments in abstracting definitional interpreters
Source code at GitHub null
robrix/abstract-interpretation.json
{
  "createdAt": "2017-08-11T22:02:27Z",
  "defaultBranch": "master",
  "description": "Experiments in abstracting definitional interpreters",
  "fullName": "robrix/abstract-interpretation",
  "homepage": null,
  "language": "Haskell",
  "name": "abstract-interpretation",
  "pushedAt": "2017-10-13T15:47:01Z",
  "stargazersCount": 16,
  "topics": [],
  "updatedAt": "2021-08-21T16:47:20Z",
  "url": "https://github.com/robrix/abstract-interpretation"
}

abstract-interpretation

Section titled “abstract-interpretation”

Experiments in abstracting definitional interpreters à la https://plum-umd.github.io/abstracting-definitional-interpreters/