%0 Conference Paper %1 conf/esop/WellsV00 %A Wells, J. B. %A Vestergaard, René %B ESOP %D 2000 %E Smolka, Gert %I Springer %K dblp %P 412-428 %T Equational Reasoning for Linking with First-Class Primitive Modules. %U http://dblp.uni-trier.de/db/conf/esop/esop2000.html#WellsV00 %V 1782 %@ 3-540-67262-1

@inproceedings{conf/esop/WellsV00, added-at = {2017-05-19T00:00:00.000+0200}, author = {Wells, J. B. and Vestergaard, René}, biburl = {https://www.bibsonomy.org/bibtex/2dbac31792eb264e2117863718d7255de/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2000}, editor = {Smolka, Gert}, ee = {https://doi.org/10.1007/3-540-46425-5_27}, interhash = {ed38e860d1ce6724b238b78ba86bb64b}, intrahash = {dbac31792eb264e2117863718d7255de}, isbn = {3-540-67262-1}, keywords = {dblp}, pages = {412-428}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:28:48.000+0200}, title = {Equational Reasoning for Linking with First-Class Primitive Modules.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2000.html#WellsV00}, volume = 1782, year = 2000 }