Scalable Language Specification 2013
- Kevin Hammond | University of St Andrews
Compositional resource analysis in Hume using automatic amortisation
Speaker Details
I’m a (full) Professor in Computer Science, in the School of Computer Science, at the University of St. Andrews, St. Andrews, Scotland, where I lead the Functional Programming research group. I am also an Honorary Professor at Heriot-Watt University, Edinburgh, Scotland. My main interests are in cost modelling, parallelism and real-time and embedded systems.
-
-
Jeff Running
-
Watch Next
-
Dion2: A new simple method to shrink matrix in Muon
- Anson Ho,
- Kwangjun Ahn
-
-
-
-
-
-
Beyond Swahili: Designing Inclusive AI for Bantu Languages
- Alfred Malengo Kondoro
-
-
-
GeoMind: A Multi-Agent Framework for Geospatial Decision Support
- Muhammad Sohail Danish