Search Results for author:
Found 2 papers, 0 papers with code
A Role for Dependent Types in Haskell (Extended version)
Modern Haskell supports zero-cost coercions, a mechanism where types that share the same run-time representation may be freely converted between.
Programming Languages
New Algorithmic Approaches to Point Constellation Recognition
Whilst useful in many contexts, this work is mainly motivated by fingerprint matching.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
