Haskell中的会话类型推断
摘要：Haskell中的Pi-演算版本的推理系统的推荐系统的推理系统推荐系统的抽象表示方法的“de Bruijn级别”。
作者：Keigo Imai (IT Planning Inc., Japan), Shoji Yuen (Graduate School of Information Science, Nagoya University, Japan), Kiyoshi Agusa (Graduate School of Information Science, Nagoya University, Japan)
论文ID：1110.4163
分类：Programming Languages
分类简称：cs.PL
提交时间：2011-10-20