Skip to main content Accessibility help

We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.

Close cookie message
×
  1. Home
  2. Journals
  3. Journal of Functional Programming
  4. Video gallery

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