A *(Learning Lounge) course about the _(TUNES Project).

<ul>
<li>Far's papers at http://fare.tunes.org/tmp/
<li>Far's upcoming thesis.
<li><a href="http://tunes.org/HLL/requirements.html">HLL requirements</a>
<li><a href="http://tunes.org/HLL/semantics.html">HLL semantics</a>
</ul>