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

Differentiable and Probabilistic Programming Probabilistic programming is a method for writing statistical models …

Read more about Differentiable and Probabilistic Programming

All Projects

Projects

Protocols, Observabilities and Session Types

Read more about Protocols, Observabilities and Session Types

Quantum programming via algebraic effects

Read more about Quantum programming via algebraic effects

All Publications

Publications

Continuation−Passing Style‚ Defunctionalization‚ Accumulations‚ and Associativity

Read more about Continuation−Passing Style‚ Defunctionalization‚ Accumulations‚ and Associativity

Breadth−First Traversal Via Staging

Read more about Breadth−First Traversal Via Staging

Research