Idris 2: Quantitative Type Theory in practice (2021)

First Author: Edwin Brady
Attributed to:  Programming as Conversation: Type-Driven Development in Action funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://drops.dagstuhl.de/opus/volltexte/2021/14052/

Type: Conference/Paper/Proceeding/Abstract