The work of Kumiko Tanaka-Ishii [1,2,3] might interest you.In her book[1] she compares Haskell and Java
Pat
[1] http://www.cambridge.org/us/academic/subjects/psychology/cognition/semiotics-programming
[2] http://french.chass.utoronto.ca/as-sa/ASSA-No20/Article1en.html
[3] http://www.degruyter.com/dg/viewarticle/j$002fsemi.2006.2006.issue-158$002fsem.2006.006$002fsem.2006.006.xml;jsessionid=3484B3B2D6C9EA63F20051BCB97786CF