The first-order theory of subtyping constraints - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen. The first-order theory of subtyping constraints. In POPL. pages 203-216, 2002. [doi]

This author has not been identified. It may be one of the following persons:

Zhendong Su

Look up 'Zhendong Su' in GoogleThis author has not been identified. Look up 'Alexander Aiken' in GoogleThis author has not been identified. Look up 'Joachim Niehren' in GoogleThis author has not been identified. Look up 'Tim Priesnitz' in GoogleThis author has not been identified. Look up 'Ralf Treinen' in Google

runs on WebDSL