加文·M·比尔曼。;安德鲁·戈登。;Hriţcu，科特林;大卫·朗沃西 使用SMT解算器的语义子类型。 （英语） Zbl 1248.68131号 J.功能。程序。 22，第1期，31-105（2012）.MSC公司：68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{G.M.Bierman}等人，J.Funct。程序。22、第1号、第31--105号（2012；Zbl 1248.68131） 全文： 内政部
加文·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）。MSC公司：68甲18 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） 全文： 内政部