default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJurriaan Hage
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
[e7]Jurriaan Hage:
Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, Virtual Event, Korea, August 26-27, 2021. ACM 2021, ISBN 978-1-4503-8615-9 [contents]- 2020
- [j26]Alejandro Serrano, Jurriaan Hage, Simon Peyton Jones, Dimitrios Vytiniotis:
A quick look at impredicativity. Proc. ACM Program. Lang. 4(ICFP): 89:1-89:29 (2020) - [c59]Fabian Thorand, Jurriaan Hage
:
Higher-Ranked Annotation Polymorphic Dependency Analysis. ESOP 2020: 656-683 - [c58]Joris Burgers, Jurriaan Hage, Alejandro Serrano:
Heuristics-based Type Error Diagnosis for Haskell: The case of GADTs and local reasoning. IFL 2020: 33-43 - [c57]Jurriaan Hage:
Solved and Open Problems in Type Error Diagnosis. STAF Workshops 2020: 62-74 - [e6]Jurriaan Hage:
Proceedings Eighth and Ninth International Workshop on Trends in Functional Programming in Education, TFPIE 2020, Vancouver, Canada and Krakow, Poland, 11th June 2019 and 12th February 2020. EPTCS 321, 2020 [contents]
2010 – 2019
- 2019
- [j25]Joseph Eremondi, Wouter Swierstra, Jurriaan Hage:
A framework for improving error messages in dependently-typed languages. Open Comput. Sci. 9(1): 1-32 (2019) - [j24]Alejandro Serrano, Jurriaan Hage:
A compiler architecture for domain-specific type error diagnosis. Open Comput. Sci. 9(1): 33-51 (2019) - [j23]Amir Saeidi, Jurriaan Hage, Ravi Khadka, Slinger Jansen:
Applications of Multi-view Learning Approaches for Software Comprehension. Art Sci. Eng. Program. 3(3): 14 (2019) - [i3]Amir Saeidi, Jurriaan Hage, Ravi Khadka, Slinger Jansen:
Applications of Multi-view Learning Approaches for Software Comprehension. CoRR abs/1902.00526 (2019) - 2018
- [j22]Jurriaan Hage, Jay McCarthy:
Special issue on Trends in Functional Programming 2013/14. Comput. Lang. Syst. Struct. 52: 63-64 (2018) - [j21]Erik Jagroep, Arjan van der Ent, Jan Martijn E. M. van der Werf, Jurriaan Hage, Leen Blom, Rob van Vliet, Sjaak Brinkkemper:
The hunt for the guzzler: Architecture-based energy profiling using stubs. Inf. Softw. Technol. 95: 165-176 (2018) - [j20]Amir Saeidi, Jurriaan Hage, Ravi Khadka, Slinger Jansen:
On the Effect of Semantically Enriched Context Models on Software Modularization. Art Sci. Eng. Program. 2(1): 2 (2018) - [c56]Amir M. Saeidi, Jurriaan Hage, Ravi Khadka, Slinger Jansen:
A Generic Framework for the Analysis of Heterogeneous Legacy Software Systems. BENEVOL 2018: 24-28 - [c55]Alexander Elyasov, I. S. W. B. Prasetya, Jurriaan Hage:
Search-Based Test Data Generation for JavaScript Functions that Interact with the DOM. ISSRE 2018: 88-99 - [c54]Alejandro Serrano, Jurriaan Hage, Dimitrios Vytiniotis, Simon Peyton Jones:
Guarded impredicative polymorphism. PLDI 2018: 783-796 - [c53]Renate Eilers, Jurriaan Hage, Wishnu Prasetya, Joost Bosman:
[Research Paper] Fine-Grained Model Slicing for Rebel. SCAM 2018: 235-244 - [c52]Eduard van der Bent, Jurriaan Hage, Joost Visser, Georgios Gousios:
How good is your puppet? An empirically defined and validated quality model for puppet. SANER 2018: 164-174 - 2017
- [j19]Rinse van Hees, Jurriaan Hage:
Stable and predictable Voronoi treemaps for software quality monitoring. Inf. Softw. Technol. 87: 242-258 (2017) - [j18]Alejandro Serrano, Jurriaan Hage:
Constraint handling rules with binders, patterns and generic quantification. Theory Pract. Log. Program. 17(5-6): 992-1009 (2017) - [c51]Alejandro Serrano, Jurriaan Hage:
Type Error Customization in GHC: Controlling expression-level type errors by type-level programming. IFL 2017: 2:1-2:15 - [c50]Alejandro Serrano, Jurriaan Hage:
Lightweight soundness for towers of language extensions. PEPM 2017: 23-34 - [c49]Levin Fritz, Jurriaan Hage:
Cost versus precision for approximate typing for Python. PEPM 2017: 89-98 - [c48]Markus Klinik, Jurriaan Hage, Jan Martin Jansen, Rinus Plasmeijer:
Predicting resource consumption of higher-order workflows. PEPM 2017: 99-110 - [c47]Ivo Gabe de Wolff, Jurriaan Hage:
Refining types using type guards in TypeScript. PEPM 2017: 111-122 - [i2]Alejandro Serrano, Jurriaan Hage:
Constraint Handling Rules with Binders, Patterns and Generic Quantification. CoRR abs/1707.02754 (2017) - [i1]Amir Saeidi, Jurriaan Hage, Ravi Khadka, Slinger Jansen:
On the Effect of Semantically Enriched Context Models on Software Modularization. CoRR abs/1708.01680 (2017) - 2016
- [c46]Alejandro Serrano, Jurriaan Hage:
Type Error Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules. ESOP 2016: 672-698 - [c45]Falco Peijnenburg, Jurriaan Hage, Alejandro Serrano:
Type Directives and Type Graphs in Elm. IFL 2016: 2:1-2:12 - [c44]Alejandro Serrano, Jurriaan Hage:
Generic Matching of Tree Regular Expressions over Haskell Data Types. PADL 2016: 83-98 - [c43]Joeri Peters, Jan Martijn E. M. van der Werf, Jurriaan Hage:
Architectural Pattern Definition for Semantically Rich Modular Architectures. WICSA 2016: 256-261 - [e5]Manuel Serrano, Jurriaan Hage:
Trends in Functional Programming - 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers. Lecture Notes in Computer Science 9547, Springer 2016, ISBN 978-3-319-39109-0 [contents] - 2015
- [j17]Wei-Ngan Chin, Jurriaan Hage:
Selected and extended papers from Partial Evaluation and Program Manipulation 2014. Sci. Comput. Program. 112: 119 (2015) - [c42]I. S. W. B. Prasetya, Jurriaan Hage, Alexander Elyasov:
Exploiting Annotations to Test Break-off Branches. APSEC 2015: 80-87 - [c41]Alejandro Serrano, Jurriaan Hage, Patrick Bahr:
Type families with class, type classes with family. Haskell 2015: 129-140 - [c40]Ravi Khadka, Prajan Shrestha, Bart Klein, Amir Saeidi, Jurriaan Hage, Slinger Jansen, Edwin van Dis, Magiel Bruntink:
Does software modernization deliver what it aimed for? A post modernization analysis of five software modernization case studies. ICSME 2015: 477-486 - [c39]Robert Kreuzer, Jurriaan Hage, Ad Feelders:
A Quantitative Comparison of Semantic Web Page Segmentation Approaches. ICWE 2015: 374-391 - [c38]Amir Saeidi, Jurriaan Hage, Ravi Khadka, Slinger Jansen:
ITMViz: interactive topic modeling for source code analysis. ICPC 2015: 295-298 - [c37]Henk Erik Van der Hoek, Jurriaan Hage:
Object-sensitive Type Analysis of PHP. PEPM 2015: 9-20 - [c36]Ruud Koot, Jurriaan Hage:
Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics. PEPM 2015: 127-138 - [c35]Hidde Verstoep, Jurriaan Hage:
Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages: Brief Announcement. PEPM 2015: 139-142 - [c34]Alexander Elyasov, Wishnu Prasetya, Jurriaan Hage, Urko Rueda, Tanja E. J. Vos, Nelly Condori-Fernández:
AB=ᗺA: execution equivalence as a new type of testing oracle. SAC 2015: 1559-1566 - [c33]Rinse van Hees, Jurriaan Hage:
Stable Voronoi-based visualizations for software quality monitoring. VISSOFT 2015: 6-15 - [c32]Amir Saeidi, Jurriaan Hage, Ravi Khadka, Slinger Jansen:
A search-based approach to multi-view clustering of software systems. SANER 2015: 429-438 - [e4]Jurriaan Hage, Jay McCarthy:
Trends in Functional Programming - 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers. Lecture Notes in Computer Science 8843, Springer 2015, ISBN 978-3-319-14674-4 [contents] - 2014
- [j16]Jeroen Weijers, Jurriaan Hage, Stefan Holdermans:
Security type error diagnosis for higher-order, polymorphic languages. Sci. Comput. Program. 95: 200-218 (2014) - [c31]Ravi Khadka, Belfrit V. Batlajery, Amir Saeidi, Slinger Jansen, Jurriaan Hage:
How do professionals perceive legacy systems and software modernization? ICSE 2014: 36-47 - [c30]Alexander Elyasov, Wishnu Prasetya, Jurriaan Hage, Andreas Nikas:
Reduce first, debug later. AST 2014: 57-63 - [e3]Wei-Ngan Chin, Jurriaan Hage:
Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA. ACM 2014, ISBN 978-1-4503-2619-3 [contents] - 2013
- [c29]Jurriaan Hage, Brian Vermeer, Gerben Verburg:
Research paper: Plagiarism Detection for Haskell with Holmes. CSERC 2013: 19-30 - [c28]Theodoros Polychniatis, Jurriaan Hage, Slinger Jansen, Eric Bouwers, Joost Visser:
Detecting Cross-Language Dependencies Generically. CSMR 2013: 349-352 - [c27]Ravi Khadka, Amir Saeidi, Slinger Jansen, Jurriaan Hage:
A structured legacy to SOA migration process and its evaluation in practice. MESOCA 2013: 2-11 - [c26]Jeroen Weijers, Jurriaan Hage, Stefan Holdermans:
Security type error diagnosis for higher-order, polymorphic languages. PEPM 2013: 3-12 - [c25]Peter M. Kruse, I. S. Wishnu B. Prasetya, Jurriaan Hage, Alexander Elyasov:
Logging to Facilitate Combinatorial System Testing. FITTEST@ICTSS 2013: 48-58 - [c24]Alexander Elyasov, I. S. Wishnu B. Prasetya, Jurriaan Hage:
Guided Algebraic Specification Mining for Failure Simplification. ICTSS 2013: 223-238 - [c23]Ravi Khadka, Amir Saeidi, Slinger Jansen, Jurriaan Hage, Geer P. Haas:
Migrating a large scale legacy application to SOA: Challenges and lessons learned. WCRE 2013: 425-432 - [c22]Amir Saeidi, Jurriaan Hage, Ravi Khadka, Slinger Jansen:
Gelato: GEneric language tools for model-driven analysis of legacy software systems. WCRE 2013: 481-482 - [p1]Ravi Khadka, Amir Saeidi, Andrei Idu, Jurriaan Hage, Slinger Jansen:
Legacy to SOA Evolution. Migrating Legacy Applications 2013: 40-70 - 2012
- [j15]Jurriaan Hage:
Subgroup Switching of Skew Gain Graphs. Fundam. Informaticae 116(1-4): 111-122 (2012) - [j14]Jurriaan Hage:
Bookreview JFP: Domain-Specific Languages by Martin Fowler The Addison Wesley Signature Series. J. Funct. Program. 22(3): 375-377 (2012) - [j13]Hans L. Bodlaender, Jurriaan Hage:
On switching classes, NLC-width, cliquewidth and treewidth. Theor. Comput. Sci. 429: 30-35 (2012) - [e2]Andy Gill, Jurriaan Hage:
Implementation and Application of Functional Languages - 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7257, Springer 2012, ISBN 978-3-642-34406-0 [contents] - 2011
- [j12]Jurriaan Hage:
Language Implementation Patterns: Create your own Domain-Specific and General Programming Languages, by Terence Parr, Pragmatic Bookshelf, http://www.pragprog.com, ISBN 9781934356456. J. Funct. Program. 21(2): 215-217 (2011) - [j11]Nabil El Boustani, Jurriaan Hage:
Improving type error messages for generic Java. High. Order Symb. Comput. 24(1-2): 3-39 (2011) - [c21]Jurriaan Hage, Peter Rademaker, Nikè van Vugt:
Plagiarism detection for Java: a tool comparison. CSERC 2011: 33-46 - [c20]Ravi Khadka, Gijs Reijnders, Amir Saeidi, Slinger Jansen, Jurriaan Hage:
A method engineering based legacy to SOA migration method. ICSM 2011: 163-172 - [c19]Ravi Khadka, Amir Saeidi, Slinger Jansen, Jurriaan Hage, Remko Helms:
An Evaluation Of Service Frameworks For The Management Of Service Ecosystems. PACIS 2011: 93 - [c18]Tiago L. Alves, Jurriaan Hage, Peter Rademaker:
A Comparative Study of Code Query Technologies. SCAM 2011: 145-154 - [e1]Jurriaan Hage, Marco T. Morazán:
Implementation and Application of Functional Languages - 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6647, Springer 2011, ISBN 978-3-642-24275-5 [contents] - 2010
- [j10]Stefan Holdermans, Jurriaan Hage:
Making "stricterness" more relevant. High. Order Symb. Comput. 23(3): 315-335 (2010) - [c17]Stefan Holdermans, Jurriaan Hage:
Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators. ICFP 2010: 63-74 - [c16]Stefan Holdermans, Jurriaan Hage:
On the rôle of minimal typing derivations in type-driven program transformation. LDTA 2010: 2 - [c15]Nabil El Boustani, Jurriaan Hage:
Corrective hints for type incorrect generic Java programs. PEPM 2010: 5-14 - [c14]Stefan Holdermans, Jurriaan Hage:
Making "stricterness" more relevant. PEPM 2010: 121-130
2000 – 2009
- 2009
- [c13]Jurriaan Hage, Tero Harju:
On Involutions Arising from Graphs. Algorithmic Bioprocesses 2009: 623-630 - [c12]Nabil El Boustani, Jurriaan Hage:
Improving type error messages for generic java. PEPM 2009: 131-140 - 2008
- [c11]Eelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Clara Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie:
Report on the tenth ICFP programming contest. ICFP 2008: 397-408 - [c10]Jurriaan Hage, Stefan Holdermans:
Heap recycling for lazy languages. PEPM 2008: 189-197 - [c9]Jurriaan Hage, Peter van Keeken:
Neon: A Library for Language Usage Analysis. SLE 2008: 35-53 - [c8]Jurriaan Hage, Bastiaan Heeren:
Strategies for Solving Constraints in Type and Effect Systems. VODCA@FOSAD 2008: 163-183 - 2007
- [j9]Jurriaan Hage, Tero Harju:
Towards a characterization of bipartite switching classes by means of forbidden subgraphs. Discuss. Math. Graph Theory 27(3): 471-483 (2007) - [c7]Jurriaan Hage, Stefan Holdermans, Arie Middelkoop:
A generic usage analysis with subeffect qualifiers. ICFP 2007: 235-246 - 2006
- [j8]Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg:
The Embedding Problem for Switching Classes of Graphs. Fundam. Informaticae 74(1): 115-134 (2006) - [c6]Jurriaan Hage, Bastiaan Heeren:
Heuristics for Type Error Discovery and Recovery. IFL 2006: 199-216 - 2005
- [c5]Bastiaan Heeren, Jurriaan Hage:
Type Class Directives. PADL 2005: 253-267 - 2004
- [j7]Jurriaan Hage, Tero Harju:
A Characterization of Acyclic Switching Classes of Graphs Using Forbidden Subgraphs. SIAM J. Discret. Math. 18(1): 159-176 (2004) - [c4]Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg:
Embedding in Switching Classes with Skew Gains. ICGT 2004: 257-270 - 2003
- [j6]Jurriaan Hage, Tero Harju, Emo Welzl:
Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes. Fundam. Informaticae 58(1): 23-37 (2003) - [j5]Jurriaan Hage:
Enumerating submultisets of multisets. Inf. Process. Lett. 85(4): 221-226 (2003) - [c3]Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra:
Scripting the type inference process. ICFP 2003: 3-13 - 2002
- [c2]Jurriaan Hage, Tero Harju, Emo Welzl:
Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes. ICGT 2002: 148-160 - 2000
- [j4]Jurriaan Hage, Tero Harju:
The size of switching classes with skew gains. Discret. Math. 215: 81-92 (2000) - [j3]Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg:
Pancyclicity in switching classes. Inf. Process. Lett. 73(5-6): 153-156 (2000)
1990 – 1999
- 1999
- [j2]Jurriaan Hage:
The Membership Problem for Switching Classes with Skew Gains. Fundam. Informaticae 39(4): 375-387 (1999) - 1998
- [j1]Jurriaan Hage, Tero Harju:
Acyclicity of Switching Classes. Eur. J. Comb. 19(3): 321-327 (1998) - [c1]Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg:
Complexity Issues in Switching of Graphs. TAGT 1998: 59-70
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
