Research是一个由研究人员为研究人员查找、收集、共享和审阅科学出版物的网站。
注册对于一个帐户,可以创建一个带有出版物列表的配置文件,标记并审阅您的相关工作,以及与您的合著者共享书目。
里卡多·佩尼亚·玛丽亚,克拉拉·塞古拉,曼努埃尔黑山。SAFE共享分析。在亨利克·尼尔森,编辑器,2006年4月19日至21日在英国诺丁汉举行的2006年TFP第七届函数式程序设计趋势研讨会的修订论文集。第7卷,共页函数式编程趋势,页109-128,智力,2006
缺少摘要。