4 citations · 4 across the 1 of their papers we have counts for
2 papers
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.PL2018
A Short Note on Collecting Dependently Typed Values
Jan de Muijnck-Hughes
Within dependently typed languages, such as Idris, types can depend on values. This dependency, however, can limit the collection of items in standard containers: all elements must…