SLConf 2024: 타입으로 안전하게 프로그래밍하기
rust algebraic-data-types beamer polymorphism type-system system-f parametric-polymorphism simply-typed-lambda-calculus generalized-algebraic-data-type ad-hoc-polymorphism subtype-polymorphism universal-type
-
Updated
Jan 14, 2024 - TeX