Lukas' Notes

Parametric Polymorphism

1 min read

type-theory

Backlinks

Hindley–Milner Type System

Created with Quartz v4.5.2 © 2026

GitHub