26 citations · 48 across the 6 of their papers we have counts for
11 papers · 1 filter
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…
A Typed Programmatic Interface to Contracts on the Blockchain
Thi Thu Ha Doan, Peter Thiemann
Smart contract applications on the blockchain can only reach their full potential if they integrate seamlessly with traditional software systems via a programmatic interface. This…
Generation of TypeScript Declaration Files from JavaScript Code
Fernando Cristiani, Peter Thiemann
Developers are starting to write large and complex applications in TypeScript, a typed dialect of JavaScript. TypeScript applications integrate JavaScript libraries via typed descr…
Duality of Session Types: The Final Cut
Simon J. Gay, Peter Thiemann, Vasco T. Vasconcelos
Duality is a central concept in the theory of session types. Since a flaw was found in the original definition of duality for recursive types, several other definitions have been p…
Label-Dependent Session Types
Peter Thiemann, Vasco T. Vasconcelos
Session types have emerged as a typing discipline for communication protocols. Existing calculi with session types come equipped with many different primitives that combine communi…
Intrinsically-Typed Mechanized Semantics for Session Types
Peter Thiemann
Session types have emerged as a powerful paradigm for structuring communication-based programs. They guarantee type soundness and session fidelity for concurrent programs with soph…