Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Towards Aligning legivoc Legal Vocabularies by Crowdsourcing., , and . AICOL, volume 10791 of Lecture Notes in Computer Science, page 220-232. Springer, (2017)Polymorphic Type, Region and Effect Inference., and . JTASPEFT/WSA, volume 74 of Series Bigre, page 26-32. Atelier Irisa, IRISA, Campus de Beaulieu, (1991)Algebraic Reconstruction of Types and Effects., and . POPL, page 303-310. ACM Press, (1991)The Type and Effect Discipline, and . LICS, page 162-173. IEEE Computer Society, (1992)The Type and Effect Discipline, and . Inf. Comput., 111 (2): 245-296 (June 1994)Designing new languages or new language manipulation systems using ML.. ACM SIGPLAN Notices, 21 (8): 40-52 (1986)Polymorphic Type, Region and Effect Inference., and . J. Funct. Program., 2 (3): 245-271 (1992)Semantical Interprocedural Analysis by Partial Symbolic Evaluation., and . PEPM, page 14-20. Yale University, (1992)Semantical interprocedural parallelization: an overview of the PIPS project., , and . ICS, page 244-251. ACM, (1991)A unified semantic approach for the vectorization and parallelization of generalized reductions., and . ICS, page 186-194. ACM, (1989)