Programming language theory: Thinking the unthinkable

Proceedings paper

Title:

Authors:

T. Petříček

Publication:

Proceedings of the 27th Annual Workshop of the Psychology of Programming Interest Group

Year:

2016

Link:

https://ppig.org/papers/2016-ppig-27th-petricek/

BibTeX:

@inproceedings{petricek_programming_2016,
    title = {{Programming language theory: Thinking the unthinkable}},
    author = {Petricek, Tomas},
    year = {2016},
    booktitle = {{Proceedings of the 27th Annual Workshop of the Psychology of Programming Interest Group}},
    editor = {Church, Luke},
    publisher = {Psychology of Programming Interest Group},
    location = {Cambridge, UK},
    pages = {31},
    url = {https://ppig.org/papers/2016-ppig-27th-petricek/},
}