%0 Conference Paper %1 conf/ecoop/MackayMPGC12 %A Mackay, Julian %A Mehnert, Hannes %A Potanin, Alex %A Groves, Lindsay %A Cameron, Nicholas %B FTfJP@ECOOP %D 2012 %E Chin, Wei-Ngan %E Hobor, Aquinas %I ACM %K dblp %P 11-19 %T Encoding Featherweight Java with assignment and immutability using the Coq proof assistant. %U http://dblp.uni-trier.de/db/conf/ecoop/ftfjp2012.html#MackayMPGC12 %@ 978-1-4503-1272-1

@inproceedings{conf/ecoop/MackayMPGC12, added-at = {2022-02-14T00:00:00.000+0100}, author = {Mackay, Julian and Mehnert, Hannes and Potanin, Alex and Groves, Lindsay and Cameron, Nicholas}, biburl = {https://www.bibsonomy.org/bibtex/2b9c244b2f8562dbec07c082ba70d966f/dblp}, booktitle = {FTfJP@ECOOP}, crossref = {conf/ecoop/2012ftfjp}, editor = {Chin, Wei-Ngan and Hobor, Aquinas}, ee = {https://doi.org/10.1145/2318202.2318206}, interhash = {fdcc8b9c6e08a5d2b1d4ecb98a064b12}, intrahash = {b9c244b2f8562dbec07c082ba70d966f}, isbn = {978-1-4503-1272-1}, keywords = {dblp}, pages = {11-19}, publisher = {ACM}, timestamp = {2024-04-10T16:18:10.000+0200}, title = {Encoding Featherweight Java with assignment and immutability using the Coq proof assistant.}, url = {http://dblp.uni-trier.de/db/conf/ecoop/ftfjp2012.html#MackayMPGC12}, year = 2012 }