Skip to content

Research at St Andrews

University > Research portal > Research publications > A verified staged interpreter is a verified compiler: multi-...

A verified staged interpreter is a verified compiler: multi-stage programming with dependent types.  Generative Programming and Component Engineering, 5th International Conference (GPCE 2006)

Research output: Contribution to conference › Paper

DOI

Author(s)

Kevin Hammond, Edwin Brady, Stan Jarzabek, Douglas C. Schmidt, Todd L Veldhuizen

School/Research organisations

Details

Original languageEnglish
Pages111 - 120
DOIs
StatePublished - Oct 2006
Additional links

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. Finding parallel functional pearls: automatic parallel recursion scheme detection in Haskell functions via anti-unification

    Barwell, A. D., Brown, C. & Hammond, K. Feb 2018 In : Future Generation Computer Systems. 79, Part 2, p. 669-686

    Research output: Contribution to journal › Article

  2. Automatically deriving cost models for structured parallel processes using hylomorphisms

    Castro, D., Hammond, K., Sarkar, S. & Alguwaifli, Y. Feb 2018 In : Future Generation Computer Systems. 79, Part 2, p. 653-668

    Research output: Contribution to journal › Article

  3. The Missing Link! A new skeleton for evolutionary multi-agent systems in Erlang

    Stypka, J., Turek, W., Byrski, A., Kisiel-Dorohinicki, M., Barwell, A. D., Brown, C. M., Hammond, K. & Janjic, V. Feb 2018 In : International Journal of Parallel Programming. 46, 1, p. 4-22 19 p.

    Research output: Contribution to journal › Article

  4. Proof-relevant Horn clauses for dependent type inference and term synthesis

    Farka, F., Komendantskya, E. & Hammond, K. 2018 In : Theory and Practice of Logic Programming. 18, 3-4, p. 484-501

    Research output: Contribution to journal › Article

  5. Type-based cost analysis for lazy functional languages

    Jost, S., Vasconcelos, P., Florido, M. & Hammond, K. Jun 2017 In : Journal of Automated Reasoning. 59, 1, p. 87-120 34 p.

    Research output: Contribution to journal › Article

ID: 371482