Abstract
Traditional designs for functional languages (such as Haskell or ML) have separate sorts of syntax for terms and types. In contrast, many dependently ......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
