Publication | Open Access
Type-extension type test can be performed in constant time
79
Citations
2
References
1991
Year
Type-extension Type TestEngineeringType TheoryDependently Typed ProgrammingSoftware TestingVerificationAlert PreferencesFormal MethodsYorktown HeightsBibliometricsCitation AnalysisType SystemConstant Time AuthorSoftware AnalysisStatisticsJournalismFormal Verification
article Free AccessType-extension type test can be performed in constant time Author: Norman H. Cohen T. J. Watson Research Center, Yorktown Heights, NY T. J. Watson Research Center, Yorktown Heights, NYView Profile Authors Info & Claims ACM Transactions on Programming Languages and SystemsVolume 13Issue 4Oct. 1991 pp 626–629https://doi.org/10.1145/115372.115297Published:01 October 1991Publication History 63citation439DownloadsMetricsTotal Citations63Total Downloads439Last 12 Months29Last 6 weeks1 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF
| Year | Citations | |
|---|---|---|
Page 1
Page 1