Thomas Winant

According to our database, Thomas Winant authored at least 4 papers between 2014 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Coherent Explicit Dictionary Application for Haskell: Formalisation and Coherence Proof.

Thomas Winant, Dominique Devriese

CoRR, 2018

Coherent explicit dictionary application for Haskell.

Thomas Winant, Dominique Devriese

Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, 2018

2017

Expressive and strongly type-safe code generation.

Thomas Winant, Jesper Cockx, Dominique Devriese

Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09, 2017

2014

Partial Type Signatures for Haskell.

Thomas Winant, Dominique Devriese, Frank Piessens, Tom Schrijvers

Proceedings of the Practical Aspects of Declarative Languages, 2014