Philip Wadler의 동적 타입과 정적 타입을 조화시키는 아이디어에 대한 강연
안기영동영상 Google Tech 강연 http://www.youtube.com/watch?v=2t9q-936yxw
앞부분 슬라이드는 http://homepages.inf.ed.ac.uk/wadler/topics/gj.html#oopsla 타입 시스템에 대한 간단한 배경 이론 소개와 하스켈 타입 클래스와 Java Generic 등에 대해 다루고요.
뒷부분 슬라이드는 http://homepages.inf.ed.ac.uk/wadler/topics/links.html#blame-icfp 정적 타입과 동적 타입을 조화시키는 아이디어에 대한 내용입니다.