Dependent Types in Haskell: Theory and Practice.

Richard A. Eisenberg

Published in: CoRR (2016)

Keyphrases

theoretical insights
theoretical framework
programming language
computational model
real time
conceptual framework
general theory
real world
image processing
natural language
open source
theoretical foundation
theoretical frameworks