http://spivey.oriel.ox.ac.uk/corner/Oxford_Oberon-2_compiler is one I know of...