A proof of Moessner’s theorem by coinduction M. NiquiJ. J. M. M. Rutten OriginalPaper Open access 01 June 2012 Pages: 191 - 206
Path resolution for nested recursive modules Jacques GarrigueKeiko Nakata OriginalPaper 26 May 2012 Pages: 207 - 237
Continuation-Passing C, compiling threads to events through continuations Gabriel KerneisJuliusz Chroboczek OriginalPaper 24 July 2012 Pages: 239 - 279