Type-Based Analysis of Communication for Concurrent Programming Languages

A partially deadlock-free typed process calculus

ACM Transactions on Programming Languages and Systems (TOPLAS)

Quasi-linear types

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Linearity and the pi-calculus

ACM Transactions on Programming Languages and Systems (TOPLAS)

Correct-by-Construction Concurrency: Using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols

Fundamenta Informaticae - Dependently Typed Programming