Workshop on programming with dependent types This is a short report from my workshop on programming with dependent types, which took place at the Heidelberg Laureate Forum, September 23, 2013. There were 18 participants in the workshop, including four ACM Turing … 24. Sep 2013 | By Johan Georg Granström | 0 comments