Skip to search formSkip to main contentSkip to account menu

Type punning

Known as: Pun (disambiguation), Reinterpret cast, Reinterpretation cast 
In computer science, type punning is a common term for any programming technique that subverts or circumvents the type system of a programming… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2016
Review
2016
In this paper, we review existing points-to Separation Logics for dynamic memory reasoning and we find that different usages of… 
2014
2014
The main purpose of this study is to analyse what translation strategies can be used for rendering puns and cultural references… 
2011
2011
Entre archaisme et modernite, les sources esthetiques de William Morris (1834-1896) s'enracinent dans divers pans de la culture… 
2007
2007
Trata-se de mostrar em que sentido a concepcao normativa de pessoa em John Rawls pressupoe uma transformacao semântica da… 
2005
2005
Society needs humor, not just for entertainment. In the current business world, humor is considered to be so important that… 
2004
2004
This paper explores the abiding influence of Joyce on the thought of Jacques Lacan. The influence is traced specifically in the… 
2001
2001
Was Shakespeare's Macbeth set in the Falkland Islands? Or New Zealand? Or perhaps Australia? Did Shakespeare go to a University… 
1978
1978
Review
1937
Review
1937
Most of the work done in the field of semiotic has unti l now been ei ther on the general subject (such as the work of Mannoury…