Notes concerning “Typing”

• The AL programming language, dimensional analysis, and typing: do different dimensions really exist? 2007 to 2009 (2 minutes)
• ML’s value restriction and the Modula-3 typing system 2007 to 2009 (3 minutes)
• Fixed point 2014-04-24 (1 minute)