咖喱

此软件的关键字
zbMATH参考文献(42篇文章引用)
Alpuente,M.;Cuenca-Ortega,A.;Escobar,S.;Meseguer,J.:有序等式程序的部分评估框架-模公理(2020) 阿普特,马里亚;埃斯科巴,圣地亚哥;萨皮娜,茱莉亚;巴利斯,德米斯:莫德理论与纳瓦尔的象征分析(2019) Sandra Dylus,Jan Christiansen,Finn Teegen:使用非严格非确定性实现概率规划库(2019) 阿尔十四 安托伊,塞尔吉奥;哈纳斯,迈克尔:咖喱的默认规则(2017) Antoy,Sergio;Hanus,Michael:将布尔等式转化为约束(2017) Lampropoulos,Leonidas;Galois Wong,Diane;Hriţcu,Cătălin;Hughes,John;Pierce,Benjamin C.;Xia,Li yao:《初学者的运气:基于财产的发电机的语言》(2017) 安托伊,塞尔吉奥;哈纳斯,迈克尔:从布尔等式到约束(2015) Andy Serantoy,constructor公司,2015年出版的《某些系统的编译规范》(constructor,Jos,2015) Kirchner,Hélene:重写策略和战略重写计划(2015) Antoy,Sergio;Jost,Andy:编译函数逻辑语言:\textitTheFair Scheme(2014) Escobar,圣地亚哥:Maude函数逻辑编程(2014) Hanus,Michael;Koschnicke,Sven:一个基于ER的声明性web编程框架(2014) ioport公司 Lindblad,Fredrik:高阶逻辑的聚焦序列演算(2014) Hanus,Michael:函数逻辑编程:从理论到Curry(2013) Antoy,Sergio;Peters,Arthur:编译功能逻辑语言:基本方案(2012) ioport公司 费南德斯,玛丽贝尔;基什纳,赫勒;纳梅特,奥利维尔:图形重写的策略语言(2012) Köksal,Ali Sinan;Kuncak,Viktor;Suter,Philippe:约束作为控制(2012) ioport公司 Braßel,Bernd;Hanus,Michael;Peemöller,Björn;Reck,Fabian:KiCS2:从Curry到Haskell的新编译器(2011) ioport公司 Christiansen,Jan;Seidel,Daniel;Voigtländer,Janis:类型化FlatCurry的适当的、指称的、函数式的语义(2011) georgidze,georgidze;Nilsson,Henrik:迭代阶段DSL的混合级嵌入和JIT编译(2011) ioport公司