Programming Languages and Systems Research Group

Publications

For copyright reasons some papers are not available for downloading or only from the author's web page.

Refereed journal, conference and workshop publications

Bibliography generated from refereed.bib

PhD theses supervised in the group

Bibliography generated from phds.bib

Other publications

Bibliography generated from other.bib
Updated at Mon 2 Nov 19:34:22 GMT 2020