Matthew Hennessy

CS3017: Operational semantics of programming languages: An Introduction

A third year course, to be given in Hilary term 2014/15, on structural operational semantics of programming languages.

Course website.

e-mail: matthew dot hennessy at cs dot tcd dot ie [Personnel] [Update your entry] [Computer Science] [Trinity College Dublin] URL: https://www.cs.tcd.ie/Matthew.Hennessy/ WebAdmin at cs.tcd.ie Last modified: Thu Jan 10 13:06:08 GMT 2013