年度	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