Vi presenterar en allmän ram HM(X) för typsystem med begränsningar. Ramverket följer traditionen i Hindley/Milner-systemet. Dess typ system instanser är ljud under en standard otypad komposition semantik. Vi kan ge en generisk typinferensalgoritm för HM(X) så att, under lämpliga förhållanden på X, typinferens alltid kommer att beräkna den huvudsakliga typen av en term. Vi diskuterar fall av ramverket som behandlar polymorfa poster, ekvationsteorier och subtyper.
De presenterar ett typsystem för bevakade algebraiska datatyper som en förlängning till HM(X) REF-typsystemet, och beskriver en typinferensalgoritm.
Type inference with constrained types
{'venue': 'Fourth International Workshop on Foundations of Object-Oriented Programming (FOOL)', 'journal': None, 'mag_field_of_study': ['Computer Science']}