Second-Order Lambda-calculus
Second-Order Lambda-calculus
(language)["Abstract Types have Existential Type", J. Mitchell et al,12th POPL, ACM 1985, pp. 37-51].
| 单词 | second-order lambda-calculus |
| 释义 | Second-Order Lambda-calculusSecond-Order Lambda-calculus(language)["Abstract Types have Existential Type", J. Mitchell et al,12th POPL, ACM 1985, pp. 37-51]. |
| 随便看 |
|
英语词典包含2567994条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。