universal-type

There are 0 repository under universal-type topic.

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