Ferrite: A Judgmental Embedding of Session Types in Rust (Artifact).

Ruofei Chen Stephanie Balzer Bernardo Toninho

Published in: Dagstuhl Artifacts Ser. (2022)

Keyphrases

artificial intelligence
information systems
database
social networks
computer vision
image processing
case study
feature extraction
multi agent
digital images
vector space