Higher-order Type-level Programming in Haskell

Name: Higher-order Type-level Programming in Haskell
Uploaded: Dec 11, 2019
Duration: 1287 s
Description: Higher-order Type-level Programming in Haskell