Eric Bond a software engineer and functional programming consultant at 47 Degrees in Seattle by day.. type theorist and proof engineer by night. He spends his free time reading papers in formal verification and categorical semantics. Scala pays the bills but his heart belongs to Agda, Haskell, and Coq.
Talks I've Given
Stronger Types! : A Brief Introduction to Refinement Types and Dependent Types (Lightning Talk)
Featuring Eric Bond
Haskell is known for its strong static typing but there are even stronger typing disciplines: Refinement Types and Dependent Types. In this lightning talk Eric Bond offers a brief introduction to both.haskell dependent-types refinement-types