EasyChair Smart SlideDocs/Log in
Author: Ankush Das

This page shows all presentations of this author published in EasyChair Smart Slide.

Session Types with Arithmetic Refinements

Session Types with Arithmetic Refinements

Ankush Das and Frank Pfenning

Work Analysis with Resource-Aware Session Types

Work Analysis with Resource-Aware Session Types

Ankush Das, Jan Hoffmann and Frank Pfenning

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair