6 citations · 16 across the 8 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.PL2019★ 2 cited
Kind Inference for Datatypes: Technical Supplement
Ningning Xie, Richard A. Eisenberg, Bruno C. d. S. Oliveira
In recent years, languages like Haskell have seen a dramatic surge of new features that significantly extends the expressive power of their type systems. With these features, the c…
cs.PL2019★ 1 cited
A Role for Dependent Types in Haskell (Extended version)
Stephanie Weirich, Pritam Choudhury, Antoine Voizard +1
Modern Haskell supports zero-cost coercions, a mechanism where types that share the same run-time representation may be freely converted between. To make sure such conversions are…