science.types (date)

science.types (date)

September 29, 1989

Abstract for "Logic from Computer Science", John C . Mitchell

September 27, 1989

Journal of Functional Programming, Paul Hudak

September 25, 1989

semi-unification is undecidable, tiuryn-7YIBUCVa9Z+HXe+LvDLADg

September 22, 1989

ML Type-Checking is DEXP-complete, tiuryn-7YIBUCVa9Z+HXe+LvDLADg

September 05, 1989

JCIT, N27%TAUNOS . BITNET-Xn+YjCi86RQ8qNwGfFDJ/Q
Call for Participation: "Types in Logic Programming" Workshop, meyer-Pk+Q08jrNjsK5/GGV6Q7qeW1CriLhL8O

News | FAQ | advertise