Publication:

Mapping Polymorphism - Proofs

Thumbnail Image

Open/View Files

tr-10-09.pdf (203.22 KB)

Date

2009

Authors

Published Version

Published Version

Journal Title

Journal ISSN

Volume Title

Publisher

The Harvard community has made this article openly available. Please share how this access benefits you.

Research Projects

Organizational Units

Journal Issue

Citation

Wisnesky, Ryan, Mauricio A. Hernandez, and Lucian Popa. 2009. Mapping Polymorphism - Proofs. Harvard Computer Science Group Technical Report TR-10-09.

Abstract

This technical report contains the proofs for the paper Mapping Polymorphism, by Ryan Wisnesky, Mauricio A. Hernandez, and Lucian Popa, which appears in the proceedings of the 13th International Conference on Database Theory, held March 22–25, 2010, in Lausanne, Switzerland (ICDT ’10).

Description

Other Available Sources

Research Data

Keywords

Terms of Use

This article is made available under the terms and conditions applicable to Other Posted Material (LAA), as set forth at Terms of Service

URI

http://nrs.harvard.edu/urn-3:HUL.InstRepos:24947962

Collections

FAS Scholarly Articles

Endorsement

Review

Supplemented By

Related Stories