Type Inference and Type Checking for Queries on Execution Traces Daniel Deutch Tova Milo Tel Aviv University {danielde,milo - Checking - Document - PDFSEARCH.IO

First Page	Meta Content
	Type Inference and Type Checking for Queries on Execution Traces Daniel Deutch Tova Milo Tel Aviv University {danielde,milo}@post.tau.ac.il Add to Reading List Document Date: 2008-03-14 06:30:05 Open Document File Size: 600,18 KB Share Result on Facebook

Type Inference and Type Checking for Queries on Execution Traces Daniel Deutch Tova Milo Tel Aviv University {danielde,milo}@post.tau.ac.ilAdd to Reading List