%0 Conference Paper %1 conf/icfp/Ghelli96 %A Ghelli, Giorgio %B ICFP %D 1996 %E Harper, Robert %E Wexelblat, Richard L. %I ACM %K dblp %P 134-145 %T Complexity of Kernel Fun Subtype Checking. %U http://dblp.uni-trier.de/db/conf/icfp/icfp96.html#Ghelli96 %@ 0-89791-770-7

@inproceedings{conf/icfp/Ghelli96, added-at = {2021-07-08T00:00:00.000+0200}, author = {Ghelli, Giorgio}, biburl = {https://www.bibsonomy.org/bibtex/284236077479e5d7c63ae05611afedc70/dblp}, booktitle = {ICFP}, crossref = {conf/icfp/1996}, editor = {Harper, Robert and Wexelblat, Richard L.}, ee = {https://doi.org/10.1145/232629.232643}, interhash = {1b636ebdc967302ac6f0e82ef8acc22d}, intrahash = {84236077479e5d7c63ae05611afedc70}, isbn = {0-89791-770-7}, keywords = {dblp}, note = {SIGPLAN Notices 31(6), June 1996}, pages = {134-145}, publisher = {ACM}, timestamp = {2024-04-09T17:31:06.000+0200}, title = {Complexity of Kernel Fun Subtype Checking.}, url = {http://dblp.uni-trier.de/db/conf/icfp/icfp96.html#Ghelli96}, year = 1996 }