Course on Dependently Typed Metaprogramming, 2013-14 Share This PageCourse on Dependently Typed Metaprogramming, 2013-14
All day Theoretical Computer Science Education (TCSEd) in Scotland: Current Practices and Future Directions University of Strathclyde
20 July @ 12:00 am - 23 July @ 12:00 am 45th IEEE International Conference on Distributed Computing Systems