Venanzio Capretta

Logics and Type Systems in Theory and Practice

Proceedings of the Third ACM SIGPLAN Workshop on Mathematically Structured Functional Programming