I was looking at HM(X) framework, Hindley-Milner parameterized by a constraint system X, and I was struggling to understand what does the projection operator $\exists \alpha$ does for a constraint. Also, how is this projection operator related to the existential Boolean quantifier?

E.g. https://www.cs.tufts.edu/~nr/cs257/archive/martin-odersky/hmx.pdf


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.