Deferring the details and deriving programs

L O'Connor - Proceedings of the 4th ACM SIGPLAN International …, 2019 - dl.acm.org
A commonly-used technique in dependently-typed programming is to encode invariants
about a data structure into its type, thus ensuring that the data structure is correct by …
被引用次数：4 相关文章
[PDF] liamoc.net

[PDF][PDF] Deferring the Details and Deriving Programs

L O'Connor - 2019 - liamoc.net
A commonly-used technique in dependently-typed programming is to encode invariants
about a data structure into its type, thus ensuring that the data structure is correct by …

Deferring the Details and Deriving Programs

L O'Connor - Workshop on Type-Driven Development 2019, 2019 - research.ed.ac.uk
A commonly-used technique in dependently-typed programming is to encode invariants
about a data structure into its type, thus ensuring that the data structure is correct by …

[引用][C] Deferring the Details and Deriving Programs

L O'Connor - 2019