年度 1994
全部作者 陳恭
論文名稱 Kung Chen;Martin Odersky, 1994.04, 'Type System for a Lambda Calculus with Assignments, ' Theoretical Aspect of Computer Software ''94, Tohoku University.
發表日期 1994-04-01
ISI Number 159131