A call-by-push-value language and interpreter you can embed in typescript / js apps.
-
Updated
Jun 18, 2023 - TypeScript
#
call-by-push-value
Here are 3 public repositories matching this topic...
A study of a simplified Call-By-Push-Value lambda-calculus in Coq.
-
Updated
May 24, 2019 - Coq
source for the website for my precursor project
-
Updated
Jul 20, 2021 - JavaScript
Improve this page
Add a description, image, and links to the call-by-push-value topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the call-by-push-value topic, visit your repo's landing page and select "manage topics."