In Praise of Impredicativity: A Contribution to the Formalisation of Meta-Programming.

Published in: CoRR (2018)

Keyphrases

programming language
meta level
development environment
meta reasoning
formal analysis
databases
programming course
graph transformation
bayesian networks
general purpose
object oriented programming
programming environment