Report - Mike Lam, ProfessorStatic vs. dynamic type checking – Static type checking finds type errors at compile time Usually checked by compiler (e.g., Haskell) – Dynamic type checking

Please pass captcha verification before submit form