Talk:deep embedding
Latest comment: 12 years ago by 194.47.15.2
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)