フォロー
Mitchell Pickard
Mitchell Pickard
PhD Student, University of Nottingham
確認したメール アドレス: nottingham.ac.uk - ホームページ
タイトル
引用先
引用先
年
Calculating dependently-typed compilers (functional pearl)
M Pickard, G Hutton
Proceedings of the ACM on Programming Languages 5 (ICFP), 2021
102021
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。