帕特里夏·约翰;尼尔·加尼 Haskell中使用嵌套类型编程的原则方法。 （英文） Zbl 1183.68141号 高-订购符号。计算。 22，第2期，155-189（2009）.MSC公司：68甲15 PDF格式BibTeX公司 XML格式引用 \textit{P.Johann}和\textit{N.Ghani}，高-订购符号。计算。22，编号2155-189（2010年；兹bl 1183.68141） 全文： 内政部
帕特里夏·约翰;Voigtländer，珍妮斯 类Haskell语言语义的一系列句法逻辑关系。 （英文） Zbl 1165.68024号 Inf.计算。 207，第2期，341-368（2009）.MSC公司：68甲18 68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.Johann}和\textit{J.Voigtländer}，Inf.Compute。207，第2号，341--368（2009；Zbl 1165.68024） 全文： 内政部 链接
贾尼斯·沃格特兰德;帕特里夏·约翰 结构操作语义中的选择性严格性和参数不等式性。 （英文） Zbl 1143.68041号 西奥。计算。科学。 388，编号1-3，290-318（2007）.MSC公司：68问题55 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{J.Voigtländer}和\textit{P.Johann}，Theor。计算。科学。388，编号1--3，290-318（2007；Zbl 1143.68041） 全文： 内政部 链接
尼尔·加尼;帕特里夏·约翰;塔尔莫乌斯塔卢;瓦尔莫·维尼 一元增强和广义捷径融合。 （英文） Zbl 1302.68079号 2005年9月26日至28日，爱沙尼亚塔林，ICFP'05，第十届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-59593-064-7）。ACM SIGPLAN Notices 40，No.9，294-305（2005）。MSC公司：68甲19 PDF格式BibTeX公司 XML格式引用 \textit{N.Ghani}等人，《第十届ACM SIGPLAN函数式编程国际会议论文集》，ICFP'05，爱沙尼亚塔林，2005年9月26-28日。纽约州纽约市：计算机协会（ACM）。294--305（2005；Zbl 1302.68079） 全文： 内政部
帕特里夏·约翰;贾尼斯·沃格特兰德 存在seq的自由定理。 （英文） Zbl 1325.68047号 第31届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集，POPL’04，意大利威尼斯，2004年1月14日至16日。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-729-X）。99-110 (2004).MSC公司：68甲18 68甲15 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.Johann}和\textit{J.Voigtländer}，摘自：第31届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'04，意大利威尼斯，2004年1月14-16日。纽约州纽约市：计算机协会（ACM）。99-110（2004年；兹bl 1325.68047） 全文： 内政部 链接