尼尔·斯卡索普;简·布拉克;乔治·乔治泽;安迪·吉尔 约束模态问题。 (英语) Zbl 1323.68157号 2013年9月25日至27日在美国马萨诸塞州波士顿举行的第18届ACM SIGPLAN功能编程国际会议记录,ICFP’13。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2326-0)。ACM SIGPLAN通知48,第9号,287-298(2013)。 引用于2文件 MSC公司: 68甲18 函数编程和lambda演算 68号30 软件工程的数学方面(规范、验证、度量、需求等) 关键词:类约束;深埋件;哈斯克尔;单子 软件:哈斯克尔;蒙纳德;单行提示符 PDF格式BibTeX公司 XML格式引用 \textit{N.Sculthorpe}等人,in:第18届ACM SIGPLAN函数编程国际会议论文集,ICFP’13,美国马萨诸塞州波士顿,2013年9月25-27日。纽约州纽约市:计算机协会(ACM)。287-298(2013年;兹bl 1323.68157) 全文: 内政部 链接