Keyword : type system


A Session Type System with Subject Reduction
Keigo IMAI Shoji YUEN Kiyoshi AGUSA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2012/08/01
Vol. E95-D  No. 8 ; pp. 2053-2064
Type of Manuscript:  PAPER
Category: Software System
Keyword: 
Pi-calculussession typestype systemsubject reductionconcurrencyprocess calculipolarity
 Summary | Full Text:PDF

Typing ZINC Machine with Generalized Algebraic Data Types
Kwanghoon CHOI Seog PARK 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2011/06/01
Vol. E94-D  No. 6 ; pp. 1190-1200
Type of Manuscript:  PAPER
Category: Software System
Keyword: 
type systemZINC machinegeneralized algebraic data typefunctional language
 Summary | Full Text:PDF