26 citations · 71 across the 22 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.PL2021
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…
cs.PL2021
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…
cs.PL2021
Polymorphic Lambda Calculus with Context-Free Session Types
Bernardo Almeida, Andreia Mordido, Peter Thiemann +1
Context-free session types provide a typing discipline for recursive structured communication protocols on bidirectional channels. They overcome the restriction of regular session…