( en | de | ru )

 

Disambiguierung von "Hage, Jurriaan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A quick look at impredicativity.

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Jurriaan Feijth

Jurriaan Schulman

Jurriaan Souer

Jurriaan Schulman

Jurriaan Buren

 

Weitere Publikationen von Autoren mit dem selben Namen

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