Home >

news Help

Publication Information


Title
Japanese:Agda による対位法の形式化 
English: 
Author
Japanese: 叢 悠悠.  
English: Youyou Cong.  
Language Japanese 
Journal/Book name
Japanese:第23回プログラミングおよびプログラミング言語ワークショップ 
English: 
Volume, Number, Page        
Published date Mar. 2021 
Publisher
Japanese: 
English: 
Conference name
Japanese:第23回プログラミングおよびプログラミング言語ワークショップ（PPL 2021） 
English: 
Conference site
Japanese: 
English: 

©2007 Tokyo Institute of Technology All rights reserved.