Email (@st-andrews.ac.uk): ecb10
JC1.26 - Jack Cole Building, North Haugh
+44 (0)1334 46 3271
Home page: http://eb.host.cs.st-andrews.ac.uk
Botta, N, Ionescu, C
& Brady, EC
Sequential decision problems, dependently typed solutions
' Paper presented at CICM 2013: Conference on Intelligent Computer Mathematics, Bath, United Kingdom,
Epic—A Library for Generating Compilers
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.
& Hammond, K
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.