deep embedding English

Meaning deep embedding meaning

What does deep embedding mean?

deep embedding noun

— (logic, uncountable) The act of representing one language, typically a logic or programming language, with another by modeling expressions in the former as data in the latter.

— (logic, countable) A specific such representation.