abstract-interpretation

Experiments in abstracting definitional interpreters

BSD-3-CLAUSE License

Stars
16
View Code on GitHub View on X
Ecosystems: Haskell

abstract-interpretation

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

Related Projects
seq

a µµ̃ calculus with pretty-printing and evaluating interpreters

09 Mar 2022 5
absdefint

An implementation of Abstracting Definitional Interpreters.

13 Feb 2018 5
path

A lambda calculus to explore type-directed program synthesis.

01 Dec 2018 83
languages-all-the-way-down

outline & examples for my ZuriHac 2020 talk, Languages All the Way Down

07 Jun 2020 20
derivative-parsing

Parsing with Derivatives, in Haskell, with GADTs.

06 Mar 2016 5
interval-functor

General purpose intervals of functors.

10 Jul 2020 6
arith

Interpreter

14 Feb 2022 8
tilec

Sometimes when I feel sad I implement a dependently typed lambda calculus.

27 Feb 2020 15
language-haskell-ast

Generic interface over the AST provided by haskell-src-exts

28 Aug 2016 5
ui-effects

An experiment towards a UI programming model inspired by algebraic effects.

03 Sep 2016 30
surface

Dependently-typed language w/ little to say for itself

31 Jan 2017 10
Manifold

Another experiment in dependently typed languages, this time with some quantitative type theory s...

20 May 2018 18
r5rs-denot

A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.

29 Mar 2019 19
codebruijn

experiments with pext/pdep and codebruijn syntax

16 Nov 2019 14
Lecturas_GLC

Readings on computational logic, interactive theorem proving and functional programming.

31 Dec 2016 62