Ofront, Ofront+ и voc написаны на Обероне, притом на первом, без связанных с типом процедур. На базе компилятора OP2, на котором основаны также ETH Oberon и BlackBox, только кодогенератор (бэк-энд) заточен на генерацию Си-кода. Адаптировать для генерации в другой выходной язык наверное будет несложно.