Compositional reasoning and decidable checking for dependent contract types - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kenneth W. Knowles, Cormac Flanagan. Compositional reasoning and decidable checking for dependent contract types. In Thorsten Altenkirch, Todd D. Millstein, editors, Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, PLPV 2009, Savannah, GA, USA, January 20, 2009. pages 27-38, ACM, 2009. [doi]

This author has not been identified. Look up 'Kenneth W. Knowles' in GoogleThis author has not been identified. Look up 'Cormac Flanagan' in Google

runs on WebDSL