Category Theory 5.2: Algebraic data types

Category Theory 5.2: Algebraic data types

Data Juggling - Part 5 - Curry-Howard-Lambek CorrespondenceSee more

Data Juggling - Part 5 - Curry-Howard-Lambek Correspondence

Programming with Categories - Lecture 5See more

Programming with Categories - Lecture 5

Category Theory for Programmers: Chapter 6 - Simple Algebraic Data TypesSee more

Category Theory for Programmers: Chapter 6 - Simple Algebraic Data Types

Algebraic Data Types in 10 Minutes – Daniel RogozinSee more

Algebraic Data Types in 10 Minutes – Daniel Rogozin

Category theory - Algebraic Data Types (ADTs) preparing a presentationSee more

Category theory - Algebraic Data Types (ADTs) preparing a presentation

What is Category Theory in mathematics? Johns Hopkins' Dr. Emily Riehl explainsSee more

What is Category Theory in mathematics? Johns Hopkins' Dr. Emily Riehl explains

Marius Jurgelėnas - Algebraic Data TypesSee more

Marius Jurgelėnas - Algebraic Data Types

11: Algebraic Data Types - Abstraction and Design in ComputationSee more

11: Algebraic Data Types - Abstraction and Design in Computation

Events