Posts tagged "Dependent Types"

• Type-Level Induction in Haskell - May 5, 2018
• Verifying Data Structures in Haskell - April 23, 2017
• Faking dependent types in Swift - September 6, 2015