John Joseph Hannan

    • 221 Citations
    • 8 h-Index
    1988 …2018

    Research output per year

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

    Research Output

    • 221 Citations
    • 8 h-Index
    • 12 Conference contribution
    • 12 Article
    • 2 Conference article
    • 1 Chapter
    Filter
    Article
    2018
    2 Scopus citations
    2015

    Feasibility study of an attention training application for older adults

    Hill, N. L., Mogle, J., Colancecco, E., Dick, R., Hannan, J. & Lin, F. V., Sep 1 2015, In : International Journal of Older People Nursing. 10, 3, p. 241-249 9 p.

    Research output: Contribution to journalArticle

    5 Scopus citations
    2003

    Specification and correctness of lambda lifting

    Fischbach, A. & Hannan, J., May 2003, In : Journal of Functional Programming. 13, 3, p. 509-543 35 p.

    Research output: Contribution to journalArticle

    4 Scopus citations
    2001
    1 Scopus citations
    2000

    Higher-order uncurrying

    Hannan, J. & Hicks, P., Sep 1 2000, In : Higher-Order and Symbolic Computation. 13, 3, p. 179-216 38 p.

    Research output: Contribution to journalArticle

    4 Scopus citations
    1999

    Higher-order arity raising

    Hannan, J. J. & Hicks, P., Jan 1 1999, In : SIGPLAN Notices (ACM Special Interest Group on Programming Languages). 34, 1, p. 27-38 12 p.

    Research output: Contribution to journalArticle

    1 Scopus citations
    1998

    A type-based escape analysis for functional languages

    Hannan, J. J., Jan 1 1998, In : Journal of Functional Programming. 8, 3, p. 239-273 35 p.

    Research output: Contribution to journalArticle

    7 Scopus citations

    Higher-order arity raising

    Hannan, J. J. & Hicks, P., 1998, In : Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP. p. 27-38 12 p.

    Research output: Contribution to journalArticle

    9 Scopus citations
    1994

    Operational Semantics-Directed Compilers and Machine Architectures

    Hannan, J., Jan 7 1994, In : ACM Transactions on Programming Languages and Systems (TOPLAS). 16, 4, p. 1215-1247 33 p.

    Research output: Contribution to journalArticle

    8 Scopus citations
    1993

    Extended natural semantics

    Hannan, J. J., Jan 1 1993, In : Journal of Functional Programming. 3, 2, p. 123-152 30 p.

    Research output: Contribution to journalArticle

    15 Scopus citations
    1992

    From operational semantics to abstract machines

    Hannan, J., Dec 1992, In : Mathematical Structures in Computer Science. 2, 4, p. 415-459 45 p.

    Research output: Contribution to journalArticle

    46 Scopus citations
    1991

    Staging transformations for abstract machines

    Hannan, J., Jan 5 1991, In : ACM SIGPLAN Notices. 26, 9, p. 130-141 12 p.

    Research output: Contribution to journalArticle

    9 Scopus citations