フォロー
Pedro Abreu
Pedro Abreu
その他の名前Pedro da Costa Abreu Júnior
Purdue University
確認したメール アドレス: purdue.edu - ホームページ
タイトル
引用先
引用先
年
A Type-Based Approach to Divide-and-Conquer Recursion in Coq
P Abreu, B Delaware, A Hubers, C Jenkins, JG Morris, A Stump
Proceedings of the ACM on Programming Languages 7 (POPL), 61-90, 2023
22023
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。