soundness

1 post

• [Programming Languages #3] 타입 시스템: 프로그램이 안전하다는 것을 어떻게 보장할까? Mar 18, 2026