Microsoft Research, Redmond;
University of Maryland, College Park;
Microsoft Research, Redmond;
University of Maryland, College Park;
monad; type; rewriting; coherence; coercion;
机译:ML中的轻量级Monadic编程
机译:轻质摩纳迪地区
机译:用逻辑编程对单子二阶逻辑进行增量推理
机译:轻量级的Monadic编程在ml中
机译:轻量级编程抽象,以提高安全性和性能
机译:用于ESA地球观测第2级产品生成的Satellite Image Automatic Mapper轻型计算机程序的GEO-CEOS阶段4验证-第2部分:验证
机译:ML中的轻量级Monadic编程