Programming Systems Lab: Publications by François Pottier

Saarland University Computer Science

Select author:

2012

A Step-indexed Kripke Model of Hidden State   (pdf)
Jan Schwinghammer, Lars Birkedal, François Pottier, Bernhard Reus, Kristian Støvring, Hongseok Yang
Mathematical Structures in Computer Science

2010

A Semantic Foundation for Hidden State   (pdf)
Jan Schwinghammer, Hongseok Yang, Lars Birkedal, François Pottier, Bernhard Reus
Foundations of Software Science and Computation Structures (FOSSACS 2010)


Login to edit


Webmaster, Mon May 30 13:48:30 2016