Thomas Winant

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 3

Top Topics

Code Generation

Partial Information

Theorem Proving

Modeling Language

Top Venues

Publications

Thomas Winant, Dominique Devriese
Coherent Explicit Dictionary Application for Haskell: Formalisation and Coherence Proof. CoRR (2018)
Thomas Winant, Dominique Devriese
Coherent explicit dictionary application for Haskell. Haskell@ICFP (2018)
Thomas Winant, Jesper Cockx, Dominique Devriese
Expressive and strongly type-safe code generation. PPDP (2017)
Thomas Winant, Dominique Devriese, Frank Piessens, Tom Schrijvers
Partial Type Signatures for Haskell. PADL (2014)