implicit-fun-elaboration icon indicating copy to clipboard operation
implicit-fun-elaboration copied to clipboard

Published 4 years ago • verified publisher icon AndrasKovacs
→

Metadata

Implementation for ICFP 2020 paper

Sources and implementation of the ICFP 2020 paper "Elaboration with First-Class Implicit Function Types" by András Kovács.

Paper, implementation.

← Metadata

54
Stars
2
Forks
54
Watchers

Owner

verified publisher icon AndrasKovacs

Metadata

Implementation for ICFP 2020 paper

Back