Sciweavers

16 search results - page 4 / 4
» A Conservative Look at Operational Semantics with Variable B...
Sort
View
FSTTCS
2007
Springer
14 years 1 months ago
Closures and Modules Within Linear Logic Concurrent Constraint Programming
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...
Rémy Haemmerlé, François Fage...