higher-order abstract syntax; modal type system; catamorphism; parametricity; parametric polymorphism;
机译:盒子变成香蕉:使用参数多态性编码高阶抽象语法
机译:Boxes Go Bananas:使用参数多态性编码高阶抽象语法
机译:机械化语义的参数化高阶抽象语法
机译:Boxes Go Bananas:使用参数多态性编码高阶摘要语法
机译:经验证的功能程序编译的高阶抽象语法方法。
机译:与人类疾病相关的启动子TATA-Box多态性对TATA盒与TATA结合蛋白相互作用的预测作用的实验验证
机译:Boxes Go Bananas:使用参数多态性编码高阶抽象语法
机译:abstract syntax Notation One的实现和分析以及基本编码规则