Document Versions

On the undecidability of partial polymorphic type reconstruction –Frank Pfenning — 1992 — FUNDAMENTA INFORMATICAE
On the Undecidability of Partial Polymorphic Type Reconstruction –Frank Pfenning — 1992 — Fundamenta Informaticae
On the Undecidability of Partial Polymorphic Type Reconstruction –Frank Pfenning — 1992 — FUNDAMENTA INFORMATICAE
On the undecidability of partial polymorphic type reconstruction –Frank Pfenning — 1993 — Fundamenta Informaticae