Type Inference Using Unification in Computer Algebra - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jacques Calmet, Hubert Comon, Denis Lugiez. Type Inference Using Unification in Computer Algebra. In Thomas Beth, Michael Clausen, editors, Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 4th International Conference, AAECC-4, Karlsruhe, FRG, September 23-26, 1986, Proceedings. Volume 307 of Lecture Notes in Computer Science, pages 25-28, Springer, 1986.

This author has not been identified. Look up 'Jacques Calmet' in GoogleThis author has not been identified. Look up 'Hubert Comon' in GoogleThis author has not been identified. Look up 'Denis Lugiez' in Google

runs on WebDSL