ECKEL, Bruce. Strong Typing vs. Strong Testing [online]. Google Docs. Dostupné online.Je zde použita šablona {{Cite web}} označená jako k „pouze dočasnému použití“.[nedostupný zdroj]
groups.google.com
Martelli, Alex. Re: polymorphism (was Re: Type checking in python?) [online]. 2000/07/26. Dostupné online. 8lmvn6017l@news1.newsguy.com.Je zde použita šablona {{Cite web}} označená jako k „pouze dočasnému použití“.
mozilla.com
Adobe and Mozilla Foundation to Open Source Flash Player Scripting Engine [online]. Dostupné online.Je zde použita šablona {{Cite web}} označená jako k „pouze dočasnému použití“.
psu.edu
citeseerx.ist.psu.edu
XI, Hongwei; SCOTT, Dana. Dependent Types in Practical Programming. Proceedings of ACM SIGPLAN Symposium on Principles of Programming Languages. ACM Press, 1998, s. 214–227. Dostupné online.Je zde použita šablona {{Cite journal}} označená jako k „pouze dočasnému použití“.
sourceforge.net
psyco.sourceforge.net
Psyco, a Python specializing compiler [online]. Dostupné online.Je zde použita šablona {{Cite web}} označená jako k „pouze dočasnému použití“.
stanford.edu
theory.stanford.edu
Mitchell, John C.; Plotkin, Gordon D.; Abstract Types Have Existential Type, ACM Transactions on Programming Languages and Systems, Vol. 10, No. 3, July 1988, pp. 470–502
web.archive.org
MEIJER, Erik; DRAYTON, Peter. Static Typing Where Possible, Dynamic Typing When Needed: The End of the Cold War Between Programming Languages [online]. Microsoft Corporation [cit. 2011-06-20]. Dostupné v archivu pořízeném dne 2011-04-08.Je zde použita šablona {{Cite web}} označená jako k „pouze dočasnému použití“.