A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.
-
Updated
Feb 26, 2024 - Haskell
#
call-cc
Here are 4 public repositories matching this topic...
An assignment-based esolang implementing a version of call/cc.
-
Updated
Mar 29, 2021 - Python
Several control structures implemented by `call/cc` in scheme language
-
Updated
May 8, 2022 - Scheme
Implementation of the 2007 Krivine machine
-
Updated
Feb 28, 2024 - Agda
Add this topic to your repo
To associate your repository with the call-cc topic, visit your repo's landing page and select "manage topics."