Type Inference and Type Checking for Queries on Execution Traces (2008)

by Daniel Deutch, et al.
Citations:15 - 10 self