176 search results - page 1 / 36 » Types for Units-of-Measure: Theory and Practice |
CEFP
2009
Springer
13 years 2 months ago
2009
Springer
POPL
1997
ACM
13 years 9 months ago
1997
ACM
Pizza is a strict superset of Java that incorporates three ideas from the academic community: parametric polymorphism, higher-order functions, and algebraic data types. Pizza is d...
WWW
2005
ACM
14 years 5 months ago
2005
ACM
On an abstract level, XML Schema increases the limited expressive power of Document Type Definitions (DTDs) by extending them with a recursive typing mechanism. However, an invest...
JAPLL
2008
13 years 4 months ago
2008
Simple type theory, also known as higher-order logic, is a natural extension of first-order logic which is simple, elegant, highly expressive, and practical. This paper surveys th...
ICDT
2007
ACM
13 years 11 months ago
2007
ACM
Information integration is becoming a critical problem for businesses and individuals alike. Data volumes are sky-rocketing, and new sources and types of information are proliferat...