Coherent Explicit Dictionary Application for Haskell: Formalisation and Coherence Proof

Thomas Winant, Dominique Devriese

Onderzoeksoutput: Other report

Vingerafdruk

Duik in de onderzoeksthema's van 'Coherent Explicit Dictionary Application for Haskell: Formalisation and Coherence Proof'. Samen vormen ze een unieke vingerafdruk.

Engineering & Materials Science