Institute of Information and Computing Sciences, Utrecht University, P.O.Box 80.089, 3508 TB Utrecht, Netherlands;
机译:属性文法飞行一流在Haskell中如何进行面向方面的编程
机译:属性文法飞行一流在Haskell中如何进行面向方面的编程
机译:具有属性语法的迭代类型推断
机译:属性语法飞一堂课如何在Haskell做方面面向方面的编程
机译:使用高阶属性语法的可组合语义。
机译:使用属性语法在合成DNA序列中建模结构-功能关系
机译:依赖类型属性语法
机译:高阶属性语法,国际暑期学校属性语法,应用和系统的讲义