A Type System for the Push-Enter Model.

Kwanghoon Choi Taisook Han A Type System for the Push-Enter Model. 13-27 2001 conf/aplas/2001 APLAS db/conf/aplas/aplas2001.html#ChoiH01