Automated theorem proving - Document - PDFSEARCH.IO

First Page	Meta Content
	On the Undecidability of Partial Polymorphic Type Reconstruction Frank Pfenning January 1992 CMU-CS Add to Reading List Document Date: 2001-01-02 17:31:21 Open Document File Size: 169,55 KB Share Result on Facebook

UPDATE

On the Undecidability of Partial Polymorphic Type Reconstruction Frank Pfenning January 1992 CMU-CSAdd to Reading List