Ferrite: A Judgmental Embedding of Session Types in Rust.

Ruofei Chen Stephanie Balzer

Published in: CoRR (2020)

Keyphrases

database
optimal solution
neural network
multiscale
relational databases
multiresolution