...
机译:高阶语言的变化理论
Philipps-Universit?t Marburg;
Philipps-Universit?t Marburg;
Philipps-Universit?t Marburg;
Philipps-Universit?t Marburg;
Incremental computation; first-class functions; performance; Agda; formalization;
机译:理论和高阶语言的语义视图
机译:高阶语言的变化理论
机译:概率高阶语言的环境与捕获
机译:高阶密码语言的测试理论(扩展摘要)
机译:LAMBDA-NU-CS转换的计算:指令式高阶编程语言中控制和状态的句法理论。
机译:行为分析关系框架理论以及人类语言和认知的挑战:对关系框架理论评论的回应:斯金纳时代对人类语言和认知的描述
机译:理论和高阶语言的语义观