https://github.com/zeta611/type-safe-programming

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

ad-hoc-polymorphism algebraic-data-types beamer generalized-algebraic-data-type parametric-polymorphism polymorphism rust simply-typed-lambda-calculus subtype-polymorphism system-f type-system universal-type

Last synced: 01 Feb 2025