Symbolic abstract data type inference

Michael Emmi, Constantin Enea
2016 Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL 2016  
doi:10.1145/2837614.2837645 dblp:conf/popl/EmmiE16 fatcat:ig4d7tr43zcglmuw6n7rulpzzi