# Posts tagged with "functional programming"

- Errors are Values Too
- Too Much Power Will Kill You (Every Time)
- Become a Better Haskeller by Learning About Inductive Types
- Gentle Introduction to Homotopy Type Theory
- Interactive Theorem Proving
- Giving a Talk on Propositions as Types
- Recording of My Talk at Lambda Days 2019
- Insisting on a Three-valued Boolean Type
- Isomorphism and Embedding
- Gave a Talk: Terminating and Productive Functions
- Giving Talk on Productive and Terminating Functions
- Speaking at Lambda Days 2019!
- Programming Lego Mindstorms EV3 in Haskell
- Gave a Talk on Function Totality
- Giving a Talk at IEEE on Function Totality
- Function Totality: Abstraction Tool in Programming
- Proof Assistant in Teaching
- Hooked on Dependent Types
- Typed Functional Programming and Software Correctness
- Wadler on Invented Programming Languages
- Less bad MTL
- Idris for Haskellers
- Typed Holes in Programming
- Totality in Programming
- Haskell IDE The Memory Hog Engine
- Haskell IDE Engine in the Atom Editor from cwd
- Idris 1.3.0 Released
- Incomplete Pattern-matching in Haskell
- Explicit forall in Haskell
- Haskell Library Demonstrating Dependent Types in eDSL
- Haskell User Survey 2018
- Felleisen on Dynamically Typed Languages
- On Function Types
- Haskell at Google Summer of Code 2018
- Gave a Talk on Types in Programming
- More on Subtyping
- Haskell Stack Upgrade
- Announcing: Talk on the Role of Types in Programming
- Visualizing Types
- Refinement Types
- Idris 1.2.0 Released
- Free Monads in Idris
- 10 Things Idris Improved over Haskell
- Writing Dependently Typed Programs in Haskell
- Functional Programming with Graphs
- Dijkstra on Abstraction
- Haskell for Dummies
- Liquid Haskell
- Proving Parity in Idris
- A Subtyping Polymorphism Misfortune
- I'm Into Scala
- Working on Imperative Programming Code Ain't Fun
- Going with JVM Languages