• 计划

  • 13篇参考文献[ SW22065 ]
  • 计划是基于简单的类型化的 兰姆达 微积分并提供限制…对程序员的静态保证,如类型安全一个更新颖的属性瞄准…
  • 轻量级Java

  • 86篇参考文献[SW16204]
  • 关于关键属性的严格论证类型安全我们把这个过程一步一步…甚至赋值)获得一个小的微积分轻量级Java,为其提供严格的证明…与Java类似的关系兰姆达-微积分对语言这样…紧跟Java的一个证明类型轻量级Java的安全性说明了许多…
  • Lisp

  • 124篇参考文献[SW07201]
  • 阿伦佐教堂的记号兰姆达 微积分. 它很快成为最受欢迎的编程语言…树形数据结构,自动存储管理,动态打字条件句、高阶函数、递归…
  • 霍普拉

  • 14篇参考文献[SW02430]
  • 扩展兰姆达 微积分用“前缀和”,其中类型表达形式…
  • 榛子

  • 2篇参考文献[SW22659]
  • Hazelnut:双向类型化的结构编辑器微积分. 结构编辑器允许程序员编辑树…基于双向小编辑程序类型化的 兰姆达 微积分用空洞和光标扩展…动作语义自动放置指定的术语类型这与预期不一致。类型
  • 楔形的

  • 1篇参考文献[SW26049 ]
  • 楔形文字的简单句法类型化的 兰姆达 微积分把楔形文字透视并允许…函数式编程的上下文。此外,简单类型系统允许演绎语言…
  • X趣

  • 1篇参考文献[SW14200 ]
  • 基于A类型化的 兰姆达 微积分这使得它在内存中实现…
  • 混响

  • 6篇参考文献[SW22612]
  • 呈现完整完整的三关类型该系统的检查算法。可操作的…即多态性兰姆达 微积分用单赋值引用和递归类型生成性-它使用…
  • 模板辅料

  • 2篇参考文献[SW27 569]
  • 面向认证的元程序设计类型化的模板辅料。Template Coq(URL {http://模板COQ.GITHUB.IO/模板COQ })…兰姆达$微积分〔13〕。然而,语法缺乏语义,是吗?打字语义或操作语义…
  • 维姆拉姆达

  • 1篇参考文献[SW17460]
  • 简单地扩展标准类型化的按值调用兰姆达-微积分. 虽然这个延伸,VMlambda…
  • 棒棒糖

  • 5篇参考文献[SW22624]
  • 线性度与并发基元相互作用。兰姆达结石有点…会话功能类型. LoLIPPROC具有简单的过程微积分“在引擎盖下”但隐藏…
  • 辅酶Q

  • 1721篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • Gap

  • 2586篇参考文献[SW0320]
  • GAP是一个计算离散代数的系统…
  • 格菲

  • 123篇参考文献[SW034 4]
  • GFALSE软件包提供了确定和…的工具。
  • 杂种

  • 14篇参考文献[SW0421]
  • 混合:一个用于高级语法的包…