For my final project I would like to implement the join calculus in Scala. It hasn't been previously done, and I think Scala would be a good language to build on top of.