Author of the publication

Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation.

, , , , , and . POPL, page 5-18. ACM, (2014)

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

Parametric Polymorphism For XML Processing Languages. (Polymorphisme Param'trique Pour Le Traitement De Documents XXML).. Paris Diderot University, France, (2013)CDGDroid: Android Malware Detection Based on Deep Learning Using CFG and DFG., , , and . ICFEM, volume 11232 of Lecture Notes in Computer Science, page 177-193. Springer, (2018)Towards an Effective Syntax and a Generator for Deterministic Standard Regular Expressions., , and . Comput. J., 62 (9): 1322-1341 (2019)Speeding Up Data Manipulation Tasks with Alternative Implementations: An Exploratory Study., , , , and . ACM Trans. Softw. Eng. Methodol., 30 (4): 49:1-49:28 (2021)A Toolkit for Generating Sentences from Context-Free Grammars., , and . Int. J. Software and Informatics, 5 (4): 659-676 (2011)State-Taint Analysis for Detecting Resource Bugs., , and . TASE, page 168-175. IEEE Computer Society, (2016)A Permission-Dependent Type System for Secure Information Flow Analysis., , , and . CSF, page 218-232. IEEE Computer Society, (2018)Probabilistic Alternating-Time µ-Calculus., , , , and . AAAI, page 6179-6186. AAAI Press, (2019)Demystifying "bad" error messages in data science libraries., , , , , and . ESEC/SIGSOFT FSE, page 818-829. ACM, (2021)A Self-Supervised Framework for Clustering Ensemble., , , , and . WAIM, volume 7923 of Lecture Notes in Computer Science, page 253-264. Springer, (2013)