10 ENGLISH BOOKS RELATING TO «QUASI-QUOTATION»
Discover the use of
quasi-quotation in the following bibliographical selection. Books relating to
quasi-quotation and brief extracts from same to provide context of its use in English literature.
1
Semantics, Applications, and Implementation of Program ...
Inside quotations, "anti-quotation" annotations allow the programmer to splice in
computations that result in object-code. I am told that the idea of quasi-quotation
originates in the work of the logicians Willard V. Quine in his book Mathematical ...
2
Routledge Encyclopedia of Philosophy: Index
Related to regular quotation is a notation invented by Quine (1940), called 'quasi-
quotation'. Quine, who has done more to encourage the correct use of quotation
marks than any other writer, created quasi-quotation to help in capturing ...
3
Wittgenstein on Rules and Private Language: An Elementary ...
Readers familiar with Quine's 'quasi-quotation' will be aware that in some cases I
use ordinary quotation where logical purity would require that I use quasi-
quotation or some similar device. I have not tried to be careful about this matter,
since I ...
4
Trading Ontology for Ideology: The Interplay of Logic, Set ...
Quasi- quotation is an elaborate form of quotation.4 By means of quotation it is
possible to mention expressions instead of merely using them. In the sentence '
Boston is populous', the city Boston is used, or, in other words, the city Boston ...
Programming the generation of code using macros is facilitated by the
mechanism of quasi-quotation [BAW 99], popularized by Lisp but also used in
Scheme and other languages, including in C with the `C (Tick C) system [ENG
96a]. The idea ...
6
Mathematical Logic, Revised Edition
We may translate any quasi-quotation: r 1 into words in corresponding fashion:
The result of putting fi for V, v for 'v', . . . , 4 for V, ^ for in ' '. Described in another
way: a quasi-quotation designates that (unspecified) expression which is
obtained ...
7
Logic, Induction and Sets
A good way to think of quasi-quotes is not as a funny kind of quotation mark, for
quotation is referentially opaque and quasi-quotation is referentially transparent,
but rather as a kind of diacritic, not unlike the I^TeX commands I am using to write
...
8
Central European Functional Programming School: Second ...
5.4 Representing Programs Using Quasi-quotes Quasi-quotation is an attempt to
represent object-programs without cumbersome constructor functions. Here the
actual representation of object-code is hidden from the user by the means of a ...
Zoltán Horváth, Anna Soós, 2008
Anna's actual words were: “She said, Come over, come over this weekend,
Sunday. I'll give you something. . . . And bring along that pan. . . . So I knew what
she meant, that she'll [sic] give me some milk.” No quasi-quotation is entirely
invented.
10
Provability, Computability and Reflection
2.4.9. Quasi-quotation and other cousins. Quasi-quotation can be defined in our
terms by using f...a...' =biff[3e1] ('e1'=aandb='...e1...') once for each variable free
inside the quasi-quotes. Conversely, quantification into quotes with expression ...
NEWS ITEMS WHICH INCLUDE THE TERM «QUASI-QUOTATION»
Find out what the national and international press are talking about and how the term
quasi-quotation is used in the context of the following news items.
Salmond takes it to the 'max'
Prior to that oblique quasi-quotation from one of Dundee's most prominent MPs, Mr Salmond's address was carefully structured. Firstly, he dealt at length and in ... «BBC News, Oct 11»