i skimmed thru it, it seems to use a K-like syntax (?) including apl type research by Justin Slepak (didnt link to a specific paper), and something he calls "stream polymorphism".
https://www.researchgate.net/scientific-contributions/Justin-Slepak-2048362989