From post

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.

 

Другие публикации лиц с тем же именем

Polymorphic Type, Region and Effect Inference., и . JTASPEFT/WSA, том 74 из Series Bigre, стр. 26-32. Atelier Irisa, IRISA, Campus de Beaulieu, (1991)Designing new languages or new language manipulation systems using ML.. ACM SIGPLAN Notices, 21 (8): 40-52 (1986)The Type and Effect Discipline, и . Inf. Comput., 111 (2): 245-296 (июня 1994)Polymorphic Type, Region and Effect Inference., и . J. Funct. Program., 2 (3): 245-271 (1992)Towards Aligning legivoc Legal Vocabularies by Crowdsourcing., , и . AICOL, том 10791 из Lecture Notes in Computer Science, стр. 220-232. Springer, (2017)Algebraic Reconstruction of Types and Effects., и . POPL, стр. 303-310. ACM Press, (1991)The Type and Effect Discipline, и . LICS, стр. 162-173. IEEE Computer Society, (1992)The Energy/Frequency Convexity Rule: Modeling and Experimental Validation on Mobile Devices., , , и . CoRR, (2014)Signal Rate Inference for Multidimensional Faust., и . IFL, стр. 1:1-1:12. ACM, (2016)Experimental energy profiling of energy-critical embedded applications., , , и . SoftCOM, стр. 1-6. IEEE, (2017)