Programming Systems Lab: Publications by Jacob Thamsborg

Saarland University Computer Science

Select author:

2011

Step-indexed Kripke Models over Recursive Worlds   (pdf)
Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Kristian Støvring, Jacob Thamsborg, Hongseok Yang
Principles of Programming Languages (POPL'11)


Login to edit


Webmaster, Mon May 30 13:48:30 2016