A Complete Type Inference System for Subtyped Recursive Types

スポンサーリンク

概要

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

著者

• Yonezawa Akinori

  Department Of Information Science Tokyo Institute Of Technology

• Yonezawa Akinori

  Department Of Information Science Univeresity Of Tokyo

• Sekiguchi Tatsurou

  Department of Information Science, Univeresity of Tokyo

• Sekiguchi Tatsurou

  Department Of Information Science Univeresity Of Tokyo

• Yonezawa Akinori

  Department of Computer Science, The University of Tokyo

関連論文

• TOWARDS OBJECT ORIENTED CONCURRENT PROGRAMMING(Software Science and Engineering)
• A Complete Type Inference System for Subtyped Recursive Types
• Comments on Monitors and Path-Expressions
• Concurrent Programming in Linear Logic
• Verification of Concurrent Programs Using the Coq Proof Assistant : A Case Study
• Design and Implementation of A Highly Modularized Functional language
• Verification of Concurrent Programs Using the Coq Proof Assistant: A Case Study

スポンサーリンク