1 citations · 1 across the 2 of their papers we have counts for
2 papers
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…
cs.CV2014
New Algorithmic Approaches to Point Constellation Recognition
Thomas Bourgeat, Julien Bringer, Herve Chabanne +7
Point constellation recognition is a common problem with many pattern matching applications. Whilst useful in many contexts, this work is mainly motivated by fingerprint matching.…