![](/img/cover-not-exists.png)
Special issue on Dependent Type Theory Meets Programming Practice CALL FOR PAPERS
Barthe, Gilles, Dybjer, Peter, Thiemann, PeterVolume:
11
Language:
english
Journal:
Journal of Functional Programming
DOI:
10.1017/s0956796801004105
Date:
July, 2001
File:
PDF, 56 KB
english, 2001