Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators.

Kazuki Ikemori Youyou Cong Hidehiko Masuhara

Published in: PPDP (2023)

Keyphrases

training data
manual labeling
manually labeled
control structures
supervised learning
expert systems
programming language
image sequences
case study
neural network
data structure
database
training set
control system
website
building blocks
control method
genetic algorithm
data sets