SAFE共享分析

里卡多·佩尼亚·玛丽亚,克拉拉·塞古拉,曼努埃尔黑山SAFE共享分析亨利克·尼尔森,编辑器,2006年4月19日至21日在英国诺丁汉举行的2006年TFP第七届函数式程序设计趋势研讨会的修订论文集第7卷,共页函数式编程趋势,页109-128,智力,2006

摘要

缺少摘要。