Formalizing An Extensional Semantics for Units-of-Measure

First Page		Document Content
Date: 2010-07-30 12:09:56 Type system Data types Type theory 8U		Formalizing An Extensional Semantics for Units-of-Measure Add to Reading List Source URL: research.microsoft.com Download Document from Source Website File Size: 867,69 KB Share Document on Facebook