Towards a practical programming language based on dependent type theory 短评

热门

  • 还没人写过短评呢

<< 首页 < 前页 后页 >

> Towards a practical programming language based on dependent type theory

Towards a practical programming language based on dependent type theory
作者: Ulf Norell
isbn: 9172919965
书名: Towards a practical programming language based on dependent type theory