Application: Inner Product

   dot←{⍺ ⍺⍺{⍺⍺⌿⍺ ⍵⍵ R ¯1 +⍵}⍵⍵ R 1 16 +⍵}

   (2 3⍴⍳6) +dot× 3 4⍴⍳12
20 23 26 29
56 68 80 92

   (2 3⍴⍳6) +.× 3 4⍴⍳12
20 23 26 29
56 68 80 92

   (3 5⍴'foo  upon thee ') ^dot= 'thee '
0 0 1
   (3 5⍴'foo  upon thee ') ^.= 'thee '
0 0 1

Details in BAPLA 2009 paper.