摘要 : Through the use of conditional compilation and related tools, many software projects can be used to generate a huge number of related programs. The problem of typing such variational software is difficult. The brute-force strategy... 展开
作者 | SHENG CHEN MARTIN ERWIG ERIC WALKINGSHAW |
---|---|
作者单位 | |
期刊名称 | 《情報処理学会論文誌》 |
页码/总页数 | 1.1-1.54 / 54 |
语种 | 英语 |
关键词 | Variational lambda calculus variational type inference variational types |
DOI | 10.1145/2518190 |
馆藏号 | tp-009 |