Declarative Semantics

miniKanren implementation of ' Declarative semantics for functional languages: compositional, extensional, and elementary' by Jeremy Siek.
Alternatives To Declarative Semantics
Select To Compare


Popular Software Development Categories

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Language
Functional Programming
Scheme