We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent b1ea60a commit f9a4d9cCopy full SHA for f9a4d9c
README.md
@@ -0,0 +1,10 @@
1
+## Continuation-Passing Semantics for WebAssembly
2
+
3
+This repository offers an alternative semantics (definitional interpreter) of
4
+WebAssembly in continuation-passing style (CPS).
5
6
+### Publication
7
8
+Reconstructing Continuation-Passing Semantics for WebAssembly\
9
+Guannan Wei, Alex Bai, Dinghong Zhong, Jiatai Zhang\
10
+26th International Symposium on Trends in Functional Programming (TFP 2025).
0 commit comments