FTPL
2016
10 years 6 hour ago
2016
We employ automata over infinite alphabets to capture the semantics of a finitary fragment of ML with ground-type references. Our approach is founded on game semantics, which all...