Skip to main content

Programming Languages

All Activities

Activities

Algebra of Programming The Algebra of Programming group researches mathematically sound yet …

Read more about Algebra of Programming

All Projects

Projects

Quantum programming via algebraic effects

Read more about Quantum programming via algebraic effects

BLAST Better Languages for Statistics

Read more about BLAST

All Publications

Publications

Profunctor Optics‚ a Categorical Update

Read more about Profunctor Optics‚ a Categorical Update

On Learning Polynomial Recursive Programs

Read more about On Learning Polynomial Recursive Programs

Research