logo
formal frameworks

カンファレンス検索結果 (1)

ACM-SIGACT Symposium on Principles of Programming Languages (POPL)

Rank: A*Offline
Rennes, France
Jan 11, 2026
theorydesignunderstanding+4 その他