Zeta611/type-safe-programming

SLConf 2024: 타입으로 안전하게 프로그래밍하기

语言：TeX · GitHub 星标：4 · Fork：0

话题：ad-hoc-polymorphism · algebraic-data-types · beamer · generalized-algebraic-data-type · parametric-polymorphism · polymorphism · rust · simply-typed-lambda-calculus

在 GitHub 上查看原仓库