A Trace Semantics for System F Parametric Polymorphism (2018)

First Author: Jaber G
Attributed to:  Program Reasoning with Nominal Game Semantics funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract