Notes concerning “Types”

• APL with typed indices 2013-05-17 (11 minutes)
• A principled rethinking of array languages like APL 2015-05-16 (updated 2019-09-30) (31 minutes)
• What is the type of lerp? 2017-01-08 (5 minutes)
• Generic programming with proofs, specification, refinement, and specialization 2017-05-10 (6 minutes)
• Patterns for failure-free, bounded-space, and bounded-time programming 2018-04-27 (updated 2019-09-10) (42 minutes)