Journal: Higher-Order and Symbolic Computation

Volume 17, Issue 4

275 -- 275Olivier Danvy, Ian A. Mason. Editorial
277 -- 295Christian Queinnec. Continuations and Web Servers
297 -- 345Isabella Mastroeni. Algebraic Power Analysis by Abstract Interpretation
347 -- 394Simon Helsen. Bisimilarity for the Region Calculus