User talk:Ruud Koot/Computer science/Strong and weak typing

"exceptions would be Coq, STLC"
This should be explained with links/examples or using real terminology. Ushkin N (talk) 13:29, 25 May 2016 (UTC)


 * What terminology is not real? —Ruud 15:54, 25 May 2016 (UTC)
 * This question makes no sense. It wasn't shown why Coq, STLC are exceptions. Ushkin N (talk) 17:27, 25 May 2016 (UTC)