Imp: core language

from blog Scattered Thoughts, | ↗ original
This is a part of a series - start at the beginning. What do I want out of the core language? simple denotational semantics no evaluation order logical data independence amenable to parallel evaluation amenable to incremental maintenance The datalog family of languages fits the bill, but they struggle to express and compress many...