A type system equivalent to static single assignment - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yutaka Matsuno, Atsushi Ohori. A type system equivalent to static single assignment. In Annalisa Bossi, Michael J. Maher, editors, Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy. pages 249-260, ACM, 2006. [doi]

This author has not been identified. Look up 'Yutaka Matsuno' in GoogleThis author has not been identified. Look up 'Atsushi Ohori' in Google

runs on WebDSL