abstract-interpretation icon indicating copy to clipboard operation
abstract-interpretation copied to clipboard

verified publisher icon robrix
→

Metadata

Experiments in abstracting definitional interpreters

abstract-interpretation

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

← Metadata

16
Stars
0
Forks
Watchers

Owner

verified publisher icon robrix

Metadata

Experiments in abstracting definitional interpreters

Back