A Semantic Foundation for Hidden State.

Jan Schwinghammer, Hongseok Yang, Lars Birkedal, Franois Pottier, Bernhard Reus

Browse the full FOSSACS paper archive.