Tag: delimited continuation

• Publications 2023.07.01

  Publications 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

  Tatsuya Abe and Daisuke Kimura. Extending a Call-by-Value Calculus Based on Bilateralism with Dynamic Binding....

  lambda-calculusdelimited continuationbilateralismdynamic binding

• Publications 2022.11.18

  Publications 2022.11.18

  A Typed Lambda-Calculus with First-Class Configurations A Typed Lambda-Calculus with First-Class Configurations

  Tatsuya Abe and Daisuke Kimura. A Typed Lambda-Calculus with First-Class Configurations. Journal of Logic and ...

  lambda-calculusnatural deductioncall-by-valuecall-by-namedualitydelimited continuationbilateralism