弗兰克·阿塔纳索夫；约翰·杰林 在泛型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 1106.68337号 德克斯特（编辑），《程序构建的数学》。2004年7月12日至14日在英国苏格兰斯特林举行的2004年MPC第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22380-0/pbk）。计算机科学课堂讲稿312532-53（2004）。MSC公司：68号30 68甲18 PDF格式BibTeX公司 XML格式引用 \textit｛F.Atanassow｝和\textit｛J.Jeuring｝，Lect。注释计算。科学。3125，32-53（2004年；兹bl 1106.68337） 全文： 内政部