%0 Conference Paper %1 conf/aplas/ChoiH01 %A Choi, Kwanghoon %A Han, Taisook %B APLAS %D 2001 %K dblp %P 13-27 %T A Type System for the Push-Enter Model. %U http://dblp.uni-trier.de/db/conf/aplas/aplas2001.html#ChoiH01

@inproceedings{conf/aplas/ChoiH01, added-at = {2018-10-27T00:00:00.000+0200}, author = {Choi, Kwanghoon and Han, Taisook}, biburl = {https://www.bibsonomy.org/bibtex/27ccdfbe54cd2a3fda9cc6abbec6262ef/dblp}, booktitle = {APLAS}, crossref = {conf/aplas/2001}, interhash = {f7d96bc5060dec58ccb2b78285337669}, intrahash = {7ccdfbe54cd2a3fda9cc6abbec6262ef}, keywords = {dblp}, pages = {13-27}, timestamp = {2018-10-30T11:40:17.000+0100}, title = {A Type System for the Push-Enter Model.}, url = {http://dblp.uni-trier.de/db/conf/aplas/aplas2001.html#ChoiH01}, year = 2001 }