16 search results - page 4 / 4 » On the Relations between the Syntactic Theories of lambda-mu... |
ICDT
2012
ACM
11 years 6 months ago
2012
ACM
In a recent paper by Hellerstein [15], a tight relationship was conjectured between the number of strata of a Datalog¬ program and the number of “coordination stages” require...