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.

Alexander Spoon

Original record
Institution
Georgia Institute of Technology
Year
2005
Country
United States
MGP identifier
168161

Dissertation: Demand-Driven Type Inference with Subgoal Pruning

Mathematics Subject Classification: 68—Computer science

Advisor 1

Students 0

No students recorded in this snapshot.

Genealogy