Research output per year
Research output per year
Fingerprint
Dive into the research topics where Jurriaan Hage is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Welcome from the Chair
Hage, J., 18 Aug 2021, 26th ACM SIGPLAN International Conference on Functional Programming: ICFP '21. Association for Computing Machinery, p. III 1 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
A quick look at impredicativity
Serrano, A., Hage, J., Peyton Jones, S. & Vytiniotis, D., 2 Aug 2020, In: Proceedings of the ACM on Programming Languages. 4, ICFP, 89.Research output: Contribution to journal › Article › peer-review
Open AccessFile15 Citations (Scopus)66 Downloads (Pure) -
Heuristics-based Type Error Diagnosis for Haskell: The case of GADTs and local reasoning
Burgers, J., Hage, J. & Serrano, A., 2 Sept 2020, IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages. Chitil, O. (ed.). Association for Computing Machinery, p. 33-43 11 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Higher-Ranked Annotation Polymorphic Dependency Analysis
Thorand, F. & Hage, J., 18 Apr 2020, Programming Languages and Systems. ESOP 2020. Müller, P. (ed.). Springer, p. 656-683 28 p. (Lecture Notes in Computer Science; vol. 12075).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Preface
Hage, J., 2020, Proceedings Eighth and Ninth International Workshop on Trends in Functional Programming in Education. Open Publishing Association, p. 1 1 p. (Electronic Proceedings in Theoretical Computer Science; vol. 321).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution