mini-ml

Sprachen & Compiler · 2022 · Privat

Ein Lambda-Kalkül-Typechecker und -Evaluator: Hindley-Milner-Typinferenz, Unifikation und Auswertung, geschrieben in F#.