机译:关键的Monad:类型安全的无约束动态打字
Chalmers University of Technology Sweden;
Chalmers University of Technology Sweden;
Harvard University United States;
Functional programming; Haskell; Higher-order state; ST monad; Arrow notation; Parametric HOAS;
机译:关键的Monad:类型安全的无约束动态打字
机译:自由文本键入中的击键动力学对个人识别性能的键盘依赖性
机译:动态跟踪平衡梁型泵浦单元关键部件的动态强度分析
机译:更改的iTasks:动态演变的工作流程中类型安全的运行时更改
机译:一种将类型安全的静态上下文鸭子键入添加到面向对象的编程语言的方法。
机译:甲醛-生物分子系统的关键单体
机译:动态组件适配的类型安全委派
机译:运行时支持类型安全的动态Java类