A Typed Higher-Order Programming Language Based on the Pi-Calculus

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• Turner David

  Lfcs

• Pierce Benjamin

  LFCS

• Remy Didier

  INRIA-Roquencourt

関連論文

• A Typed Higher-Order Programming Language Based on the Pi-Calculus

スポンサーリンク