Report - Bidirectional Elaboration of Dependently Typed Programsfferre8/papers/BidirectionalElaboration.pdfIdris, Brady [2013] describes the elaboration between source and target, but no theoretical

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form