Linear Types Constantine Ter Matevosian

In this video, we explore

Making the case for using

Are you tired of inconsistent data? Struggling with forgotten function calls? Dealing with errors in destructors? Learn how Mojo ...

https://icfp21.sigplan.org/details/haskellsymp-2021/12/Why-Functional-Programming-with-

In this video, we show how to use datatype promotion to create length-indexed vectors in Haskell. We also look at how to ...

This talk introduces my master thesis on the Idris2 compiler, introduces

Is there a use for

Monadic Party 2019 - https://monadic.party.

In this talk, I'll briefly present what

Linear Types

NumLin:

In this video, we look at 5 common mistakes that beginners make in Haskell. You'll learn what they are, why do they occur, and ...

What we're going to do is we're going to say that P is a term of the

With Aditya "Deech" Siram! This talk will explore why ATS, a

Presented by Federico Aschieri. Presented at POPL'20.

We finish up the solution for Advent of Code 2020, Day 13, Part 1 by writing a dead simple, error prone parser. Then I take a stab ...

Ever since Girard came up with

Client-Server Sessions in