"Programming Language Design and Analysis Motivated by Hardware Evolution."

Alan Mycroft (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics