St Andrews Functional Programming Group

Mr Franck Slama

Mr Franck Slama

Mr Franck Slama

Research Student - School of Computer Science

Email (@st-andrews.ac.uk): fs39

Office: JC0.16

Web: https://fs39.host.cs.st-andrews.ac.uk

Phone: +44 (0)1334 461627

Full research profile

Recent Publications

  • Slama, F & Brady, EC 2017, Automatically proving equivalence by type-safe reflection. in H Geuvers, M England, O Hasan, F Rabe & O Teschke (eds), Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence), vol. 10383, Springer, Cham, pp. 40-55, 10th Conference on Intelligent Computer Mathematics (CICM 2017), Edinburgh, United Kingdom, 17-21 July. DOI: 10.1007/978-3-319-62075-6_4