%0 Conference Paper %1 conf/ppdp/Russo99 %A Russo, Claudio V. %B PPDP %D 1999 %E Nadathur, Gopalan %I Springer %K dblp %P 80-97 %T Non-dependent Types for Standard ML Modules. %U http://dblp.uni-trier.de/db/conf/ppdp/ppdp1999.html#Russo99 %V 1702 %@ 3-540-66540-4

@inproceedings{conf/ppdp/Russo99, added-at = {2017-05-21T00:00:00.000+0200}, author = {Russo, Claudio V.}, biburl = {https://www.bibsonomy.org/bibtex/29600b2306ac93d3a6e0cb41faf3a2825/dblp}, booktitle = {PPDP}, crossref = {conf/ppdp/1999}, editor = {Nadathur, Gopalan}, ee = {https://doi.org/10.1007/10704567_5}, interhash = {11d4a5f671780592833ac1365ab7a812}, intrahash = {9600b2306ac93d3a6e0cb41faf3a2825}, isbn = {3-540-66540-4}, keywords = {dblp}, pages = {80-97}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:20:30.000+0200}, title = {Non-dependent Types for Standard ML Modules.}, url = {http://dblp.uni-trier.de/db/conf/ppdp/ppdp1999.html#Russo99}, volume = 1702, year = 1999 }