Task 1 Papers

[1] Martin Bodin, Philippa Gardner, Thomas Jensen, and Alan Schmitt. Skeletal semantics and their interpretations. In POPL 2019: Proc. 46th ACM SIGPLAN Symposium on Principles of Programming Languages, January 2019. [ bib | .pdf | Abstract ]
[2] Anthony C. J. Fox. Improved tool support for machine-code decompilation in HOL4. In ITP 2015:Interactive Theorem Proving - 6th International Conference, Nanjing, China, pages 187--202, August 2015. [ bib | DOI | http | .pdf | Abstract ]
[3] A. M. Pitts, J. Matthiesen, and J. Derikx. A dependent type theory with abstractable names. In I. Mackie and M. Ayala-Rincon, editors, LSFA 2014: Proceedings of the 9th Workshop on Logical and Semantic Frameworks, with Applications, volume 312 of Electronic Notes in Theoretical Computer Science, pages 19--50. Elsevier, April 2015. [ bib | DOI | http | Abstract ]
[4] Dominic P. Mulligan, Scott Owens, Kathryn E. Gray, Tom Ridge, and Peter Sewell. Lem: Reusable engineering of real-world semantics. In ICFP 2014: Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming, pages 175--188, New York, NY, USA, September 2014. ACM. [ bib | DOI | http | .pdf | Abstract ]
[5] Basile Clement. Running programming language specifications, August 2014. MPRI report. [ bib ]

This file was generated by bibtex2html 1.99.