A question of my own: is there any written design (an academic paper would be perfect) of a functional shell language?

A few: http://www.citeulike.org/user/spl/tag/shell

More resources: http://www.cse.unsw.edu.au/~pls/thesis-topics/functionalshell.html

Regards,
Sean