Builtin Types viewed as Inductive Families (2023)

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

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract