Type Theory as a Language Workbench (2023)
Attributed to:
Programming as Conversation: Type-Driven Development in Action
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Conference/Paper/Proceeding/Abstract