Coherent Explicit Dictionary Application for Haskell: Formalisation and Coherence Proof

Thomas Winant, Dominique Devriese

Research output: Book/ReportOther report

Fingerprint

Dive into the research topics of 'Coherent Explicit Dictionary Application for Haskell: Formalisation and Coherence Proof'. Together they form a unique fingerprint.

Engineering & Materials Science