Refinement Types

Haskell Weekly - Ein Podcast von Taylor Fausak

Podimo 90!!! Tage kostenlos! testen

Ein Universum voller exklusiver Podcasts und Hörbücher. Klicken Sie hier um loszulegen!

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