筛选条件
共查询到2条结果
排序方式
~
COCHIS: Stable and coherent implicits
期刊： JOURNAL OF FUNCTIONAL PROGRAMMING, 2019; 29 ()
Implicit programming (IP) mechanisms infer values by type-directed resolution, making programs more compact and easier to read. Examples of IP mechani......
Pure iso-type systems
期刊： JOURNAL OF FUNCTIONAL PROGRAMMING, 2019; 29 ()
Traditional designs for functional languages (such as Haskell or ML) have separate sorts of syntax for terms and types. In contrast, many dependently ......
