This page shows all presentations of this author published in EasyChair Smart Slide.
Type-Based Termination for Futures
Siva Somayyajula and Frank Pfenning
Parametric Chu Translation
Siva Somayyajula