%0 Conference Paper %1 conf/ifip/GangZ86 %A Ye, Gang %A Xie, Zhiliang %B IFIP Congress %D 1986 %E Kugler, Hans-Jürgen %I North-Holland/IFIP %K dblp %P 355-360 %T An Efficient Type System for Prolog. %U http://dblp.uni-trier.de/db/conf/ifip/ifip86.html#GangZ86 %@ 0-444-70077-3

@inproceedings{conf/ifip/GangZ86, added-at = {2019-07-28T00:00:00.000+0200}, author = {Ye, Gang and Xie, Zhiliang}, biburl = {https://www.bibsonomy.org/bibtex/2fcebc4fdd393b363a7f16e999d544f78/dblp}, booktitle = {IFIP Congress}, crossref = {conf/ifip/1986}, editor = {Kugler, Hans-Jürgen}, interhash = {62f3fb2e212919aed6153b11714058f9}, intrahash = {fcebc4fdd393b363a7f16e999d544f78}, isbn = {0-444-70077-3}, keywords = {dblp}, pages = {355-360}, publisher = {North-Holland/IFIP}, timestamp = {2019-07-30T11:50:35.000+0200}, title = {An Efficient Type System for Prolog.}, url = {http://dblp.uni-trier.de/db/conf/ifip/ifip86.html#GangZ86}, year = 1986 }