玛丽亚·阿尔普特;萨尔瓦多卢卡斯;德国维达尔;迈克尔·哈纳斯 基于所需缩小范围的功能逻辑程序的专业化。 （英语） Zbl 1092.68018号 理论与实践。日志。程序。 5，第3号，273-303（2005）.MSC公司：68N17号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，《理论与实践》。日志。程序。5，第3号，273--303（2005；Zbl 1092.68018） 全文： DOI程序
玛丽亚·阿尔普特;迈克尔·哈纳斯;萨尔瓦多卢卡斯;德国维达尔 归纳顺序功能逻辑程序的专业化。 （英语） Zbl 1345.68090号 1999年9月27日至29日在法国巴黎举行的第四届ACM SIGPLAN功能编程国际会议记录，ICFP'99。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-111-9）。ACM SIGPLAN通知34，第9号，273-283（1999）。MSC公司：68号30 68N17号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，in：第四届ACM-SIGPLAN函数编程国际会议论文集，ICFP'99，巴黎，法国，1999年9月27-29日。纽约州纽约市：计算机协会（ACM）。273——283（1999年；Zbl 1345.68090） 全文： DOI程序