Symbolic abstract data type inference

Michael Emmi, Constantin Enea
2016 SIGPLAN notices  
doi:10.1145/2914770.2837645 fatcat:ecbh6wpntva2bdxdz56trhafee