Elaborating dependent (co)pattern matching: No pattern left behind

Cockx, J; Abel, A

Cockx, J (corresponding author), Chalmers Univ, Gothenburg, Sweden.; Cockx, J (corresponding author), Gothenburg Univ, Gothenburg, Sweden.; Cockx, J (corresponding author), Delft Univ Technol, Delft, Netherlands.

JOURNAL OF FUNCTIONAL PROGRAMMING, 2020; 30 ():

Abstract

In a dependently typed language, we can guarantee correctness of our programmes by providing formal proofs. To check them, the typechecker elaborates ......

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索