Browsing by Author "Winant, Thomas"

Now showing 1 - 3 of 3

Coherent explicit dictionary application for Haskell

Winant, Thomas
;
Devriese, Dominique
Proceedings paper
2018, Haskell 2018 Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, 27/09/2018, p.81-93
Expressive and strongly type-safe code generation

Winant, Thomas
;
Cockx, Jesper
;
Devriese, Dominique
Proceedings paper
2017, PPDP '17. Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, 9/10/2017, p.199-210
Safely exposing Haskell's hidden powers

Winant, Thomas
PHD thesis
2018-11