Posts tagged with "type systems"

• Gave a Talk: Terminating and Productive Functions
• Typed Holes in Programming
• Explicit forall in Haskell
• Haskell Library Demonstrating Dependent Types in eDSL
• Felleisen on Dynamically Typed Languages
• On Dynamically Typed Languages
• On Function Types
• Haskell at Google Summer of Code 2018
• Gave a Talk on Types in Programming
• More on Subtyping
• Announcing: Talk on the Role of Types in Programming
• Liquid Haskell
• Types and Proofs