Wisnesky, RyanHernandez, Mauricio A.Popa, Lucian2016-01-282009Wisnesky, Ryan, Mauricio A. Hernandez, and Lucian Popa. 2009. Mapping Polymorphism - Proofs. Harvard Computer Science Group Technical Report TR-10-09.http://nrs.harvard.edu/urn-3:HUL.InstRepos:24947962This 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).en-USResearch Paper or Report2016-01-28