Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers.

Fuga Kawamata Hiroshi Unno Taro Sekiyama Tachio Terauchi

Published in: CoRR (2023)

Keyphrases

refinement process
databases
information retrieval
artificial intelligence
social networks
search engine
image processing
multiresolution