GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → AndrasKovacs → implicit-fun-elaboration

AndrasKovacs / implicit-fun-elaboration

Licence: other
Implementation for ICFP 2020 paper

Programming Languages

TeX
3793 projects
haskell
3896 projects
Agda
84 projects

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

Paper, implementation.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].