Session 11 CMPT898: Exponential objects in Haskell and Categories, Currying & Uncurrying

Session 11 CMPT898: Exponential objects in Haskell and Categories, Currying & UncurryingSee more

Session 11 CMPT898: Exponential objects in Haskell and Categories, Currying & Uncurrying

CurryingSee more

Currying

FP101x - Programming in Haskell Chapter 11 - Lazy Evaluation Part 1See more

FP101x - Programming in Haskell Chapter 11 - Lazy Evaluation Part 1

Category Theory 8.1: Function objects, exponentialsSee more

Category Theory 8.1: Function objects, exponentials

Haskell for Imperative Programmers #7 - Partial Function Application & CurryingSee more

Haskell for Imperative Programmers #7 - Partial Function Application & Currying

Haskell Course - Lesson 10 - Creating Type Classes and InstancesSee more

Haskell Course - Lesson 10 - Creating Type Classes and Instances

Session 12 CMPT898: Algebraic Data Types in Category Theory & HaskellSee more

Session 12 CMPT898: Algebraic Data Types in Category Theory & Haskell

Intermediate Algebra Lecture 9.1 Part 7See more

Intermediate Algebra Lecture 9.1 Part 7

Universal and Existential Quantification in Haskell – Stepan PrudnikovSee more

Universal and Existential Quantification in Haskell – Stepan Prudnikov

Catharina Stroppel - A braided monoidal 2-category via Soergel bimodules - IPAM at UCLASee more

Catharina Stroppel - A braided monoidal 2-category via Soergel bimodules - IPAM at UCLA

Cédric Boutillier - Dimer models and random tilings (Part 1) - IPAM at UCLASee more

Cédric Boutillier - Dimer models and random tilings (Part 1) - IPAM at UCLA

Lecture 8: Functions as ObjectsSee more

Lecture 8: Functions as Objects

Programming with Categories - Lecture 11See more

Programming with Categories - Lecture 11

Category Theory For Beginners: Exponential ObjectsSee more

Category Theory For Beginners: Exponential Objects

Actual