Reasoning with hypothetical judgments and open terms in hybrid - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Amy P. Felty, Alberto Momigliano. Reasoning with hypothetical judgments and open terms in hybrid. In Antonio Porto, Francisco Javier Lapez-Fraguas, editors, Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal. pages 83-92, ACM, 2009. [doi]

This author has not been identified. Look up 'Amy P. Felty' in GoogleThis author has not been identified. Look up 'Alberto Momigliano' in Google

runs on WebDSL