加文·M·比尔曼。;安德鲁·戈登。;Hriţcu，科特林;大卫·朗沃西 使用SMT解算器的语义子类型。 （英语） 兹比尔1323.68096 2010年9月27日至29日，美国马里兰州巴尔的摩ICFP’10第15届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-60558-794-3）。ACM SIGPLAN Notices 45，No.9，105-116（2010）。 引用于3文件 MSC公司： 68甲18 函数编程和lambda演算 68号30 软件工程的数学方面（规范、验证、度量、需求等） 68问题55 计算理论中的语义学 关键词：数据处理;可满足性模理论;语义子类型;类型系统 PDF格式BibTeX公司 XML格式引用 \textit{G.M.Bierman}等人，in：第15届ACM SIGPLAN函数编程国际会议论文集，ICFP’10，美国马里兰州巴尔的摩，2010年9月27日至29日。纽约州纽约市：计算机协会（ACM）。105-116（2010年；Zbl 1323.68096） 全文： 内政部