E-LIB Suche - Ergebnisse für: Hage, Jurriaan

1

Proceedings of the 14th ACM SIGPLAN International Symposium..:

Hage, Jurriaan , 2021

2

A quick look at impredicativity:

Serrano, Alejandro ; Hage, Jurriaan ; Peyton Jones, Simon.
Proceedings of the ACM on Programming Languages. 4 (2020) ICFP - p. 1-29 , 2020

Link: https://dl.acm.org/doi/1..

3

Heuristics-based Type Error Diagnosis for Haskell : The ..:

, In: IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages,

Burgers, Joris ; Hage, Jurriaan ; Serrano, Alejandro - p. 33-43 , 2020

Link: https://dl.acm.org/doi/1..

4

A quick look at impredicativity:

Serrano, Alejandro ; Hage, Jurriaan ; Peyton Jones, Simon.
Proceedings of the ACM on Programming Languages. 4 (2020) ICFP - p. 1-29 , 2020

Link: https://doi.org/10.1145/..

5

Higher-Ranked Annotation Polymorphic Dependency Analysis:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Thorand, Fabian ; Hage, Jurriaan - p. 656-683 , 2020

Link: https://doi.org/10.1007/..

6

A compiler architecture for domain-specific type error diag..:

Serrano, Alejandro ; Hage, Jurriaan
Open Computer Science. 9 (2019) 1 - p. 33-51 , 2019

Link: https://doi.org/10.1515/..

7

A framework for improving error messages in dependently-typ..:

Eremondi, Joseph ; Swierstra, Wouter ; Hage, Jurriaan
Open Computer Science. 9 (2019) 1 - p. 1-32 , 2019

Link: https://doi.org/10.1515/..

8

Guarded impredicative polymorphism:

Serrano, Alejandro ; Hage, Jurriaan ; Vytiniotis, Dimitrios.
ACM SIGPLAN Notices. 53 (2018) 4 - p. 783-796 , 2018

Link: https://doi.org/10.1145/..

9

[Research Paper] Fine-Grained Model Slicing for Rebel:

, In: 2018 IEEE 18th International Working Conference on Source Code Analysis and Manipulation (SCAM),

Eilers, Renate ; Hage, Jurriaan ; Prasetya, Wishnu. - p. 235-244 , 2018

Link: https://doi.org/10.1109/..

10

Guarded impredicative polymorphism:

, In: Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Serrano, Alejandro ; Hage, Jurriaan ; Vytiniotis, Dimitrios. - p. 783-796 , 2018

Link: https://dl.acm.org/doi/1..

11

Special issue on Trends in Functional Programming 2013/14:

Hage, Jurriaan ; McCarthy, Jay
Computer Languages, Systems & Structures. 52 (2018) - p. 63-64 , 2018

Link: https://doi.org/10.1016/..

12

The hunt for the guzzler: Architecture-based energy profili..:

Jagroep, Erik ; van der Ent, Arjan ; van der Werf, Jan Martijn E.M....
Information and Software Technology. 95 (2018) - p. 165-176 , 2018

Link: https://doi.org/10.1016/..

13

Predicting resource consumption of higher-order workflows:

, In: Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation,

Klinik, Markus ; Hage, Jurriaan ; Jansen, Jan Martin. - p. 99-110 , 2017

Link: https://dl.acm.org/doi/1..

14

Stable and predictable Voronoi treemaps for software qualit..:

van Hees, Rinse ; Hage, Jurriaan
Information and Software Technology. 87 (2017) - p. 242-258 , 2017

Link: https://doi.org/10.1016/..

15

Constraint handling rules with binders, patterns and generi..:

SERRANO, ALEJANDRO ; HAGE, JURRIAAN
Theory and Practice of Logic Programming. 17 (2017) 5-6 - p. 992-1009 , 2017

Link: https://doi.org/10.1017/..