26 citations · 71 across the 22 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.PL2022★ 1 cited
Polymorphic Typestate for Session Types
Hannes Saffrich, Peter Thiemann
Session types provide a principled approach to typed communication protocols that guarantee type safety and protocol fidelity. Formalizations of session-typed communication are typ…
cs.PL2022
Global Type Inference for Featherweight Generic Java
Andreas Stadelmeier, Martin Plümicke, Peter Thiemann
Java's type system mostly relies on type checking augmented with local type inference to improve programmer convenience. We study global type inference for Featherweight Generic Ja…