Programming Language Foundations in Agda (2018)

First Author: Wadler P

Attributed to: From Data Types to Session Types---A Basis for Concurrency and Distribution funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://plfa.github.io/

Type: Book