Flexible type systems for the rapid development of reliable software

Submitted by dbgroup-admin on Thu, 05/27/2010 - 20:57

TitleFlexible type systems for the rapid development of reliable software
Publication TypeConference Paper
Year of Publication1988
AuthorsBreazu-Tannen V, Buneman P, Gunter CA
EditorGaffney JE
Conference NameProductivity: Progress, Prospects and Payoff
Date PublishedJune
PublisherAssociation for Computing Machinery