Sciweavers

16 search results - page 4 / 4
» A Conservative Look at Operational Semantics with Variable B...
Sort
View
FSTTCS
2007
Springer
13 years 11 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...