Login / Signup
A Self-Dual Distillation of Session Types: Mechanized Proofs (Artifact).
Jules Jacobs
Published in:
Dagstuhl Artifacts Ser. (2022)
Keyphrases
</>
image processing
databases
information retrieval
objective function
wide range