Relational Parametricity for Computational Effects (2007)

First Author: Mogelberg R
Attributed to:  Relational Parametricity for Computational Effects funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1109/lics.2007.40

Publication URI: http://dx.doi.org/10.1109/lics.2007.40

Type: Conference/Paper/Proceeding/Abstract

ISBN: 0-7695-2908-9