概述
辅导的:
机械化元理论 白鲸 (CADE-25教程),2015年8月 机械化 类型和编程语言:指南 :这是一个 这本书大致遵循了B.Pierce的书“类型和 编程语言”,并展示如何将材料机械化 在白鲸。 GitHub上提供了同伴的代码 (请参见 白鲸代码 ) 有关最新版本或贡献,请参阅我们的 github 存储库。
概述讲座:
白俄罗斯的机械化Meta-Theory 2015年6月,第二届程序转换和评估改写技术国际研讨会(WPTE 2015) 编程逻辑关系证明,Brigitte Pientka, 认证 高级和低级程序 2014年6月,法国巴黎亨利·彭加莱研究所( 幻灯片 ) Beluga mu:上下文中的编程证明,Brigitte Pientka,流行音乐研讨会,卡内基梅隆大学,2014年5月( 幻灯片 ) Beluga-mu:背景下的编程证明,Brigitte Pientka,受邀演讲 逻辑框架与元语言:理论与实践国际研讨会(LFMTP’12) . ( 幻灯片 )