Preface. Acknowledgments. Introduction. 1. Mobile computation with functions. 2. Type and effect based static analysis. 3. Overview...