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

Digital Object Identifier: http://dx.doi.org/10.4230/oasics.evcs.2023.9

Publication URI: http://dx.doi.org/10.4230/oasics.evcs.2023.9

Type: Other

Volume: 109

Parent Publication: OpenAccess Series in Informatics

ISSN: 21906807