%0 Conference Paper %1 conf/flops/BartheS99 %A Barthe, Gilles %A Serpette, Bernard P. %B Fuji International Symposium on Functional and Logic Programming %D 1999 %E Middeldorp, Aart %E Sato, Taisuke %I Springer %K dblp %P 53-67 %T Partial Evaluation and Non-interference for Object Calculi. %U http://dblp.uni-trier.de/db/conf/flops/flops99.html#BartheS99 %V 1722 %@ 3-540-66677-X

@inproceedings{conf/flops/BartheS99, added-at = {2017-08-15T00:00:00.000+0200}, author = {Barthe, Gilles and Serpette, Bernard P.}, biburl = {https://www.bibsonomy.org/bibtex/20aaf62b615eba7ca2a9473229713aac0/dblp}, booktitle = {Fuji International Symposium on Functional and Logic Programming}, crossref = {conf/flops/1999}, editor = {Middeldorp, Aart and Sato, Taisuke}, ee = {https://doi.org/10.1007/10705424_4}, interhash = {a637f79ae1fb494b8b89d21c6d5c8301}, intrahash = {0aaf62b615eba7ca2a9473229713aac0}, isbn = {3-540-66677-X}, keywords = {dblp}, pages = {53-67}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:11:10.000+0200}, title = {Partial Evaluation and Non-interference for Object Calculi.}, url = {http://dblp.uni-trier.de/db/conf/flops/flops99.html#BartheS99}, volume = 1722, year = 1999 }