7 citations · 21 across the 11 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2019★ 4 cited
Value-Dependent Session Design in a Dependently Typed Language
Jan de Muijnck-Hughes, Edwin Brady, Wim Vanderbauwhede
Session Types offer a typing discipline that allows protocol specifications to be used during type-checking, ensuring that implementations adhere to a given specification. When loo…
cs.PL2015★ 3 cited
Inferring Program Transformations from Type Transformations for Partitioning of Ordered Sets
Wim Vanderbauwhede
In this paper I introduce a mechanism to derive program transforma- tions from order-preserving transformations of vector types. The purpose of this work is to allow automatic gene…