弗兰克·阿塔纳索夫;约翰·杰林 在泛型Haskell中使用类型同构推理自定义XML-Haskell-数据绑定。 (英语) Zbl 1109.68024号 科学。计算。程序。 65,第2期,72-107(2007).MSC公司:68甲15 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{F.Atanasso}和\textit{J.Jeuring},科学。计算。程序。65,No.2,72--107(2007;Zbl 1109.68024) 全文: 内政部
拉尔夫·欣泽;约翰·杰林;安德烈斯·洛赫 类型标识的数据类型。 (英语) Zbl 1091.68025号 科学。计算。程序。 51,编号1-2,117-151(2004).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{R.Hinze}等人,科学。计算。程序。51,编号1-2-117-151(2004年;兹bl 1091.68025) 全文: 内政部
帕特里克·詹森;约翰·杰林 多类型数据转换程序。 (英语) Zbl 1004.68043号 科学。计算。程序。 43,第1期,35-75(2002).MSC公司:68甲18 68米15 PDF格式BibTeX公司 XML格式引用 \textit{P.Jansson}和\textit{J.Jeuring},科学。计算。程序。43,第1号,第35--75条(2002年;Zbl 1004.68043) 全文: 内政部
约翰·杰林(编辑);克里斯蒂安·伦戈尔(编辑);玛丽·希兰(编辑) 程序构造数学专题。第四届国际会议,瑞典哥德堡附近的马斯特兰岛,1998年6月。 (英语) Zbl 0951.00052号 科学。计算。程序。 37,第1-3期,314页(2000年).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{J.Jeuring}(编辑)等,科学。计算。程序。37,编号1--3,314 ~ p.(2000;Zbl 0951.00052)