A functional programmer's guide to homotopy type theory.

Published in: ICFP (2016)

Keyphrases

programming language
conceptual framework
theoretical foundation
theoretical basis
real time
databases
information systems
high level
similarity measure
general purpose
computational model