![]() | Up a level |
Benton, Nick; Hofmann, Martin; Nigam, Vivek (2018): Effect-dependent transformations for concurrent programs. In: Science of Computer Programming, Vol. 155: pp. 27-51
Benton, Nick; Hofmann, Martin; Nigam, Vivek (2018): Proof-relevant logical relations for name generation. In: Logical Methods in Computer Science, Vol. 14, No. 1, 25 [PDF, 265kB]