Skip to content

Research at St Andrews

University > Research portal > Research publications > Large Scale Functional Applications

Large Scale Functional Applications

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

Author(s)

PW Trinder, H-W Loidl, Kevin Hammond

School/Research organisations

Details

Original languageEnglish
Title of host publicationResearch Directions in Parallel Functional Programming
EditorsK Hammond, GJ Michaelson
PublisherSpringer-Verlag
Pages399-423
StatePublished - 1999
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: 237974