External Links

    Journal: Electronic Notes in Theoretical Computer Science

    Volume 138, Issue 2

    1 -- 2Viviana Bono, Michele Bugliesi, Sophia Drossopoulou. Preface
    3 -- 35Davide Ancona, Sonia Fagorzi, Elena Zucca. A Calculus for Dynamic Reconfiguration with Low Priority Linking
    37 -- 58Christopher Anderson, Paola Giannini. Type Checking for JavaScript
    59 -- 78Lorenzo Bettini, Sara Capecchi, Betti Venneri. Translating Double Dispatch into Single Dispatch
    79 -- 94Johan Glimming, Neil Ghani. Difunctorial Semantics of Object Calculus
    95 -- 116Mirko Viroli. Effective and Efficient Compilation of Run-Time Generics in Java
    117 -- 136Stephanie Weirich, Liang Huang. A Design for Type-Directed Programming in Java
    runs on