AndrasKovacs/implicit-fun-elaboration

Implementation for ICFP 2020 paper

TeX

118 commits

updated Jul 5, 2021

README

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

Paper, implementation.

Contributors

AndrasKovacs

116 commits

glaebhoerl

2 commits

Similar repos

AndrasKovacs/staged

Staged compilation with dependent types

187

same org

AndrasKovacs/setoidtt

Prototype implementations of systems based on setoid type theory

same org

0xd34df00d/refinedt

Refinement types + dependent types = ❤️

atzeus/FRPNow

mv302/faer-synesis

lm-playpen/playpen-paper-2025

Code for reproducing the results reported in (Horst et al., 2025)

hbnnnnnnn/fuzzy-engine

unimpor/CFRE

Languages

TeX

89.6%

Haskell

10.1%

AndrasKovacs/implicit-fun-elaboration

Implementation for ICFP 2020 paper

TeX

118 commits

updated Jul 5, 2021

See the code

README

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

Paper, implementation.

Similar repos

AndrasKovacs/staged

Staged compilation with dependent types

187

same org

AndrasKovacs/setoidtt

Prototype implementations of systems based on setoid type theory

same org

0xd34df00d/refinedt

Refinement types + dependent types = ❤️

atzeus/FRPNow

mv302/faer-synesis

lm-playpen/playpen-paper-2025

Code for reproducing the results reported in (Horst et al., 2025)

hbnnnnnnn/fuzzy-engine

unimpor/CFRE

Contributors

AndrasKovacs

116 commits

glaebhoerl

2 commits

Languages

TeX

89.6%

Haskell

10.1%