| Document Date: 2010-07-30 11:26:28
Open Document File Size: 258,59 KBShare Result on Facebook
City Cambridge / Paris / / Company Computing Machinery Inc. / Units / ACM Inc. / / Country United Kingdom / France / / / / IndustryTerm diļ¬erent systems / Type systems / n-fold product / / Movie D. 5 / / Organization Westbrook Centre / Ecole Polytechnique / Association for Computing Machinery / / Person Andrew J. Kennedy / Ty / / Position author / / ProgrammingLanguage ML / Standard ML / / Technology dom / / URL http /
SocialTag |
Relational Parametricity and Units of Measure Andrew J. Kennedy In Proceedings of the 24th Annual ACM Symposium on Principles of Programming Languages, Paris, France, JanuaryThe following copyright notice is requi