Tic tac types: a gentle introduction to dependently typed programming (functional pearl) (2019)

First Author: Innes S
Attributed to:  SCOPE: Scoped Contextual Operations and Effects. funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1145/3331554.3342606

Publication URI: http://dx.doi.org/10.1145/3331554.3342606

Type: Conference/Paper/Proceeding/Abstract