an academic programming language