Refinement Types

Haskell Weekly - A podcast by Taylor Fausak

Categories:

Andres Schmois and Cody Goodman talk about using the Refined library to turn runtime checks into types.