干净

此软件的关键字
zbMATH中的参考文献(参考
58篇文章
参考, 1标准件 )
吉本斯,杰里米:理解戒指。 在菲尔·瓦德勒60岁生日之际(2016年) Magalhães,JoséPedro:多参数通用编程(2014) 马尔滕·德莫尔;马尔科·范埃克伦:美丽的代码,美丽的证据? (2013年) ioport公司 de Vries,Edsko:使用多态性建模唯一和仿射类型(2013) Koopman,Pieter:功能语义学(2013) Lignse,Bas:并行任务组合器的进化(2013) van Bakel,steffenj.;Rowe,Reuben N.S.:轻量级Java的函数类型赋值。 致Rinus Plasmeijer,以纪念他61岁生日(2013年) Domoszlai,László;Bruel,Eddy;Jansen,Jan Martin:用JavaScript实现非严格的纯函数式语言(2011) Endrullis,Jörg;Hendriks,Dimitri:Lazy productivity via termination(2011年) 丹尼尔·塞德尔;沃伊格特兰德,贾尼斯:精细类型化强制严格对自由定理的影响(2011) 斯皮特斯,Bas;范德韦根,Eelis:类型理论中的数学类型课程(2011) Achten,Peter;van Eekelen,Marko;Koopman,Pieter;Morazan,Marco T.:1999/2000与2007/2008(2010)函数式编程趋势趋势 Alarcón,Beatriz;Gutiérrez,Raúl;Lucas,Salvador:上下文相关依赖对(2010) 赫曼,大卫;古墓,亚伦;弗拉纳根,科马克:节省空间的渐进式打字(2010) 霍尔德曼,斯特凡;哈格,尤里安:使“严格”更具相关性(2010年) Hinze,Ralf;Löh,Andres:3D通用编程(2009) Tejfel,Máté:证明Sparkle-t中清洁程序的组合规范(2009) de Mol,Maarten;van Eekelen,Marko;Plasmeijer,Rinus:用Sparkle证明懒惰函数程序的性质(2008) 王勇;江义成:改进的自适应chirplet分解及其在机动目标ISAR成像中的应用(2008) 王勇;江义成:多分量多项式相位信号的广义时频分布(2008)