A pattern-matching safety analysis for Haskell, based on a type system for intensional datatype refinements and implemented as a GHC Core plugin.
A pattern-matching safety analysis for Haskell, based on a type system for intensional datatype refinements and implemented as a GHC Core plugin.