Research output per year
Research output per year
Personal profile
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
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.
- 1 Similar Profiles
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 AccessFile8 Citations (Scopus)14 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 AccessFile8 Downloads (Pure) -
Preface
Hage, J., 24 Aug 2020, In: Electronic Proceedings in Theoretical Computer Science. 321Research output: Contribution to journal › Article