{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,4,2]，“日期时间”：“2024-04-02T17:22:56Z”，“时间戳”：1712078576762}，“出版商位置”：“柏林，海德堡”，“参考计数”：58，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540221197”，“类型”：“打印”}，{“值”：“9783540259350”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2004]]}，”DOI“：”10.1007\/978-3-540-25935-0_4“，”type“：”book-capter“，”created“：”{“date-part”：[2010,7,22]]，“date-time”：“2010-07-22T19:46:50 Z“，”时间戳“：1279828010000}，”页面“：”51-72“，“source”：“Crossref”，“is-referenced-by-count”：38，“title”：[“MetaOCaml、Template Haskell和C++中的DSL实现”]，“prefix”：“10.1007”，”author“：[{”given“：”Krzysztof“，”family“：”Czarnecki“，”sequence“：”first“，”affiliation“：[]}，{”given“，”John T.“，“family”：“O\u2019Donnell”，“sequence”：“additional”，“afliation”：[]{“given”“：”J\u00f6rg“，”family“：“Striegnitz”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Walid”，“family”：“Taha”，“serquence”:“additionable”，“abfiliation“：[]]]，“member”：“297”，“reference”：[{“issue”：“1”，“key”：”4_CR1“，“doi-asserted-by”：”publisher“，”first page“174”，“doi”：“10.1145\/291251.289440”，”卷：“34”，“author”：“P.Bjesse”，“年份”：“1999年”，“非结构化”：“Bjesse，P.，Claessen，K.，Sheeran，M.，Singh，S.：Lava:Haskell中的硬件设计。ACM SIGPLAN通知\u00a034（1），174\u2013184（1999）”，“日志标题”：“ACM SIGPLAN通知”}，{“key”：“4_CR2”，“series-title”：“计算机科学课堂笔记”，“doi-asserted-by”：“publisher”，“首页”：“57”，“doi”：“10.1007\/978-3540-39815-8_4”，“卷时间”：“生成性编程和组件工程”，“作者”：“C.Calcagno”，“年份”：“2003年”，“非结构化”：“Calcagno，C.，Taha，W.，Huang，L.，Leroy，X.：使用asts，gensym和reflection实现多阶段语言。收录：Pfenning，F.，Smaragdakis，Y.（编辑）GPCE 2003。LNCS，第u00a02830卷，第57\u201376页。Springer，Heidelberg（2003）“}，{“key”：“4_CR3”，“volume-title”：“OpenMP++中的并行编程”，“author”：“R.Chandra”，“year”：“2000”，“unstructured”：“Chandra，R.，Dagum，L.，Kohr，D.：OpenMP++的并行编程。Morgan Kaufmann，San Francisco（2000）”}，}，“key“：”4_CR4“volume-title”，“声明性语言实用方面研讨会论文集”，“作者”：“A.Courtney”，“年份”：“2001”，“非结构化”：“Courtney，A.：Frapp\u00e9：Java中的函数式反应式编程。收录于：声明性语言的实践方面研讨会论文集。ACM，New York（2001）“}，{”key“：”4_CR5“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“18”，”doi“：”10.1007\/3-540-48743-3_2“，”volume-title“：“ECOOP\u201999-面向对象编程”，“author”：“K.Czarnecki”，“year”：“1999”，“unstructured”：“Czarnecki，K.，Eisenecker，U.W.：合成对象。在：Guerraoui，R.（编辑）ECOOP 1999。LNCS，第u00a01628卷，第18\u201342页。Springer，Heidelberg（1999）“｝，｛“key”：“4_CR6”，“volume title”：“生成编程：方法、工具和应用程序”，“author”：“K.Czarnecki”，“year”：“2000”，“nonstructured”：“Czarnecki，K.，Eisenecker，U.W.：生成编程：方法、工具和应用程序。Addison Wesley，Reading（2000）”｝，｛“key”：“4_CR7”，“nonstructured”：“Czarnecki，K.，Eisenecker，U.W.：配置生成器的命名参数（2000），http://www.generative-programming.org，namedparams\/“}，{“key”：“4_CR8”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first-page”：“25”，“doi”：“10.1007”\/3-540-39953-4_3“，”volume-title“：“Generic programming”，“author”：“K。Czarnecki，“年份”：“2000年”，“非结构化”：“Czarnecki，K.，Eisenecker，U.W.，Gl\u00fcck，R.，Vandevorde，D.，Veldhuizen，T.：生成编程和活动库（扩展抽象）。摘自：Jazayeri，M.，Musser，D.R.，Loos，R.G.K.（编辑）Dagstuhl研讨会1998。LNCS，第u00a01766卷，第25\u201339页。Springer，Heidelberg（2000）“}，{”issue“：”1“，”key“：”4_CR9“，”first page“：“1”，“volume”：“13”，”author“：”S.P.Jones“，”year“：”2003“，”unstructured“：”Jones，S.P.（ed.）：Haskell 98 language and librarys.Journal of Functional Programming \u00a013（1），1\u2013255：“crossref“，”unstructured“：”Elliott，C.，Finne，S.，de Moore，O.：编译嵌入式语言。收录于：[48]，pp.9\u201327（2000）“，”DOI“：”10.1007\/3-540-45350-4_5“}，{“key”：“4_CR11”，“DOI-asserted-by”：“crossref”，“unstructured”：“Elliott，C.，Hudak，P.：功能反应动画。收录于《函数编程国际会议》，1997年6月，pp.163\u2013173（1997）“，“DOI”：“10.1145\/258948.258973”}，“{”key“：”4_CR12“，”DOI-assert-by“：”crossref“，”非结构化“：”Finne，S.，Peyton Jones，S.L.：图片：一个简单的结构化图形模型。In:Proceedings of Glasgow Functional Programming Workshop（1995年7月）“，”DOI“：”10.14236\/ewic\/FP1996.6“}，{”issue“：”5“，”key“：”4_CR13“，”first page“：“45”，“volume”：“2”，“author”：“Y.Futamura”，“year”：“1971”，“unstructured”：“Futamula，Y.：计算的部分评估：编译器的方法。系统，计算机，控制\u00a02（5），45\u201350（1971）“，”journal-title“：“系统、计算机、控制”}，{“key”：“4_CR14”，“volume-title”：“函数式编程国际会议（ICFP 2001）”，“author”：“S.Ganz”，“year”：“2001”，“unstructured”：“Ganz，S.，Sabry，A.，Taha，W.：作为多阶段计算的宏：在MacroML中键入安全的、生成的、绑定的宏。摘自：函数式编程国际会议（ICFP 2001），意大利佛罗伦萨，2001年9月。ACM，New York（2001）“}，{“key”：“4_CR15”，“unstructured”：“Gurtovoy，A.：Boost MPL Library（Template metaprogramming framework），http://www.Boost.org\/libs\/MPL\/doc\/”}，“key“：”4_CR16“，”doi-asserted-by“：”crossref“，”unstructure“：”Hammond，K.，Loogen，R.，Berhold，J.：模板Haskell中的自动骨架。收录于：《2003年高级并行编程研讨会论文集》，法国巴黎（2003年6月），“DOI”：“10.1142\/S0129626403001380”}，{“key”：“4_CR17”，“unstructured”：“Haney，S.，Crotinger，J.，Karmesinpublisher“，”first page“：”465“，”DOI“：”10.1017\/S0956796800001805“，“volume”：“6”，“author”：“P.Hudak”，“year”：“1996”，“unstructured”：“Hudak，P.，Makucevich，T.，Gadde，S.，Whong，B.：Haskore music notation \u2013音乐代数。函数编程杂志\u00a06（3），465\u2013483（1996）“，“Journal-title”：“函数编程杂志”}，{“key”：“4_CR19”，“doi-asserted-by”：“crossref”，“unstructured”：“Hudak，P.：构建特定领域的嵌入式语言。ACM Computing Surveys \u00a 028A（electronic）（1996年12月）”，“doi”：“10.1145 \/24242477”}doi-asserted-by“：”crossref“，”doi“：”10.1017\/CBO9780511818073“，”volume-title“：”The Haskell School of Expression \u2013 Learning Functional Programming through Multimedia“，”author“：”P.Hudak“，”year“：”2000“，”unstructured“：”Hudak，P.：”The Haskell School of Expression \u 2013 Learng Functional Programming through Mediameria“，”。剑桥大学出版社，纽约（2000）“}，{”key“：“4_CR21”，”doi-asserted-by“：”crossref“，”first page“：”11“，”doi“：”10.1007\/3-540-56625-2_3“，“volume-title”：“程序构造的数学；第二届国际会议；论文集”，“author”：“J.Hughes”，“year”：“1993”，“unstructured”：“Hughes，J.：漂亮打印：函数编程练习。In:Bird，R.S.，Morgan，C.C.，Woodcock，J.C.P.（编辑）《程序构造的数学》；第二届国际会议；《会议记录》，德国柏林，第11\u201313页。Springer，Heidelberg（1993）“}，{“key”：“4_CR22”，“unstructured”：“Hutton，G.：Combinator parsing.Journal of Functional Programming（1993）”}，}“key:”4_CR23“，”unstructure“：”ISO\/IEC.Programming-languages\u2013 C++.ISO\/IEC 14882 Standard（2003年10月）J\u00e4rvi，J.，Powell，G.：lambda库：C++中的lambda抽象。In:第二届C++模板编程研讨会，美国佛罗里达州坦帕湾（2001年10月）“}，{“key”：“4_CR25”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“crossref”，“first page”：《216》，“doi”：“10.1007\/3-540-61580-6_11”，“volume-title”：《Partial Evaluation》，“author”：“N.D.Jones”，“year”：“1996”，“unstructured”：“琼斯，N.D.：为专业化编写口译员时应该做什么。在：Danvy，O.，Thiemann，P.，Gl\u00fcck，R.（编辑）Dagstuhl研讨会1996。LNCS，第u00a01110卷，第216\u2013237页。Springer，Heidelberg（1996）“}，{“key”：“4_CR26”，“volume-title”：“部分评估和自动程序生成”，“author”：“N.D.Jones”，“year”：“1993”，“unstructured”：“Jones，N.D.，Gomard，C.K.，Sestoft，P.：部分评估和程序自动生成。Prentice-Hall，Englewood Cliffs（1993）”}，}，“key“：”4_CR27“series-title”：”计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：“91”，“doi”：“10.1007\/BFb0054088”，“volume-title”：“ECOOP\u201998-面向对象编程”，“author”：“S.Krishnamurthi”，《年份》：“1998”，“unstructured”：“Krishnamurthi，S.，Felleisen，M.，Friedman，D.P.：综合面向对象和功能设计，以促进重用。收录于：Jul，E.（编辑）ECOOP 1998。LNCS，第u00a01445卷，第91\u2013113页。Springer，Heidelberg（1998）“}，{”key“：”4_CR28“，”unstructured“：”Lynagh，I.：Template Haskell:A report from the field（2003年5月），http://web.comlab.ox.ac.uk \/oucl \/work \/ian.Lynagh \/papers\/“}”，{“key”：“4_CR29”，“unstructure”：，http:\/\/web.comlab.ox.ac.uk\/oucl\/work\/ian.lynagh\/papers\/“｝，｛“key”：“4_CR30”，“非结构化”：“Maddock，J.，Cleary，S.等人：Boost类型特征库，http:\/\/www.Boost.org/libs\/typetracts\/”｝，｛“key”：“4_CR31”，“首页”：“90”，“卷标题”：“1998年国际计算机语言会议论文集”，“作者”：“J.Matthews”，“年份”：“1998年”，“非结构化”：“Matthews，J.，Cook，B.，Launchbury，J.：Hawk中的微处理器规范。摘自：《1998年国际计算机语言会议记录》，第90\u2013101页。IEEE计算机学会出版社，洛斯阿拉米托斯（1998）“}，{“key”：“4_CR32”，“doi asserted by”：“crossref”，“nonstructured”：“Mauny，M.：作为嵌入函数语言的流析构函数的解析器和打印机。在：函数编程语言和计算机体系结构会议论文集，第360\u2013370页。ACM\/IFIP（1989）“，”DOI“：”10.1145\/99370.99405“}，{“key”：“4_CR33”，“unstructured”：“MetaOCaml:一种编译的、类型安全的多阶段编程语言（2003），可从以下网址在线获得：http://www.MetaOCaml.org\/“}、{“key”：”4_CR34“，”DOI-asserted-by“：”crossref“，”unstructure“：”Moggi，E.：计算和单子的概念。信息与计算\u00a093（1）（1991）“，”DOI“：”10.1016\/0890-5401（91）90052-4“}，{”key“：”4_CR35“，”unstructured“：”Myers，N.C.：特征：一种新的有用的模板技术。C++Report 7（5）（1995年6月）“}”，{“key”：“4_CR36”，“DOI-asserted-by”：“publisher”，“first page”：”234“，”DOI“：“10.1109\/IPDPS.2002.1016653”，“volumeme title“：”第16届国际并行与分布式处理研讨会论文集”，“作者”：“J.O\u2019Donnell”，“年份”：“2002年”，“非结构化”：“O\u209Donnel，J.：Hydra概述：同步数字电路设计的并发语言。摘自：《第16届国际并行与分布式处理研讨会论文集》，2002年4月，第234页。IEEE计算机学会，Los Alamitos（2002）；并行和分布式科学与工程计算与应用研讨会\u2013 PDSECA（摘要）“}，{“问题”：“2”，“密钥”：“4_CR37”，“doi-asserted-by”：“出版商”，“首页”：“195”，“doi”：“10.1017\/S095679688003001”，“卷”：“8”，“作者”：“C.Okasaki”，“年份”：“1998”，“非结构化”：“Okasaki，C.：甚至用于解析的高阶函数，或者为什么有人想要使用六阶函数？函数编程杂志\u00a08（2），195\u2013199（1998）“，”Journal-title“：”Journal of Functional Programming“}，{“key”：“4_CR38”，“unstructured”：“俄勒冈州研究生院技术报告，邮政信箱91000，波特兰，俄勒冈97291-1000，美国。在线获取地址：ftp:\/\/cse.ogi.edu\/pub\/tech-Reports\/README.html”}，“key“：”4_CR39“，“volume-title”：“函数式编程国际会议（ICFP 2002）”，“作者”：“E.Pa\u0161ali\u0107”，“年份”：“2002”，“非结构化”：“Pa\u061ali\u0117，E.，Taha，W.，Sheard，T.：类型化语言的无标记分段翻译。摘自：函数编程国际会议（ICFP 2002），美国匹兹堡，2002年10月。ACM，New York（2002）“}，{”key“：”4_CR40“，”doi-asserted-by“：”crossref“，”unstructured“：”Peterson，J.，Hager，G.，Hudak，P.：声明性机器人编程语言。In:IEEE Conf.on Robotics and Automation（1999）“，”doi“：”10.1109\/ROBOT.1999.72516“}”，{“key”：“4_CR41”，“doi-assert-by”：“publisher”，“first page”：第71页，“doi”：“”10.1145\/158511.158524“，“volume-title”：“编程语言原理研讨会（POPL 1993）”，“author”：“S.P.Jones”，“year”：“1993”，“unstructured”：“Jones，S.P.，Wadler，P.：强制函数编程。摘自：编程语言原理研讨会（POPL 1993），1993年1月，第71\u201384页。ACM，纽约（1993）“}，{“key”：“4_CR42”，“unstructured”：“Rice Students.Multi-stage programming course projects（2000），http://www.cs.Rice.edu\/~taha\/teaching\/”}，“{”key“：”4_CR43“，”doi-asserted-by“：”crossref“，”unstructure“：”Sheard，T.，El-Abidine Benaissa，Z.，Pa\u0161ali\u0107，E.：使用分段和单子的DSL实现。收录于：第二届领域特定语言会议（DSL 1999），德克萨斯州奥斯汀，USENIX（1999）“，”DOI“：”10.1145\/331960.331975“}，{”key“：”4_CR44“，”DOI-asserted-by“：”publisher“，”first page“：“1”，”DOI:“10.1145\/581690.581691”，“volume-title”：“ACM SIGPLAN Haskell Workshop 2002”，“author”：“T.Sheard”，“year”：“2002”，”unstructured“：”Sheard，T.，Jones，S.P.：Haskell的模板元编程。摘自：Chakravarty，M.M.T.（编辑）ACM SIGPLAN Haskell Workshop 2002，2002年10月，pp.1\u201316。ACM Press，New York（2002）“}，{”key“：”4_CR45“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“550”，”doi“：”10.1007\/BFb0054107“，”volume-title“：“ECOOP\u201998-面向对象编程”，“author”：“Y.Smaragdakis”，“year”：“1998”，“unstructured”：“Smaragdakis，Y.，Batory，D.：使用混合层实现分层设计。收录于：Jul，E.（编辑）ECOOP 1998。LNCS，第u00a01445卷，第550\u2013570页。Springer，Heidelberg（1998）“}，{“key”：“4_CR46”，“unstructured”：“Striegnitz，J.，Smith，S.：一个支持表达式模板的lambda函数。In：C++模板编程第一次研讨会，德国埃尔福特（2000年10月）”}，}Taha，W.：多阶段编程：理论与应用。俄勒冈科学技术研究生院博士论文（1999年）；可从[38]“}获得，{“key”：“4_CR48”，“series-title”：“计算机科学课堂讲稿”，“volume-title”：《程序生成的语义、应用和实现》，“year”：“2000”，“unstructured”：“Taha，W.（ed.）：SAIG 2000。LNCS，卷\u00a01924。Springer，Heidelberg（2000）“}，{“key”：“4_CR49”，“volume-title”：“部分评估和基于语义的程序操作（PEPM）研讨会论文集”，“author”：“W.Taha”，“year”：“2000”，“unstructured”：“Taha，W.：非类型CBN多级计算的降噪语义。或者，MetaML的理论是非平凡的。摘自：《部分评估和基于语义的程序操作（PEPM）研讨会论文集》，波士顿。美国计算机学会出版社，纽约（2000）“}，{”key“：”4_CR50“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“97”，“doi”：“10.1007\/978-3-540-39815-8_6”，“volume-title”：“Generative Programming and Component Engineering”，“author”：“W.Taha”，“year”：“2003”，“unstructured”：“Taha，W.，Johann，P.：分段符号定义。收录：Pfenning，F.，Smaragdakis，Y.（编辑）GPCE 2003。LNCS，第u00a02830卷，第97\u2013116页。Springer，Heidelberg（2003）“}，{”key“：”4_CR51“，”doi-asserted-by“：”publisher“，”first page“：“203”，”doi“：”10.1145\/258993.259019“，”volume-title“：”Partial Evaluation and Semantical Program Manipulation（PEPM）“，”author“：”W.Taha“，”year“：”1997“，”unstructured“：”Taha，W.，Sheard，T.：带有显式注释的多级编程。摘自：《部分评估和基于语义的程序操作（PEPM）研讨会论文集》，阿姆斯特丹，第203\u2013217页。ACM Press，New York（1997）“}，{”key“：”4_CR52“，”doi-asserted-by“：”crossref“，”unstructured“：”Taha，W.，Sheard，T.：MetaML:带显式注释的多级编程。理论计算机科学\u00a0248（1-2）（2000）“，”doi“：”10.1016\/S0304-3975（00）00053-0“}”{“key”：“4_CR53”，“doi-assert-by”：“crossreff”，“unstructure”：“”Thiemann，P.：领域特定语言的可编程类型系统。收录：Comini，M.，Falaschi，M.（编辑）。理论计算机科学电子笔记，vol.\u00a076。Elsevier，Amsterdam（2002）“，“DOI”：“10.1016\/S1571-0661（04）80796-5”}，{“key”：“4_CR54”，“unstructured”：“Unruh，E.：素数计算。内部文件，ANSI X3J16-94-0075\/ISO WG21-462（1994）”}、{“issue”：“8”，“key“：”4_CR55“”Veldhuizen，T.，Ponnambalam，K.：线性代数与C++模板元程序。Dr.Dobb\u2019s Journal of Software Tools \u00a021（8），38\u201344（1996）”，“期刊标题”：“Dr.Dobb\u2019s Journal of Software Tools”}，｛“问题”：“5”，“密钥”：“4_CR56”，“首页”：“26”，“卷”：“7”，“作者”：“T.L.Veldhuizen”，“年份”：“1995”，“非结构化”：“Veldhuizen，T.L.：表达式模板.C++Report\u00a07（5），26\u201331（1995）”，“期刊标题“：”C++Report“}，{“issue”：“4”，“key”：“4_CR57”，“首页”：“36”，“卷”：“7”，“作者”：“T.L.Veldhuizen”，“年份”：“1995”，“非结构化”：“Veldhuizen，T.L.：模板元程序。C++Report \u00a07（4），36\u201343（1995）”，“日志标题”：“C++Report”}，key“：”4_CR58“，”非结构化“：”Wile，D.：Popart：解析器和相关工具的生产商。系统建设者\u2019手册。技术报告，南加州大学信息科学研究所（1981）“}]，“container-title”：[“特定领域程序生成”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25935-0_4.pdf”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查“}”，“存放”：{“日期部分”：[[2020,11,19]]，“日期时间”：“2020-11-19T04:58:45Z”，“时间戳”：1605761925000}，“分数”：1，“资源”：}“主要”：{“URL”：“http://\/link.springer.com\/10.1007\/978-3-540-25935-0_4”}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[2004]]}，“ISBN”：[“9783540221197”，“9783540259350”]，“references-count“：58，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-540-25935-0_4“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”0302-7743“、”type“:”print“}、{”value“：”1611-33049“、”类型“：”electronic“}]、“subject”：[]，“published”：{“date-parts”：[[2004]]}}}