Research
Events
Projects
Blog
Works
About Us
Language
English
日本語
tag: dynamic binding
2023.07.01
Extending a Call-by-Value Calculus Based on Bilateralism with Dynamic Binding
Extending a Call-by-Value Calculus Based on Bilateralism with Dynamic Binding
lambda-calculus
,
delimited continuation
,
bilateralism
,
dynamic binding