An short interview with Dana Scott Dana Scott was awarded the ACM Turing award in 1976 for laying the foundations of the modern approach to the semantics of programming languages. What is your opinion on the future of software verification? DS: … 26. Sep 2013 | By Johan Georg Granström | 0 comments
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