文章基本信息

标题：Session Type Inference in Haskell
本地全文：下载
作者：Keigo Imai ; Shoji Yuen ; Kiyoshi Agusa 等
期刊名称：Electronic Proceedings in Theoretical Computer Science
电子版ISSN：2075-2180
出版年度：2010
卷号：69
页码：74-91
DOI：10.4204/EPTCS.69.6
出版社：Open Publishing Association
摘要：We present an inference system for a version of the Pi-calculus in Haskell for the session type proposed by Honda et al. The session type is very useful in checking if the communications are well-behaved. The full session type implementation in Haskell was first presented by Pucella and Tov, which is 'semi-automatic' in that the manual operations for the type representation was necessary. We give an automatic type inference for the session type by using a more abstract representation for the session type based on the 'de Bruijn levels'. We show an example of the session type inference for a simple SMTP client.