• 兰科普

  • 21篇参考文献[SW0976]
  • 添加前缀和A前缀 统一算法。我们提出的实现和评估的细节…
  • 林塔普

  • 6篇参考文献[SW11991 ]
  • 确保使用的线性有效性前缀 统一. 由于代码紧凑,程序…线性逻辑基于A前缀语义表演算声音完整。源代码可用…
  • 梅兰科普

  • 6篇参考文献[SW21522]
  • 前缀连接演算及附加前缀 统一,它捕获不同的克里普克语义。异构多模态逻辑输出紧凑前缀连接证明。实验评价表明…
  • 毫升

  • 502篇参考文献[SW01218]
  • ML(“元语言”)是一种通用功能性语言。
  • UCI ML

  • 2918篇参考文献[SW04074]
  • 加州大学欧文分校机器学习仓库。我们目前维持…
  • 米兰达

  • 148篇参考文献[SW0988]
  • 米兰达:一个具有多态性的非严格功能语言。
  • Lisp

  • 125篇参考文献[SW07201]
  • Lisp(历史上,LISP)是一个计算机家族。
  • 精灵

  • 43篇参考文献[SW21361]
  • 精灵的元语言。精灵是一种约束…