Sign in

A functional programmer's guide to homotopy type theory.

Dan Licata
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