A computer scientist interested in correctness of software written with functional programming and advanced static type systems
