Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in rank-n-types

Constraint implication as a constraint

haskell ghc rank-n-types

ST-like encapsulation

haskell polymorphism encapsulation phantom-types rank-n-types

Function composition and forall'ed types

haskell rank-n-types

Puzzling performance/output behavior with rank-2 polymorphism in Haskell

performance haskell polymorphism rank-n-types

Why is impredicative polymorphism allowed only for functions in Haskell?

haskell polymorphism rank-n-types impredicativetypes