4 citations · 5 across the 4 of their papers we have counts for
1 paper · 1 filter
Guilhem Jaber, Nikos Tzevelekos
We introduce a trace semantics for a call-by-value language with full polymorphism and higher-order references. This is an operational game semantics model based on a nominal inter…