Proceedings

Title:
Languages, Compilers, Analysis - From Beautiful Theory to Useful Practice: Essays Dedicated to Alan Mycroft on the Occasion of His Retirement
Authors:
D. Orchard (editor), T. Petříček (editor), J. Singer (editor)
Publication:
Year:
2026
ISBN:
978-3-032-08186-5 978-3-032-08187-2
Link:
https://link.springer.com/10.1007/978-3-032-08187-2

BibTeX:
@proceedings{orchard_languages_2026,
    title = {{Languages, Compilers, Analysis - From Beautiful Theory to Useful Practice: Essays Dedicated to Alan Mycroft on the Occasion of His Retirement}},
    year = {2026},
    editor = {Orchard, Dominic and Petricek, Tomas and Singer, Jeremy},
    publisher = {Springer Nature Switzerland},
    series = {{Lecture Notes in Computer Science}},
    location = {Cham},
    doi = {10.1007/978-3-032-08187-2},
    isbn = {978-3-032-08186-5 978-3-032-08187-2},
    url = {https://link.springer.com/10.1007/978-3-032-08187-2},
    volume = {15500},
    shorttitle = {Languages, Compilers, Analysis - From Beautiful Theory to Useful Practice},
}