Michiel Derhaeg

Identifiers

• name variant Michiel Derhaeg 0.50 · backfill

Papers (1)

1. Bidirectional Type Class Instances (Extended Version) cs.PL · 2019 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Georgios Karachalias 1 shared papers
• Koen Pauwels 1 shared papers
• Tom Schrijvers 1 shared papers