sigpl , sigpl-winter-school-2017 , programming-language , proof , number-theory , coq , math
SIGPL Winter School 2017에 참여하여 보고, 듣고, 배우고, 느낀점을 정리한 글입니다.
관련 자료가 여기(슬라이드)와 여기(책) 있으니 필요하신 분은 참고하시기 바랍니다!
NEXT POST