依赖类型理论中的面向对象编程

安东·塞泽尔.依赖类型理论中的面向对象编程.亨利克·尼尔森,编辑器,2006年4月19日至21日在英国诺丁汉举行的2006年TFP第七届函数式程序设计趋势研讨会的修订论文集.第7卷,共页函数式编程趋势,页91-108、智能、,2006

摘要

缺少摘要。