%0 Conference Paper %1 conf/lics/GianniniR88 %A Giannini, Paola %A Rocca, Simona Ronchi Della %B LICS %D 1988 %I IEEE Computer Society %K dblp %P 61-70 %T Characterization of typings in polymorphic type discipline %U http://dblp.uni-trier.de/db/conf/lics/lics88.html#GianniniR88 %@ 0-8186-0853-6

@inproceedings{conf/lics/GianniniR88, added-at = {2023-03-24T00:00:00.000+0100}, author = {Giannini, Paola and Rocca, Simona Ronchi Della}, biburl = {https://www.bibsonomy.org/bibtex/2ab1bf8fd5e08e9708857257060d91c08/dblp}, booktitle = {LICS}, crossref = {conf/lics/1988}, ee = {https://doi.ieeecomputersociety.org/10.1109/LICS.1988.5101}, interhash = {8e794056eaba37a098e06c45f55601a7}, intrahash = {ab1bf8fd5e08e9708857257060d91c08}, isbn = {0-8186-0853-6}, keywords = {dblp}, pages = {61-70}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:42:48.000+0200}, title = {Characterization of typings in polymorphic type discipline}, url = {http://dblp.uni-trier.de/db/conf/lics/lics88.html#GianniniR88}, year = 1988 }