Row-Polymorphic Types for Strategic Rewriting.

Rongxiao Fu Xueying Qin Ornela Dardha Michel Steuwer

Published in: CoRR (2021)

Keyphrases

case study
knowledge management
genetic algorithm
multiscale
object oriented
rewrite rules