Email (@st-andrews.ac.uk): ecb10
JC1.26 - Jack Cole Building, North Haugh
+44 (0)1334 46 3271
Home page: https://eb.host.cs.st-andrews.ac.uk
Botta, N, Ionescu, C & Brady, EC
2013, 'Sequential decision problems, dependently typed solutions
' Paper presented at CICM 2013: Conference on Intelligent Computer Mathematics, Bath, United Kingdom, 8/07/13
2012, Epic—A Library for Generating Compilers
. in Trends in Functional Programming: 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers.
Lecture Notes in Computer Science, vol. 7193, Springer-Verlag, pp. 33-48, 12th International Symposium, Trends in Functional Programming (TFP) 2011, Madrid, Spain, 16-18 May. DOI: 10.1007/978-3-642-32037-8_3
Brady, EC & Hammond, K
2012, Resource-Safe Systems Programming with Embedded Domain Specific Languages
. in C Russo & N-F Zhou (eds), Practical Aspects of Declarative Languages: 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings.
vol. 7149, Lecture Notes in Computer Science, Springer, pp. 242-257, 14th International Symposium, PADL 2012, Philadelphia, PA, United States, 23-24 January. DOI: 10.1007/978-3-642-27694-1_18