logo
formal frameworks

컨퍼런스 결과 (1)

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

Rank: A*Offline
Rennes, France
Jan 11, 2026
experience reportsor application of programming languagesformal frameworks+4 더 보기