A Trace Semantics for System F Parametric Polymorphism (2018)

First Author: Jaber G
Attributed to:  System-Level Game Semantics: A unifying framework for composing systems funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract