dynamic binding | STAIR: Software Technology and Artificial Intelligence Research Laboratory

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