Posts tagged with "Haskell"
- Errors are Values Too
- Too Much Power Will Kill You (Every Time)
- Become a Better Haskeller by Learning About Inductive Types
- Giving a Talk on Propositions as Types
- Recording of My Talk at Lambda Days 2019
- Isomorphism and Embedding
- Gave a Talk: Terminating and Productive Functions
- Giving Talk on Productive and Terminating Functions
- Programming Lego Mindstorms EV3 in Haskell
- Gave a Talk on Function Totality
- Function Totality: Abstraction Tool in Programming
- Typed Functional Programming and Software Correctness
- Fast Grepping Source Code
- Less bad MTL
- Idris for Haskellers
- Typed Holes in Programming
- Haskell IDE The Memory Hog Engine
- Haskell IDE Engine in the Atom Editor from cwd
- Incomplete Pattern-matching in Haskell
- Explicit forall in Haskell
- Haskell Library Demonstrating Dependent Types in eDSL
- Haskell User Survey 2018
- Haskell at Google Summer of Code 2018
- Gave a Talk on Types in Programming
- Haskell Stack Upgrade
- Announcing: Talk on the Role of Types in Programming
- Visualizing Types
- Refinement Types
- Writing Dependently Typed Programs in Haskell
- Functional Programming with Graphs
- Haskell for Dummies
- Liquid Haskell
- A Subtyping Polymorphism Misfortune
- Hoogle
- Equality Broken in Scala