Inhaltsverzeichnis: “...1 Introduction ..... 5 -- 2 Concepts ..... 8 -- 2.1 Polymorphic Types ..... 8 -- 2.2 Higher-Order...”

Inhaltsverzeichnis: “...1 Introduction ..... 3 -- 2 Related Work ..... 3 -- 3 The Java Virtual Machine ..... 4 -- 3.1 Basic...”