Teorik bilgisayar bilimi - Diğer diller