Skip to content

Research at St Andrews

Algorithm + Strategy = Parallelism

Research output: Contribution to journalArticle

Author(s)

Kevin Hammond, PW Trinder, H-W Loidl, SL Peyton Jones

School/Research organisations

Details

Original languageEnglish
Pages (from-to)23-60
JournalJournal of Functional Programming
Volume8
Issue number1
StatePublished - 1998

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

View graph of relations

Related by author

  1. 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 journalArticle

  2. 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 journalArticle

  3. 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 journalArticle

  4. 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 journalArticle

Related by journal

  1. PAEAN: portable and scalable runtime support for parallel Haskell dialects

    Berthold, J., Loidl, H-W. & Hammond, K. 2016 In : Journal of Functional Programming. 26, 39 p., e10

    Research output: Contribution to journalArticle

  2. Ott: Effective tool support for the working semanticist

    Sewell, P., Nardelli, F. Z., Owens, S., Peskine, G., Ridge, T., Sarkar, S. & Strnisa, R. Jan 2010 In : Journal of Functional Programming. 20, 01, p. 71-122 52 p.

    Research output: Contribution to journalArticle

  3. The View from the Left

    McBride, C. & McKinna, J. H. Jan 2004 In : Journal of Functional Programming. 14, 1, p. 69-111 43 p.

    Research output: Contribution to journalArticle

ID: 103869