New paper

“Programming and proving with classical types”, joint work with Cristina Matache and Victor B. F. Gomes.

To appear at the 15th Asian Symposium on Programming Languages and Systems (APLAS), 2017.