朱塞佩·卡斯塔尼亚 协方差和控制：重新审视旧问题（学习函数式程序员的高级类型系统入门）。 （英语） Zbl 1528.68059号 日志。方法计算。科学。 16，第1号，第15号论文，58页（2020年）.MSC公司：68甲18 68甲15 68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.Castagna}，日志。方法计算。科学。16，第1号，第15号论文，58页（2020年；Zbl 1528.68059） 全文： arXiv公司
朱塞佩·卡斯塔尼亚;Nguyen，Kim（金·阮） XML的类型迭代器。 （英语） Zbl 1323.68065号 2008年9月20日至28日，加拿大不列颠哥伦比亚省维多利亚市，第13届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-59593-919-7）。ACM SIGPLAN公告43，第9号，第15-26页（2008年）。MSC公司：68甲15 68甲18 68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.Castagna}和\textit{K.Nguyen}，in：第13届ACM SIGPLAN函数式编程国际会议论文集，ICFP'08，加拿大不列颠哥伦比亚省维多利亚市，2008年9月20-28日。纽约州纽约市：计算机协会（ACM）。15-26（2008；Zbl 1323.68065） 全文： 内政部
米歇尔·布格列西;朱塞佩·卡斯塔尼亚;西尔维亚·克拉法 移动对象的子类型和匹配。 （英语） Zbl 1042.68537号 安东尼奥·雷斯蒂沃（编辑）等人，《理论计算机科学》。第七届意大利会议，ICTCS 2001，意大利都灵，2001年10月4-6日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42672-8）。莱克特。注释计算。科学。2202, 235-255 (2001).MSC公司：68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Bugliesi}等人，Lect。注释计算。科学。2202235-255（2001年；Zbl 1042.68537） 全文： 链接
米歇尔·布格列西;朱塞佩·卡斯塔尼亚;西尔维亚·克拉法 键入的移动对象。 （英语） Zbl 0999.68505号 Palamidessi，Catuscia（编辑），CONCUR 2000-并发理论。2000年8月22日至25日，第11届国际会议，美国宾夕法尼亚州大学公园。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1877, 504-520 (2000).MSC公司：68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bugliesi}等人，Lect。注释计算。科学。1877504-520（2000年；Zbl 0999.68505）
朱塞佩·卡斯塔尼亚 微积分中参数和“特殊”二阶多态性与子类型的集成。 （英语） Zbl 0852.68011号 正式Asp。计算。 8，第3期，247-293（1996）.MSC公司：68甲15 PDF格式BibTeX公司 XML格式引用 \textit{G.Castagna}，正式Asp。计算。8，第3号，247--293（1996；Zbl 0852.68011） 全文： 内政部
朱塞佩·卡斯塔尼亚 面向对象编程。一个统一的基础。 （英语） Zbl 0871.68024号 理论计算机科学进展。巴塞尔：Birkhä用户。第十八章，第366页（1996年）。 审核人：T.Bélénescu（布库雷什蒂） MSC公司：68号01 68-01 PDF格式BibTeX公司 XML格式引用 \textit{G.Castagna}，面向对象编程。统一的基础。巴塞尔：Birkhäuser（1996；Zbl 0871.68024）
朱塞佩·卡斯塔尼亚;乔治·盖利;朱塞佩·隆戈 \（\lambda\）的语义&-早期的：具有重载和早期绑定的演算。 （英语） Zbl 0797.68027号 Bezem，Marc（编辑）等人，《类型化Lambda结石及其应用》。1993年3月16日至18日在荷兰乌得勒支举行的1993年TLCA国际会议。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。664, 107-123 (1993).MSC公司：68甲15 68问题55 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{G.Castagna}等人，Lect。注释计算。科学。664107-123（1993年；Zbl 0797.68027）