i mentioned doing a survey on how various jvm languages implement algebraic types and pattern matching, and somebody in here expressed interest in seeing it. however, i can't remember who it was and am unable to find the messages in the archives... so here it is:
http://io7m.com/documents/adt-jvm/