摘要
补充材料
阿瑟·巴尔斯（Arthur I.Baars）和斯威斯特拉（S.Doaitse Swierstra）。 类型安全，自检代码。 《哈斯克尔ACM SIGPLAN研讨会论文集》，第69-79页。 ACM出版社，2004年。 国际标准图书编号1-58113-850-4。 谷歌学者 
数字图书馆 
Per Bjesse、Koen Claessen、Mary Sheeran和Satnam Singh。 熔岩：哈斯克尔的硬件设计。 在函数式编程国际会议上，第174-184页，1998年。 谷歌学者 数字图书馆 Manuel M.T.Chakravarty、Gabriele Keller和Simon Peyton Jones。 关联的类型同义词。 《ICFP’05：第十届ACM SIGPLAN函数式编程国际会议论文集》，第241-253页，美国纽约州纽约市，2005年。 ACM公司。 国际标准书号1-59593-064-7。 谷歌学者 数字图书馆 科恩·克莱森。 用于描述和验证硬件的嵌入式语言。 查尔默斯理工大学计算机科学与工程系博士论文，2001年4月。 谷歌学者 科恩·克莱森和大卫·桑兹。 功能电路描述的可观察共享。 P.S.Thiagarajan和Roland H.C.Yap主编，《计算科学进展——亚洲’99》，《计算机科学讲义》第1742卷，第62-73页。 施普林格，1999年。 国际标准图书编号（ISBN）3-540-66856-X。 谷歌学者 数字图书馆 科纳尔·埃利奥特。 对图形处理器进行功能编程。 2004年哈斯克尔研讨会论文集。 ACM出版社，2004年。 谷歌学者 数字图书馆 Conal Elliott、Sigbjörn Finne和Oege de Moor。 编译嵌入式语言。 函数编程杂志，13（2），2003年。 谷歌学者 数字图书馆 J.Ellson、E.R.Gansner、E.Koutsofios、S.C.North和G.Woodhull。 Graphviz和dynagraph——静态和动态图形绘制工具。 M.Junger和P.Mutzel，编辑，phGraph Drawing Software，第127-148页。 Springer-Verlag，2003年。 谷歌学者 莱文特·埃尔克和约翰·朗奇伯里。 Haskell的递归do。 美国宾夕法尼亚州匹兹堡Haskell Workshop'02，第29-37页。 ACM出版社，2002年10月。 谷歌学者 数字图书馆 马克·琼斯。 具有重载和高阶多态性的函数式编程。 《高级函数编程》，第一届高级函数编程技术国际春季学校——教程，第97-136页，英国伦敦，1995年。 斯普林格·弗拉格。 是3-540-59451-5。 谷歌学者 数字图书馆 Mark P.Jones和Iavor S.Diatchki。 功能依赖的语言和程序设计。 在Haskell'08：关于Haskell的第一次ACM SIGPLAN研讨会的会议记录，第87-98页，美国纽约州纽约市，2008年。 ACM公司。 国际标准图书编号978-1-60558-064-7。 http://doi.acm.org/10.1145/1411286.1411298。 谷歌学者 数字图书馆 约翰·朗奇伯里（John Launchbury）。 懒惰评估的自然语义。 在POPL中，第144-154页，1993年。 谷歌学者 数字图书馆 Daan Leijen和Erik Meijer。 特定于域的嵌入式编译器。 第二届USENIX领域特定语言会议（DSL'99），第109-122页，德克萨斯州奥斯汀，1999年10月。 谷歌学者 数字图书馆 约翰·马修斯（John Matthews）、拜伦·库克（Byron Cook）和约翰·朗奇伯里（John Launchbury）。 Hawk中的微处理器规范。 在ICCL’98：国际计算机语言会议，第90-101页，1998年。 谷歌学者 数字图书馆 Conor McBride和Ross Patterson。 有效果的实用程序。 《功能编程杂志》，16（6），2006年。 谷歌学者 马特·莫罗。 真空。 hackage.haskell.org/package/vacuum。 谷歌学者 约翰·奥唐纳。 Hydra概述：一种用于同步数字电路设计的并发语言。 在并行和分布式处理研讨会上，第234-242页，2002年。 谷歌学者 数字图书馆 约翰·奥唐纳。 用纯函数语言从可执行电路规范生成网络列表。 函数编程，格拉斯哥，1992，计算机研讨会，第178-194页。 Springer-Verlag，1992年。 谷歌学者 数字图书馆 003）}Haskell98BookSimon Peyton Jones，编辑。 Haskell 98语言与图书馆——修订报告。 剑桥大学出版社，英国剑桥，2003年。 谷歌学者 西蒙·佩顿·琼斯、西蒙·马洛和科纳尔·埃利奥特。 扩展存储管理器：Haskell中的弱指针和稳定名称。 1999年9月，荷兰LNCS第11届函数式语言实施国际研讨会论文集。 斯普林格·弗拉格。 谷歌学者 数字图书馆 理查德·夏普。 使用行为和结构组件的功能设计。 《FMCAD’02：第四届计算机辅助设计形式方法国际会议论文集》，第324-341页，英国伦敦，2002年。 施普林格——维拉格。 国际标准图书编号（ISBN）3-540-00116-6。 谷歌学者 数字图书馆 蒂姆·谢尔德（Tim Sheard）和西蒙·佩顿·琼斯（Simon Peyton Jones）。 Haskell的模板元编程。 ACM SIGPLAN Haskell Workshop 02编辑Manuel M.T.Chakravarty，第1-16页。 ACM出版社，2002年10月。 谷歌学者 数字图书馆 萨特南·辛格（Satnam Singh）和菲尔·詹姆斯·罗克斯比（Phil James-Roxby）。 Lava和jbits：从hdl到比特流只需几秒钟。 FCCM’01：第九届IEEE现场可编程定制计算机研讨会论文集，第91-100页，美国华盛顿特区，2001年。 IEEE计算机学会。 国际标准图书编号0-7695-2667-5。 谷歌学者 数字图书馆
建议
鱿鱼：类型安全、卫生且可重复使用的准引号 SCALA 2017：第八届ACM SIGPLAN SCALA国际研讨会会议记录 准引号已被证明可以大大简化元编程任务。 这在一定程度上是因为它们隐藏了中间表示（IR）的数据结构，而允许元编程人员使用他们。。。 领域特定语言的抽象语法图 PEPM’13：ACM SIGPLAN 2013部分评估和程序操作研讨会会议记录 本文提出了一种使用抽象语法图（ASG）表示嵌入式领域特定语言（EDSL）的方法。 这种表示的目的是处理定义需要观察或保存的操作的重要问题。。。
