An Intrinsically Typed Compiler for Algebraic Effect Handlers.

Syouki Tsuyama Youyou Cong Hidehiko Masuhara

Published in: PEPM (2024)

Keyphrases

higher order
general purpose
negative impact
programming language
computer vision
database
real world
data mining
machine learning
artificial intelligence
case study
multiscale
object oriented
level parallelism