奥利弗·韦斯特法尔;贾尼斯·沃格特兰德 实施并检查电子学习中使用的DSL。 (英语) Zbl 07368091号 Nakano,Keisuke(编辑)等人,《功能和逻辑编程》。第十五届国际研讨会,FLOPS 2020,日本秋田,2020年9月14-16日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12073, 179-197 (2020).MSC公司:68N17号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{O.Westphal}和\textit{J.Voigtländer},莱克特。注释计算。科学。12073、179--197(2020;Zbl 07368091) 全文: 内政部
贾尼斯·沃格特兰德;胡镇江;松田和川;王蒙 通过形状双向化器插件增强语义双向化。 (英语) Zbl 1303.68039号 J.功能。程序。 23,第5号,515-551(2013). 审核人:尤里安·哈格(乌得勒支) MSC公司:68甲18 68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Voigtländer}等人,J.Funct。程序。23,第5号,515--551(2013;Zbl 1303.68039) 全文: 内政部
丹尼尔·塞德尔;Voigtländer,珍妮斯 证明涉及元素测试的列表上函数的属性。 (英语) Zbl 1312.68076号 Mossakowski,Till(编辑)等人,代数开发技术的最新趋势。2010年7月1日至4日,第20届WADT国际研讨会,德国埃特森。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-28411-3/pbk)。计算机科学课堂讲稿7137270-286(2012)。MSC公司:68第05页 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{D.Seidel}和\textit{J.Voigtländer},莱克托州。注释计算。科学。7137,270--286(2012;Zbl 1312.68076) 全文: 内政部
丹尼尔·塞德尔;贾尼斯·沃格特兰德 细化类型以定位强制严格性对自由定理的影响。 (英语) Zbl 1237.68051号 学报信息。 第3号第48页,第191-211页(2011年).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{D.Seidel}和\textit{J.Voigtländer},《学报》第48期,第3期,191--211(2011;Zbl 1237.68051) 全文: 内政部
贾尼斯·沃格特兰德 免费双向!(珀尔)。 (英语) Zbl 1315.68059号 2009年1月18日至24日,美国佐治亚州萨凡纳,POPL'09,第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-379-2)。165-176 (2009).MSC公司:68甲18 第68页第19页 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Voigtländer},in:第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集,POPL'09,佐治亚州萨凡纳,美国,2009年1月18-24日。纽约州纽约市:计算机协会(ACM)。165--176(2009年;Zbl 1315.68059) 全文: 内政部
弗洛里安·斯坦格;Voigtländer,珍妮斯 Haskell的参数性具有不精确的错误语义。 (英语) Zbl 1246.68087号 Curien,Pierre-Louis(编辑),《lambda计算类型和应用》。2009年7月1日至3日在巴西巴西利亚举行的2009年TLCA第九届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02272-2/pbk)。计算机科学课堂讲稿5608294-308(2009)。MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{F.Stenger}和\textit{J.Voigtländer},莱克特。注释计算。科学。5608294--308(2009年;Zbl 1246.68087) 全文: 内政部
帕特里夏·约翰;贾尼斯·沃格特兰德 类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},信息计算。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) 全文: 内政部 链接
帕特里夏·约翰;贾尼斯·沃格特兰德 存在seq的自由定理。 (英语) Zbl 1325.68047号 2004年1月14日至16日在意大利威尼斯举行的第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市:计算机协会(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年;Zbl 1325.68047) 全文: 内政部 链接