Normal form bisimulation for parametric polymorphism (2008)

First Author: P Levy
Attributed to:  Semantics of Nondeterminism: Functions, Strategies and Bisimulation funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract