Type Checking and Inference for Polymorphic and Existential Types - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Koji Nakazawa, Makoto Tatsuta. Type Checking and Inference for Polymorphic and Existential Types. In Rod Downey, Prabhu Manyem, editors, Theory of Computing 2009, Fifteenth Computing: The Australasian Theory Symposium, CATS 2009, Wellington, New Zealand, January 2009. Volume 94 of CRPIT, pages 61-69, Australian Computer Society, 2009. [doi]

This author has not been identified. Look up 'Koji Nakazawa' in GoogleThis author has not been identified. Look up 'Makoto Tatsuta' in Google

runs on WebDSL