A Type System for Effect Handlers and Dynamic Labels.

Paulo Emílio de Vilhena François Pottier

Published in: ESOP (2023)

Keyphrases

database
databases
dynamic environments
dynamically changing
data sets
machine learning
information retrieval
artificial intelligence
search engine
search algorithm
training examples
multiple types