A Framework for Resource Dependent EDSLs in a Dependently Typed Language (2020)

First Author: Jan De Muijnck-Hughes
Attributed to:  Type-driven Verification of Communicating Systems funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract