Notes concerning “APL”

• Why John Backus Was on the Wrong Track 2007 (updated 2019-05-05) (48 minutes)
• A stack of coordinate contexts 2007 to 2009 (9 minutes)
• Index set inference or domain inference for programming with indexed families 2007 to 2009 (updated 2019-05-05) (27 minutes)
• 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)
• Relational modeling and APL 2019-05-20 (updated 2019-05-21) (5 minutes)
• Observable transaction possibilities 2019-06-15 (10 minutes)
• Reducing the cost of self-verifying arithmetic with array operations 2019-06-23 (15 minutes)
• A formal language for defining implicitly parameterized functions 2019-09-05 (updated 2019-09-30) (29 minutes)