Design and Implementation of A Highly Modularized Functional language

スポンサーリンク

概要

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

著者

• Yonezawa Akinori

  Department Of Information Science Tokyo Institute Of Technology

• Saji Nobuyuki

  Software Product Engineering Laboratory Nippon Electric Company

関連論文

• 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

スポンサーリンク