1 Table of Contents: “... of Featherweight Go -- Streams of Approximations, Equivalence of Recursive Effectful Programs -- Fantastic...”

2 Table of Contents: “... -- Constructive Foundations for Featherweight Java...”

3 Table of Contents: “... and Heterogeneous Systems -- A Monadic Semantics for Quantum Computing in Featherweight Java -- Memoized Zipper...”

4 Table of Contents: “... Assignment for Featherweight Java: (To Rinus Plasmeijer, in Honour of His 61st Birthday) -- Verifying...”

5 Table of Contents: “... Compilation and How to Reconcile the Two, Abstractly -- A Dictionary-Passing Translation of Featherweight Go...”

6 Table of Contents: “... in Event-B -- Safe Commits for Transactional Featherweight Java -- Certified Absence of Dangling Pointers...”

7 Table of Contents: “... and Visibility Control to Traits Using Lexical Nesting -- Featherweight Jigsaw: A Minimal Core Calculus...”

8 Table of Contents: “... Style (Invited Talk) -- Session 5 -- PType System: A Featherweight Parallelizability Detector -- A Type...”

9 Table of Contents: “... -- On the Termination of Borrow Checking in Featherweight Rust -- Programming Than Programming: Teaching Formal Methods...”

10 Table of Contents: “... -- The program compaction revisited: The functional framework -- Featherweight threads and ANDF compilation...”