Course on Dependently Typed Metaprogramming, 2013-14 Share This PageCourse on Dependently Typed Metaprogramming, 2013-14
Hybrid Hybrid Event All day 1st International Workshop on Low carbon Computing (LOCO 2024) Advanced Research Centre (ARC) Glasgow +1 more Organiser: SICSA https://www.sicsa.ac.uk/loco/loco2024/