Wolfgang Naraschewski

Learn More
We show how extensible records with structural subtyping can be represented directly in Higher-Order Logic (HOL). Exploiting some specific properties of HOL, this encoding turns out to be extremely simple. In particular , structural subtyping is subsumed by naive parametric polymor-phism, while overridable generic functions may be based on overloading.(More)
  • 1