4 citations · 6 across the 3 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2025
Custom Representations of Inductive Families
Constantine Theocharis, Edwin Brady
Inductive families provide a convenient way of programming with dependent types. Yet, when it comes to compilation, their default linked-tree runtime representations, as well as th…
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…