Lightweight Dependent-type Programming (2008)(okmij.org)
okmij.org
Lightweight Dependent-type Programming (2008)
http://okmij.org/ftp/Computation/lightweight-dependent-typing.html
0 comments
—
http://okmij.org/ftp/Computation/lightweight-dependent-typing.html
—