University of Cincinnati;
机译:类型化汇编语言的语义基础
机译:改善依赖类型语言错误消息的框架
机译:以依赖性类型语言(珍珠)资源相关EDSL的框架(珍珠)
机译:Singleton一种通用的依存类型汇编语言
机译:键入汇编语言以确保软件安全。
机译:染色质组装因子1通过抵制RecQ型解旋酶Rqh1的D环拆卸促进复制叉处Rad51依赖性模板的开关。
机译:通用依赖类型汇编语言
机译:VerimL:一种依赖类型,用户可扩展和以语言为中心的证明助理方法。