A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
-
Updated
Jan 19, 2023 - Haskell
#
denotational-semantics
Here are 3 public repositories matching this topic...
SPCF: Interpreter Development and Affine Program Transformation Showcase
-
Updated
Aug 10, 2024 - Haskell
Improve this page
Add a description, image, and links to the denotational-semantics topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the denotational-semantics topic, visit your repo's landing page and select "manage topics."