Dynamic Typing, Links and Posts
Here are just some recently collected links and papers related to dynamic typing:
- http://lambda-the-ultimate.org/node/view/100Â - Why Type Systems are Interesting
- http://lambda-the-ultimate.org/node/view/175 - Why Type Systems are Interesting Part II
- http://lambda-the-ultimate.org/node/220Â - Why Type Systems are Interesting Part III
- http://lambda-the-ultimate.org/node/1705#comment-20949Â - Some discussion about the term “dynamic typing”
- http://lambda-the-ultimate.org/classic/message6587.html#6620Â - An interesting discussion between Tim Sweeney and Frank Atanassow about type systems
- http://www.cs.ut.ee/afp04/functional_os.html - A Strongly Typed Functional Operating System Based on Dynamics, a paper about Clean
- http://ptolemy.eecs.berkeley.edu/conferences/05/presentations/bowersSemanticDataType.ppt - Hybrid Types for Actor-Oriented Programming
- http://lambda-the-ultimate.org/node/1537Â - Sage: A Programming Language With Hybrid Type-Checking