Computer program verification; Foreign languages; Software tools; Interoperability; Man computer interface; Computer program reliability; Simulation languages; Green Card language interface; C programming language;
机译:使用通用Haskell中的类型同构推断自定义XML-Haskell数据绑定
机译:SC-Haskell:语言中的顺序一致性可最大程度地减少可变共享堆
机译:使用Haskell的领域特定语言和代码综合
机译:vadis Quo接口定义语言?面向RESTful服务的接口定义语言
机译:标准定义与修订定义:中国成人英语学习者在理解单词含义方面的有效性。
机译:学习两种语言的单词和定义:什么促进了跨语言迁移?
机译:使用Generic Haskell中的类型同构推断自定义XmL-Haskell数据绑定