Ferrite: A Judgmental Embedding of Session Types in Rust.

Ruofei Chen Stephanie Balzer Bernardo Toninho

Published in: ECOOP (2022)

Keyphrases

real time
databases
digital images
vector space
database
artificial intelligence
case study
similarity measure
multiscale
relational databases
multiresolution