Talk:deep embedding

The previous definition was that of denotational semantics, not of deep embedding. I've changed the text to match the definition used in "Certifying Machine Code Safety: Shallow versus Deep Embedding" by Martin Wildmoser and Tobias Nipkow. - jun 194.47.15.2 14:49, 20 September 2011 (UTC)