Skip to content

Research at St Andrews

Adam David Barwell

Person

  1. 2019
  2. Published

    Type-driven verification of non-functional properties

    Brown, C. M., Barwell, A. D., Marquer, Y., Minh, C. & Zendra, O., 7 Oct 2019, 21st International Symposium on Principles and Practice of Declarative Programming (PPDP 2019). New York: ACM, 15 p. 6

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. 2016
  4. Published

    Using “program shaping” and algorithmic skeletons to parallelise an evolutionary multi-agent system in Erlang

    Barwell, A. D., Brown, C. M., Hammond, K., Turek, W. & Byrski, A., 2016, In : Computing and Informatics. 35, 4, 37 p.

    Research output: Contribution to journalArticle

Top