4 citations · 4 across the 1 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2021
Idris 2: Quantitative Type Theory in Practice
Edwin Brady
Dependent types allow us to express precisely what a function is intended to do. Recent work on Quantitative Type Theory (QTT) extends dependent type systems with linearity, also a…
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…