Link to Preprints for International Conference on Functional Programming '16github.com/gasche1 pointrargulati10 years ago