science.types (thread)

Abstract for "Logic from Computer Science", John C . Mitchell
Journal of Functional Programming, Paul Hudak
semi-unification is undecidable, tiuryn-7YIBUCVa9Z+HXe+LvDLADg
ML Type-Checking is DEXP-complete, tiuryn-7YIBUCVa9Z+HXe+LvDLADg
JCIT, N27%TAUNOS . BITNET-Xn+YjCi86RQ8qNwGfFDJ/Q
Call for Participation: "Types in Logic Programming" Workshop, meyer-Pk+Q08jrNjsK5/GGV6Q7qeW1CriLhL8O