Survey of High-Level Language Interpreters/Compilers for Microcontrollers
I would add Staapl to this list.

Staapl allows you to use Scheme macros as a metaprogramming tool on top of a forth-like stack language. Staapl currently targets the PIC18 chips.

Forth is definitely not a high level language, but the addition of Scheme on top of it eases the development.