18429 search results - page 308 / 3686 » Typing dynamic typing |
175
click to vote
CONCUR
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We introduce a novel way to integrate functional and concurrent programming based on intuitionistic linear logic. The functional core arises from interpreting proof reduc...
197
click to vote
DBPL
2005
Springer
16 years 7 days ago
2005
Springer
Pattern matching mechanisms based on regular expressions feature in a number of recent languages for processing XML. The flexibility of these mechanisms demands novel approaches ...