Linguistic side effects

Direct Compositionality

Volumn , Issue , 2023, Pages 132-163

  Shan, Chung Chieh ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85195945019     PISSN: None     EISSN: None     Source Type: Book    
DOI: None     Document Type: Chapter

References (59)

1. Abramsky, S. and McCusker, G. 1997. 'Game semantics', presented at the 1997 Marktoberdorf Summer School. 26 Sep. 2000, http://web.comlab.ox.ac.uk/oucl/work/samson.abramsky/mdorf97.ps.gz.
2. Baker, C. L. 1968. Indirect questions in English. Ph.D. thesis, University of Illinois.
3. Barker, C. 2000. 'Notes on higher-order continuations', MS, University of California, San Diego.
4. Barker, C. 2002. 'Continuations and the nature of quantification', Natural Language Semantics, 10: 211-42.
5. Beck, S. 1996. 'Quantified structures as barriers for LF movement', Natural Language Semantics, 4:1-56.
6. den Besten, H. and Webelhuth, G. 1990. 'Stranding', in (eds), Scrambling and Barriers. G. Grewendorf and W. Sternefeld, Amsterdam: John Benjamins. 77-92.
7. Büring, D. 2001. 'A situation semantics for binding out of DP', in R. Hastings, B. Jackson, and Z. Zvolensky (eds), Proceedings from Semantics and Linguistic Theory XI. Ithaca, NY: Cornell University Press. 56-75.
8. Chomsky, N. 1995. The Minimalist Program, chap. 4 (Categories and transformations), 219-394. Cambridge, MA: MIT Press.
9. Cinque, G. 1990. Types of A-dependencies. Cambridge, MA: MIT Press.
10. Cooper, R. 1983. Quantification and Syntactic Theory. Dordrecht: Reidel.
11. Danvy, O. and Filinski, A. 1989. 'A functional abstraction of typed contexts', Tech. Rep. 89/12, DIKU, University of Copenhagen, Denmark. http://www.daimi.au.dk/~danvy/Papers/fatc.ps.gz.
12. Danvy, O. and Filinski, A. 1990. 'Abstracting control', in Proceedings of the 1990 ACM conference on Lisp and functional programming. New York: ACM Press. 151-60.
13. Danvy, O. and Filinski, A. 1992. 'Representing control: A study of the CPS transformation', Mathematical Structures in Computer Science, 2: 361-91.
14. van Eijck, J. and Francez, N. 1995. 'Verb-phrase ellipsis in dynamic semantics', in L. Pólos and M. Masuch (eds), Applied logic: How, what, and why: Logical approaches to natural language. Dordrecht: Kluwer. 29-60.
15. v-CS conversion: A syntactic theory of control and state in imperative higher-order programming languages. Ph.D. thesis, Computer Science Department, Indiana University. Also as Tech. Rep. 226.
16. Felleisen, M. 1988. 'The theory and practice of first-class prompts', in POPL '88: Conference record of the annual ACM symposium on principles of programming languages. New York: ACM Press. 180-90.
17. Filinski, A. 1994. 'Representing monads', in POPL '94: Conference record of the annual ACM symposium on principles of programming languages. New York: ACM Press. 446-57.
18. Filinski, A. 1996. Controlling effects. Ph.D. thesis, School of Computer Science, Carnegie Mellon University. Also as Tech. Rep. CMU-CS-96-119.
19. Filinski, A. 1999. 'Representing layered monads', in POPL '99: Conference record of the annual ACM symposium on principles of programming languages. New York: ACM Press. 175-88.
20. Frege, G. 1891. 'Funktion und Begriff'. Vortrag, gehalten in der Sitzung vom 9. Januar 1891 der Jenaischen Gesellschaft für Medizin und Naturwissenschaft, Jena: Hermann Pohle. English translation Frege (1980a ).
21. Frege, G. 1892. 'Über Sinn und Bedeutung', Zeitschrift für Philosophie und philosophische Kritik, 100: 25-50. English translation Frege (1980b).
22. Frege, G. 1980a. 'Function and concept', in Frege (1980c), 21-41. Reprinted as Frege (1997b).
23. Frege, G. 1980b. 'On sense and reference', in Frege (1980c ), 56-78. Reprinted as Frege (1997c).
24. Frege, G. 1980c. Translations from the philosophical writings of Gottlob Frege, ed. Peter Geach and Max Black. 3rd ed. Oxford: Blackwell.
25. Frege, G. 1997a. The Frege reader, ed. Michael Beaney. Oxford: Blackwell.
26. Frege, G. 1997b. 'Function and concept', in Frege (1997a), 130-48.
27. Frege, G. 1997c. 'On Sinn and Bedeutung', in Frege (1997a), 151-71.
28. Gardent, C. 1991. 'Dynamic semantics and VP-ellipsis', in J. van Eijck (ed.), Logics in AI: European workshop JELIA '90, Lecture Notes in Artificial Intelligence 478, Berlin: Springer. 251-66.
29. Groenendijk, J. and Stokhof, M. 1991. 'Dynamic predicate logic', Linguistics and Philosophy, 14: 39-100.
30. de Groote, P. 2001. 'Type raising, continuations, and classical logic', in R. van Rooy and M. Stokhof (eds), Proceedings of the 13th Amsterdam Colloquium. Institute for Logic, Language and Computation, University of Amsterdam. 97-101.
31. Hamblin, C. L. 1973. 'Questions in Montague English', Foundations of Language, 10: 41-53.
32. Hardt, D. 1999. 'Dynamic interpretation of verb phrase ellipsis', Linguistics and Philosophy, 22: 185-219.
33. Hatcliff, J. and Danvy, O. 1997. 'Thunks and the Î-calculus', Journal of Functional Programming, 7: 303-19.
34. Heim, I. 1982. The semantics of definite and indefinite noun phrases. Ph.D. thesis, University of Massachusetts, Amherst.
35. Ingerman, P. Z. 1961. 'Thunks: A way of compiling procedure statements with some comments on procedure declarations', Communications of the ACM, 4: 55-8.
36. Jacobson, P. 1999. 'Towards a variable-free semantics', Linguistics and Philosophy, 22: 117-84.
37. Jacobson, P. 2000. 'Paycheck pronouns, Bach-Peters sentences, and variable-free semantics', Natural Language Semantics, 8: 77-155.
38. Kameyama, Y. and Hasegawa, M. 2003. 'A sound and complete axiomatization of delimited continuations', in ICFP '03: Proceedings of the ACM international conference on functional programming. New York: ACM Press. 177-88.
39. Kamp, H. 1981. 'A theory of truth and semantic representation', in J. A. G. Groenendijk, T. M. V. Janssen, and M. B. J. Stokhof. Formal methods in the study of language: Proceedings of the 3rd Amsterdam Colloquium. Amsterdam: Mathematisch Centrum. 277-322.
40. Keller, W. R. 1988. 'Nested Cooper storage: The proper treatment of quantification in ordinary noun phrases', in U. Reyle and C. Rohrer, (eds), Natural language parsing and linguistic theories. Dordrecht: Reidel. 432-47.
41. May, R. C. 1977. The grammar of quantification. Ph.D. thesis, MIT. Reprinted by New York: Garland, 1991.
42. Moggi, E. 1991. 'Notions of computation and monads', Information and Computation, 93: 55-92.
43. Montague, R. 1974. 'The proper treatment of quantification in ordinary English', in R. Thomason (ed.), Formal philosophy: Selected papers of Richard Montague, New Haven, CT: Yale University Press. 247-70.
44. Moortgat, M. 1988. Categorial investigations: Logical and linguistic aspects of the Lam- bek calculus. Dordrecht: Foris.
45. Moortgat, M. 1995. 'In situ binding: A modal analysis', in P. Dekker and M. Stokhof (eds), Proceedings of the 10th Amsterdam Colloquium. Institute for Logic, Language and Computation, University of Amsterdam. 539-49.
46. Moortgat, M. 1996. 'Generalized quantifiers and discontinuous type constructors', in H. C. Bunt and A. van Horck (eds), Discontinuous Constituency. Berlin: Mouton de Gruyter. 181-207.
47. Moschovakis, Y. N. 1993. 'Sense and denotation as algorithm and value', in J. Oikko- nen and J. Vaananen (eds), Logic Colloquium '90: Association of Symbolic Logic summer meeting. Lecture Notes in Logic 2. Poughkeepsie, NY: Association for Symbolic Logic. Reprinted by Natick, MA: A K Peters. 210-49.
48. Pesetsky, D. 2000. Phrasal Movement and its Kin. Cambridge, MA: MIT Press.
49. Postal, P. M. 1998. Three Investigations of Extraction. Cambridge, MA: MIT Press.
50. Quine, W. V. O. 1960. Word and Object. Cambridge, MA: MIT Press.
51. Raymond, E. S., et al. (eds). 2003. The Jargon File. http://www.catb.org/~esr/jargon/. Version 4.4.7. Version 4.0.0 was published by MIT Press as The New Hacker's Dictionary.
52. Richards, N. W., III. 1997. What moves where when in which language? Ph.D. thesis, MIT. Published as Movement in Language: Interactions and Architectures by Oxford University Press, 2001.
53. Shan, C.-C. 2002. 'A continuation semantics of interrogatives that accounts for Baker's ambiguity', in B. Jackson (ed.), Proceedings from Semantics and Linguistic Theory XII. Ithaca, NY: Cornell University Press. 246-65.
54. Shan, C.-C. 2003. 'Quantifier strengths predict scopal possibilities of Mandarin Chinese wh-indefinites', Draft MS, Harvard University; http://www.eecs.harvard.edu/~ccshan/mandarin/.
55. Shan, C.-C. 2004. 'Shift to control', in O. Shivers and O. Waddell (eds), Proceedings of the ļth workshop on Scheme and functional programming. Tech. Rep. 600, Computer Science Department, Indiana University. 99-107.
56. Shan, C.-C. and Barker, C. 2002. 'A unified explanation for crossover and superiority in a theory of binding by predicate abstraction', poster presented at the North East Linguistic Society conference (NELS 33).
57. Shan, C.-C. 2006. 'Explaining crossover and superiority as left-to-right evaluation', Linguistics and Philosophy, 29: 91-134.
58. Søndergaard, H. and Sestoft, P. 1990. 'Referential transparency, definiteness and unfoldability', Acta Informatica, 27: 505-17.
59. Søndergaard, H. and Sestoft, P. 1992. 'Non-determinism in functional languages', The Computer Journal, 35: 514-23.