Paolo Perrone. Monads, partial evaluations, and rewriting.

Paolo Perrone. Monads, partial evaluations, and rewriting.

Paolo Perrone: Kan extensions are partial colimitsSee more

Paolo Perrone: Kan extensions are partial colimits

Paolo Perrone: Composing partial evaluationsSee more

Paolo Perrone: Composing partial evaluations

Paolo Perrone: Probability monads and stochastic dominanceSee more

Paolo Perrone: Probability monads and stochastic dominance

ACT 2020 Tutorial: Monads and comonads (Paolo Perrone)See more

ACT 2020 Tutorial: Monads and comonads (Paolo Perrone)

Tutorial: What is a probability monad? (Paolo Perrone)See more

Tutorial: What is a probability monad? (Paolo Perrone)

Paolo Perrone: "The rise of quantitative category theory"See more

Paolo Perrone: 'The rise of quantitative category theory'

Paolo Perrone --- Categorical probability, Markov categories, and the de Finetti theorem.See more

Paolo Perrone --- Categorical probability, Markov categories, and the de Finetti theorem.

An Intuitive Introduction to Monads in Under 10 MinutesSee more

An Intuitive Introduction to Monads in Under 10 Minutes

Partial evaluations: The results so farSee more

Partial evaluations: The results so far

Brandon Shapiro: Compositional structure of partial evaluationsSee more

Brandon Shapiro: Compositional structure of partial evaluations

News