mini-ml

Langages & compilation · 2022 · Personnel

Un typeur et évaluateur de lambda-calcul : inférence de types Hindley-Milner, unification et évaluation, écrits en F#.