Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Support the actual Mathematics Genealogy Project by making a donation, so that they can run their services again, instead of this temporary static unofficial mirror.

Mickaël Laurent

Original record
Institution
Université Paris Cité
Year
2024
Country
France
MGP identifier
331846

Dissertation: Polymorphic type inference for dynamic languages : reconstructing types for systems combining parametric, ad-hoc, and subtyping polymorphism

Mathematics Subject Classification: 68—Computer science

Advisors 2

Students 0

No students recorded in this snapshot.

Genealogy