Context logic and tree update - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Cristiano Calcagno, Philippa Gardner, Uri Zarfaty. Context logic and tree update. In Jens Palsberg, Martín Abadi, editors, Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005. pages 271-282, ACM, 2005. [doi]

This author has not been identified. Look up 'Cristiano Calcagno' in GoogleThis author has not been identified. Look up 'Philippa Gardner' in GoogleThis author has not been identified. Look up 'Uri Zarfaty' in Google

runs on WebDSL