▲
alstjr7375 2022-05-19 | parent | favorite | on: 『프로그래밍 언어 속 타입』 책 소개(blog.hjaem.info)

일반적이지는 않는데, 최근 증명용 언어들에 도입되는 타입들도 재밌더라구요.

Idris 2: Quantitative Type
https://arxiv.org/abs/2104.00480

Cubical agda
https://dl.acm.org/doi/10.1145/3341691