Topic: "path-dependent-types"
mtumilowicz/scala3-dependent-types-polymorphic-functions-workshop
Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.
Language: Scala - Size: 324 KB - Last synced at: 2 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0
Related Topics
compile-time-meta-programming
1
curry-howard-isomorphism
1
dependent-type-theory
1
dependent-types
1
first-order-logic
1
idris
1
path-dependent
1
phantom-types
1
polymorphic-functions
1
polymorphic-types
1
scala3
1
scala3-metaprogramming
1
type-programming
1
typed-lambda-calculus
1
typelevel-programming
1
union-types
1
workshop
1
workshop-materials
1