Category Theory Algebraic Data Types

Algebraic data types

... captured through

PL Virtual Meetup: https://www.meetup.com/Programming-Languages-Toronto-Meetup/ CtFP Textbook: ...

Resulting presentation (rendered): https://jappieklooster.nl/talks/

typetheory #algebraicdatatypes #logic Access exclusive content on Patreon: https://www.patreon.com/user?u=86649007 ...

Functoriality, bifunctors.

In this video we'll explore

That's when the trouble starts: our types don't represent exactly what we have.

Watch live at https://www.twitch.tv/drnekoma To get in touch with interesting books, we are recording our encounters about books ...

In this video, we introduce you to some of the basic

Strong static typing detects a lot of bugs at compile time, so why would anyone prefer to program in JavaScript or Python?

Coproducts, sum

18th of May 2026. Slides available at https://topos.institute/events/topox/ A representable natural transformation u : U* → U in the ...

Many

LICS 2020

Attendees will leave this session with a newfound appreciation for C++'s

Now in