Skip to main content Accessibility help

Video gallery

A Theory of RPC Calculi for Client-Server Model

Composable data visualizations

How to Evaluate the Performance of Gradual Type Systems

How to Design Co-Programs

Typed Dataspace Actors

Heterogenous Binary Random-Access Lists

Local Algebraic Effect Theories

Emerging Languages – An Alternative Approach to Teaching Programming Languages

How to prove decidability of equational theories with second-order computation analyser SOL

Mechanizing Proofs by Logical Relations

Perturbation Confusion in Forward Automatic Differentiation of Higher-Order Functions