22 search results - page 2 / 5 » popl 2003 |
POPL
2003
ACM
14 years 5 months ago
2003
ACM
POPL
2003
ACM
14 years 5 months ago
2003
ACM
We present a type theory for higher-order modules that accounts for many central issues in module system design, including translucency, applicativity, generativity, and modules a...
POPL
2003
ACM
14 years 5 months ago
2003
ACM
We present the design of a typed assembly language called TALT that supports heterogeneous tuples, disjoint sums, and a general account of addressing modes. TALT also implements t...
POPL
2003
ACM
14 years 5 months ago
2003
ACM
The World-Wide Web Consortium (W3C) promotes XML and related standards, including XML Schema, XQuery, and XPath. This paper describes a formalization XML Schema. A formal semantic...
POPL
2003
ACM
14 years 5 months ago
2003
ACM
Now that the use of garbage collection in languages like Java is becoming widely accepted due to the safety and software engineering benefits it provides, there is significant int...