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

by Daniel Deutch, et al.
Citations:12 - 9 self