18429 search results - page 126 / 3686 » Typing dynamic typing |
136
click to vote
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
Previous type systems for mobility calculi (the original Mobile Ambients, its variants and descendants, e.g., Boxed Ambients and Safe Ambients, and other related systems) offer lit...
153
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
The HL7 standard is widely used to exchange medical information electronically. As a part of the standard, HL7 defines scalar communication data types like physical quantity, poin...
118
click to vote
PLPV
2009
ACM
16 years 1 months ago
2009
ACM
Haskell’s multi-parameter type classes, together with functional dependencies, allow the specification of complex type-level opera
131
click to vote
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
When students first learn programming, they often rely on a simple operational model of a program’s behavior to explain how particular features work. Because such models build o...
134
click to vote
ICDT
2007
ACM
15 years 10 months ago
2007
ACM
Stay macro tree transducers (smtts) are an expressive formalism for reasoning about XSLT-like document transformations. Here, we consider the exact type checking problem for smtts....