It would be interesting to include skip[1] as it has language level memoization. There was a recent HN discussion about the language [2]. I do not think that the naive recursive Fibonacci is a useful benchmark in any way though, it's a way too pessimized implementation.
[1] http://www.skiplang.com/ [2] https://news.ycombinator.com/item?id=18077612