過ぎるだけの時間じゃ悔しい
Search
Search
Dark mode
Light mode
Explorer
records
1 item with this tag.
Jun 28, 2026
型理論とλキューブ
type-theory
lambda-cube
system-f
dependent-types
adt
hkt
existential-types
typescript
polymorphism
pattern-match
subtyping
variance
structural-typing
records
type-inference
hindley-milner
algorithm-w
let-polymorphism
unification