亚姆巴

此软件的关键字
zbMATH参考文献(参考
11篇文章
Perez,Ivan;Goodloe,Alwyn E.:容错函数式反应式编程(扩展版)(2020) Morazán,Marco T.:使用功能性视频游戏向基于HtDP的CS1注入分布式编程(2018) Achten,Peter;van Eekelen,Marko;de Mol,Maarten;Plasmeijer,Rinus:EditorArrow:基于箭头的编辑器编程模型(2013) Liu,Hai;Cheng,Eric;Hudak,Paul:因果交换箭头(2011) 尼尔·斯库索普;亨里克·尼尔森:面对变化保持冷静。 通过对变化的推理来优化FRP(2010) 刘海;程,埃里克;胡达克,保罗:因果交换箭头及其优化(2009) Rompf,Tiark;Maier,Ingo;Odersky,Martin:通过类型定向的选择性CPS转换实现一流的多态限定连续(2009) Sculthorpe,Neil;Nilsson,Henrik:通过依赖类型的安全函数反应式编程(2009) 乔治•乔治•乔治•乔治•尼尔森•亨里克•尼尔森:开启yampa(2008年) ioport公司 Nilsson,Henrik:基于广义代数数据类型的函数反应式规划的动态优化(2005) Nilsson,Henrik:Dirac脉冲函数自动微分(2003)