( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A quick look at impredicativity.

, , , и . Proc. ACM Program. Lang., 4 (ICFP): 89:1-89:29 (2020)

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.

Jurriaan Feijth

Jurriaan Schulman

Jurriaan Souer

Jurriaan Schulman

Jurriaan Buren

 

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

Corrective hints for type incorrect generic Java programs., и . PEPM, стр. 5-14. ACM, (2010)Making "stricterness" more relevant., и . PEPM, стр. 121-130. ACM, (2010)Generic Matching of Tree Regular Expressions over Haskell Data Types., и . PADL, том 9585 из Lecture Notes in Computer Science, стр. 83-98. Springer, (2016)A Quantitative Comparison of Semantic Web Page Segmentation Approaches., , и . ICWE, том 9114 из Lecture Notes in Computer Science, стр. 374-391. Springer, (2015)Heuristics-based Type Error Diagnosis for Haskell: The case of GADTs and local reasoning., , и . IFL, стр. 33-43. ACM, (2020)Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes., , и . ICGT, том 2505 из Lecture Notes in Computer Science, стр. 148-160. Springer, (2002)Lightweight soundness for towers of language extensions., и . PEPM, стр. 23-34. ACM, (2017)Cost versus precision for approximate typing for Python., и . PEPM, стр. 89-98. ACM, (2017)Gelato: GEneric language tools for model-driven analysis of legacy software systems., , , и . WCRE, стр. 481-482. IEEE Computer Society, (2013)A generic usage analysis with subeffect qualifiers., , и . ICFP, стр. 235-246. ACM, (2007)