Compiling functional programs to unconventional architectures (with or without game semantics)

I will talk about our experience in compiling conventional programs (i.e. applied lambda calculi) to unconventional architectures (reconfigurable circuits and distributed architectures), highlighting the role of game semantics and other interaction-based semantics (such as the Geometry of Interaction). Joint work with Alexander Smith and Olle Fredriksson.