Wikipedia

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

< User talk:Ruud Koot
Latest comment: 8 years ago by Ushkin N in topic "exceptions would be Coq, STLC"

"exceptions would be Coq, STLC"

edit
Latest comment: 8 years ago3 comments2 people in discussion

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

What terminology is not real? —Ruud 15:54, 25 May 2016 (UTC)Reply
This question makes no sense. It wasn't shown why Coq, STLC are exceptions. Ushkin N (talk) 17:27, 25 May 2016 (UTC)Reply
Add topic
Retrieved from "https://en.wikipedia.org/w/index.php?title=User_talk:Ruud_Koot/Computer_science/Strong_and_weak_typing&oldid=722049423"