%0 Conference Paper %1 conf/haskell/PirogB10 %A Piróg, Maciej %A Biernacki, Dariusz %B Haskell %D 2010 %E Gibbons, Jeremy %I ACM %K dblp %P 25-36 %T A systematic derivation of the STG machine verified in Coq. %U http://dblp.uni-trier.de/db/conf/haskell/haskell2010.html#PirogB10 %@ 978-1-4503-0252-4

@inproceedings{conf/haskell/PirogB10, added-at = {2021-10-14T00:00:00.000+0200}, author = {Piróg, Maciej and Biernacki, Dariusz}, biburl = {https://www.bibsonomy.org/bibtex/2c2cec28b2b36e254c7c64bb97504862c/dblp}, booktitle = {Haskell}, crossref = {conf/haskell/2010}, editor = {Gibbons, Jeremy}, ee = {https://doi.org/10.1145/2088456.1863528}, interhash = {dc43fcca7ca817cb221a396fab75db44}, intrahash = {c2cec28b2b36e254c7c64bb97504862c}, isbn = {978-1-4503-0252-4}, keywords = {dblp}, pages = {25-36}, publisher = {ACM}, timestamp = {2024-04-10T01:08:19.000+0200}, title = {A systematic derivation of the STG machine verified in Coq.}, url = {http://dblp.uni-trier.de/db/conf/haskell/haskell2010.html#PirogB10}, year = 2010 }