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]
No references recorded for this publication.
No citations of this publication recorded.