Polymorphic Extractors for Semantic and Portable Pattern Matching

Published in GPCE (Short Paper), 2019