zbMATH中的参考文献(参考文献23条)

显示第1到第20个结果,共23个。
按年份排序(引用)
  1. 卢卡斯修道院;林德利,山姆;麦克布莱德,康纳;麦克劳克林,克雷格:嘟嘟蜂嘟嘟(2020)
  2. 希勒斯特伦,丹尼尔;林德利,山姆;阿特基,罗伯特:通过泛化延续的效果处理程序(2020)
  3. 崔光勋;Chang,Byeong Mo:客户端-服务器模型的RPC计算理论(2019)
  4. Wu Junao Wu,Arek Mikolajczak,James Cheney:TryLinks:跨层Web编程语言的交互式教程系统(2019)第十四章
  5. 布列西,米歇尔;卡尔扎瓦拉,斯特凡诺;Focardi,Riccardo:《web安全的正式方法》(2017)
  6. 科斯塔塞科,若昂;费雷拉,保罗;Lourenço,Hugo:基于能力的分布式和异构查询本地化(2017)
  7. 希勒斯特伦,丹尼尔;林德利,山姆;阿特基,罗伯特;西瓦拉马克里什南,K。C、 :效果处理者的延续传球风格(2017)
  8. 奥哈德省坎马市;Pretnar,Matija:代数效果和处理程序不需要值限制(2017)
  9. 普雷达,米拉达拉;加布里埃利,毛里齐奥;吉奥伦佐,萨维里奥;伊万·兰内斯;Mauro,Jacopo:动态编排:理论与实现(2017)
  10. 吉本斯,杰里米:理解戒指。在菲尔·瓦德勒60岁生日之际(2016年)
  11. 拉丹,加布里埃尔;沃伦,杰罗姆;Balat,Vincent:\ textscEliom:无层web编程的核心ML语言(2016)
  12. 希纳,阿夫拉罕;Siméon,Jérôme:商业类型的品牌战略(2016)
  13. 迈克尔·贝尼迪克;普皮斯,加布里埃尔;Vu,Huy:高阶查询的复杂性(2015)
  14. 卢埃索,卢埃萨;Caires,Luís:值索引数据安全分区的信息流分析(2014)
  15. 多莫斯兹莱,拉斯洛;Kozsik,Tamás:清理网络!使用Clean快速客户端web开发(2013)IO端口
  16. 凯里斯,鲁伊斯;佩雷斯,豪尔赫A。;塞科,乔·科斯塔;维埃拉,雨果·托雷斯;Ferrão,Lúcio:以数据为中心的系统中基于类型的访问控制(2011)
  17. 海梅尔,泽夫;格罗尼韦根,丹尼·M。;凯斯,伦纳特·C。五十、 。;Visser,Eelco:WebDSL对web应用程序的静态一致性检查(2011)
  18. 阿赫腾,彼得;范伊克伦,马尔科;库普曼,彼得;Morazán,Marco T.:1999/2000年与2007/2008年(2010年)功能性编程趋势趋势
  19. 亨莱恩,弗里茨;Larsen,Ken Fris:具有基于区分的连接和符号笛卡尔积的通用多集编程(2010)
  20. 塞拉诺,曼努埃尔;Queinnec,Christian:Hop的多层语义(2010)