EasyChair Smart SlideDocs/Log in
Author: Frank Pfenning

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

Type-Based Termination for Futures

Type-Based Termination for Futures

Siva Somayyajula and Frank Pfenning

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: 3
Copyright © 2002 – 2024 EasyChair