Feedback
keyword: dependent types – 2 free books.
Programming Languages and Systems
Stephanie Weirich (editor)
Stephanie Weirich