Jurriaan Hage

View Scopus Profile

Jurriaan Hage

Prof, Dr

  • EH14 4AS

    United Kingdom

Accepting PhD Students

PhD projects

- static analysis, in particular of functional languages
- type error diagnosis for functional languages

1994 …2021

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2010

    Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators

    Holdermans, S. & Hage, J., 27 Sept 2010, Proceedings of the 15th ACM SIGPLAN international conference on Functional programming: ICFP '10. Association for Computing Machinery, p. 63-74 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Citation (Scopus)
  • 2009

    Improving type error messages for generic java

    El Boustani, N. & Hage, J., 19 Jan 2009, Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation: PEPM '09. Association for Computing Machinery, p. 131-140 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Improving Type Error Messages for Generic Java

    El Boustani, N. & Hage, J., 19 Jan 2009, Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation: PEPM '09. Association for Computing Machinery, p. 131-140 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    6 Citations (Scopus)

  • Neon: A Library for Language Usage Analysis

    Hage, J. & van Keeken, P., 2009, Software Language Engineering. SLE 2008. Springer, p. 35-53 19 p. (Lecture Notes in Computer Science; vol. 5452).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    8 Citations (Scopus)
  • 2008

    Heap recycling for lazy languages

    Holdermans, S. & Hage, J., 7 Jan 2008, Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation: PEPM '08. Hatcliff, J., Glück, R. & de Moor, O. (eds.). Association for Computing Machinery, p. 189-197 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    6 Citations (Scopus)

  • Report on the tenth ICFP programming contest

    Dolstra, E., Hage, J., Heeren, B., Holdermans, S., Jeuring, J., Löh, A., Löh, C., Middelkoop, A., Rodriguez, A. & van Schie, J., 20 Sept 2008, Proceedings of the 13th ACM SIGPLAN international conference on Functional programming: ICFP '08. Association for Computing Machinery, p. 397-408 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2007

    A generic usage analysis with subeffect qualifiers

    Hage, J., Holdermans, S. & Middelkoop, A., 1 Oct 2007, Proceedings of the 12th ACM SIGPLAN international conference on Functional programming: ICFP '07. Hinze, R. & Ramsey, N. (eds.). Association for Computing Machinery, p. 235-246 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    17 Citations (Scopus)

  • Heuristics for type error discovery and recovery

    Hage, J. & Heeren, B., 2007, Implementation and Application of Functional Languages. IFL 2006. Horváth, Z., Zsók, V. & Butterfield, A. (eds.). Springer, p. 199-216 18 p. (Lecture Notes in Computer Science; vol. 4449).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    36 Citations (Scopus)
  • 2005

    Type Class Directives

    Heeren, B. & Hage, J., 2005, Practical Aspects of Declarative Languages. PADL 2005. Hermenegildo, M. & Cabeza, D. (eds.). Springer, p. 253-267 15 p. (Lecture Notes in Computer Science; vol. 3350).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    13 Citations (Scopus)
  • 2004

    Embedding in Switching Classes with Skew Gains

    Ehrenfeucht, A., Hage, J., Harju, T. & Rozenberg, G., 2004, Graph Transformations. ICGT 2004. Ehrig, H., Engels, G., Parisi-Presicce, F. & Rozenberg, G. (eds.). Springer, p. 257-270 14 p. (Lecture Notes in Computer Science; vol. 3256).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Citations (Scopus)
  • 2003

    Constraint based type inferencing in Helium

    Heeren, B., Hage, J. & Swierstra, S. D., 2003, Proceedings of the CP 2003 Workshop on Immediate Applications of Constraint Programming (ACP). Silaghi, M-C. & Zanker, M. (eds.). p. 57-78 22 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Scripting the type inference process

    Heeren, B., Hage, J. & Swierstra, S. D., 25 Aug 2003, Proceedings of the eighth ACM SIGPLAN international conference on Functional programming: ICFP '03. Association for Computing Machinery, p. 3-13 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    23 Citations (Scopus)
  • 2002

    Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes

    Hage, J., Harju, T. & Welzl, E., 2002, Graph Transformation. ICGT 2002. Corradini, A., Ehrig, H., Kreowski, H-J. & Rozenberg, G. (eds.). Springer, p. 48-60 13 p. (Lecture Notes in Computer Science; vol. 2505).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    8 Citations (Scopus)
  • 2000

    Complexity Issues in Switching of Graphs

    Ehrenfeucht, A., Hage, J., Harju, T. & Rozenberg, G., 2000, Theory and Application of Graph Transformations. TAGT 1998. Ehrig, H., Engels, G., Kreowski, H-J. & Rozenberg, G. (eds.). Springer, p. 59-70 12 p. (Lecture Notes in Computer Science; vol. 1764).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    17 Citations (Scopus)