Type Theory as a Language Workbench (2023)

First Author: De Muijnck-Hughes J
Attributed to:  Programming as Conversation: Type-Driven Development in Action funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract