Realization of natural language interfaces using lazy functional programming

ACM Computing Surveys

Volumn 38, Issue 4, 2006, Pages

  Frost, Richard A ^a  

^a UNIVERSITY OF WINDSOR   (Canada)

Author keywords

Computational linguistics; Higher order functions; Lazy functional programming; Montague grammar; Natural language interfaces

Indexed keywords

HIGHER-ORDER FUNCTIONS; LAZY FUNCTIONAL PROGRAMMING; MONTAGUE GRAMMAR; NATURAL-LANGUAGE INTERFACES;

COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING; INTERFACES (COMPUTER); SEMANTICS; SYNTACTICS;

NATURAL LANGUAGE PROCESSING SYSTEMS;

EID: 33845987528     PISSN: 03600300     EISSN: 15577341     Source Type: Journal    
DOI: 10.1145/1177352.1177353     Document Type: Review

References (168)

1. ABDULLAH, N. 2003. Two set-theoretic approaches to the semantics of adjective-noun combinations. M.S. thesis, School of Computer Science, University of Windsor, Ontario, Canada.
2. ABDULLAH, N. AND FROST, R. A. 2005. Adjectives: A uniform semantic approach. In Proceedings of Advances in Artificial Intelligence: the 18th Conference of the Canadian Society for Computational Studies of Intelligence (AI'02). B. Kegl and G. Lapalme, Eds. Lecture Notes in Computer Science, vol. 3501. Springer-Verlag, 330-341.
3. AHN, K., BOS, J., CLARK, S., CURRAN, J. R., DALMAS, T., LEIDNER, J. L., SMILLIE, M. B., AND WEBBER, B. 2004. Question answering with QED and WEE at TREC-2004. In Proceedings of the 13th Text Retrieval Conference (TREC'04). E. M. Voorhees and L. P. Buckland, Eds. U.S. National Institute of Standards and Technology, (NIST), Gaithesburg, MD.
4. AJDUKIEWICZ, K. 1935. Die syntaktische konnexitat. Studia Philosophica 1, 1-27.
5. ANDERSSON, I. AND SODEREBERG, T. 2003. Spanish morphology implemented in a functional programming language. M.S. thesis, Department of Computing Science Chalmers University of Technology and the University of Gothenburg.
6. ANDROUTSOPOULOS, I., RITCHIE, G. D., AND THANISCH, P. 1995. Natural language interfaces to databases: An introduction. J. Lang. Engin. 1, 1, 29-81.
7. AUGUSTEIJN, L. 1990. The elegant compiler generator system. In Proceedings of the International Conference WAGA: Attribute Grammars and their Applications, P. Dransart andM. Jourdan, Eds. Lecture Notes in Computer Science, vol. 461. Springer-Verlag, 238-254.
8. BACKUS, J. W. 1959. The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM conference. In Proceedings of the International Conference on Information Processing, UNESCO. 125-132.
9. BALDRIDGE, J. M. AND KRUIJFF, G. M. 2004. Course notes on combinatorial categorial grammar, http://esslli2004.loria.fr/content/readers/ 51.pdf.
10. BAR-HILLEL, Y. 1953. A quasi-arithmetical notation for syntactic description. Language 29, 47-58.
11. BARKER, C. 2002. Continuations and the nature of quantification. Natural Language Seman. 10, 211-242.
12. BARKER, C. 2004. Continuations in natural language. In Proceedings of the 4th ACM SIGPLAN Continuations Workshop (CW'04), H. Thielecke, Ed. School of Computer Science, University of Birmingham, 1-11.
13. BENTHEM, J. V. 1986. Language in action: categories, lambdas and dynamic logic. Sudies in Logic and the Foundation of Mathematics, D. Reidel Publishing.
14. BENTHEM, J. V. 1987. Categorial grammars and lambda calculus. In Mathematical Logic and its Applications, D. Skordev, Ed. Plenum Press.
15. BENTHEM, J. V. 1991. Language in action: categories, lambdas and dynamic logic. Sudies in Logic and the Foundation of Mathematics, vol. 30. North-Holland.
16. BLACKBURN, P. AND BOS, J. 2005. Representation and Inference for Natural Language. A First Course in Computational Semantics. CSLI Publications, Stanford University.
17. BLACKBURN, P., DYMETMAN, M., LECOMTE, A., RANTA, A., RETOHE, C., AND DE LA CLEHGERIE, E. V. 1997. Logical aspects of computational linguistics: An introduction. In Logical Aspects of Computational Linguistics, C. Retore, Ed. Lecture Notes in Computer Science, vol. 1328. Springer-Verlag, 1-20.
18. BOGAVAC, L. 2004. Functional morphology for Russian. M.S. thesis, Department of Computing Science, Chalmers University of Technology and the University of Gothenburg.
19. BOSZAHIN, C. 1997. Combinatory logic and natural language parsing. Elektrik, Turkish J. of EE and CS 5,3, 347-357.
20. BRINGET, B. 2005. Embedded grammars. M.S. thesis, Department of Computer Science and Engineering, Chalmers University of Technology and Gothenburg University.
21. BRUS, T., EEKELEN, M. V., LEER, M. V., PLASMEIJER, M. J., AND BARENDREGT, H. P. 1987. CLEAN - A language for functional graph rewriting. In Proceedings of Conference on Functional Programming Languages and Computer Architecture (FPCA'87), Kahn, Ed. Lecture Notes in Computer Science, vol. 274. Springer-Verlag, 364-384.
22. BURGE, W. H. 1975. Recursive Programming Techniques. Addison-Wesley Publishing Co., Reading, MA.
23. BURKE, D. A. AND JOHANNISSON, K. 2005. Translating formal software specifications to natural language/a grammar based approach. In Proceedings of Logical Aspects of Computational Linguistics (LACL'05), P. Blace, E. Stabler, J. Busquets, and R. Moot, Eds. Lecture Notes in Artificial Intelligence, vol. 3402. Springer-Verlag, 52-66.
24. CALLAGHAN, P. C. 1998. An evaluation of LOLITA and related natural language processing systems. Ph.D. thesis, Department of Computer Science, University of Durham.
25. CALLAGHAN, P. C. 2005. Generalized LR parsing. In The Happy User Guide (Chap. 3). Simon Marlow.
26. CARPENTER, R. 1998. Type-Logical Semantics. Bradford Books.
27. CHOMSKY, N. 1957. Syntactic Structures. Mouton de Gruyter, The Hague.
28. CONSTANTINO, M. 1999. IE-Expert: Integrating natural language processing and expert systems techniques for real-time equity derivatives trading. J. Computat. Intell. Finance 7, 2, 34-52.
29. COPESTAKE, A. 2005. Natural language processing. Lecture Notes, Computer Laboratory, University of Cambridge.
30. CURRY, H. AND FEYS, R. 1958. Combinatory logic. Studies in Logic, vol. 1. North Holland.
31. DALMAS, T. 2004. Wee /QAAM Manual. School of Informatics, University of Edinburgh.
32. DOWTY, D. 1979. Word Meaning and Montague Grammar. D. Reidel Publishing Co.
33. DOWTY, D. R., WALL, R. E., AND PETERS, S. 1981. Introduction to Montague Semantics. D. Reidel Publishing Co.
34. DYMETMAN, M., Lux, V., AND RANTA, A. 2000. XML and multilingual document authoring: Convergent trends. In Proceedings of the 18th International Conference on Computational Linguistics (COLING'00). Morgan Kaufmann, 243-249.
35. EIJCK, J. V. 2001. Incremental dynamics. J. Logic, Language and Inform. 10, 3, 319-351.
36. EIJCK, J. V. 2003. Parser combinators for extraction. In Proceedings of the 14th Amsterdam Colloquium, P. Dekker and R. van Rooy, Eds. 99-104.
37. EIJCK, J. V. 2004. Deductive parsing in haskell. Unpublished paper Uil-OTS/CWI/ILLC, Amsterdam and Utrecht.
38. EIJCK, J. V. AND NOUWEN, R. 2002. Quantification and reference in incremental processing. Unpublished paper, UiL-OTS/CWI/ILLC, Amsterdam and Utrecht.
39. FAIHBURN, J. 1986. Making form follow function: An exercise in functional programming style. Tech. rep. 89, Computer Laboratory, University of Cambridge.
40. FERNANDES, J. 2004. Generalized LR parsing in Haskell. Tech. rep. DI-PURe-04.11.01, Departamento de Informatica, da Universidade do Minho, Portugal.
41. FERNANDEZ, M. 1995. Spanish generation in the NL system LOLITA. M.S. thesis, Department of Computer Science, University of Durham.
42. FOKKER, J. 1995. Functional parsers. In Advanced Functional Programming: 1st International Spring School on Advanced Functional Programming Techniques, J. Jeuring and E. Meijer, Eds. Lecture Notes in Computer Science, vol. 924. Springer-Verlag, 1-23.
43. FORD, B. 2002. Packrat parsing: Simple, powerful, lazy, linear time. In Procedings of the ACM SIGPLAN ICFP, International Conference on Functional Programming. ACM Press, 36-47.
44. FORSBERG, M. 2004. Applications of functional programming in processing formal and natural languages. Licentiate thesis, Department of Computer Science and Engineering. Chalmers University of Technology and Gothenburg University.
45. FORSBERG, M. AND RANTA, A. 2004. Functional morphology. In Procedings of the 9th ACM SIGPLAN International Conference on Functional Programming ICFP. ACM Press, 213-223.
46. FRANK, A. U. 2001. Tiers of ontology and consistency constraints in geographical information systems. Int. J. Geograph. Inform. Science 15, 7, 667-678.
47. FROST, R. A. 1992. Constructing programs as executable attribute grammars. The Comput. J. 35, 4, 376-389.
48. FROST, R. A. 1993. Guarded attribute grammars. Softw. Pract. Exper. 23, 10, 1139-1156.
49. FROST, R. A. 2002. W/AGE the Windsor attribute grammar programming environment. In Proceedings of IEEE Symposia on Human Centric Computing Languages and Environments (HCC'02). 96-99.
50. FROST, R. A. 2003. Monadic memoization: Towards correctness-preserving reduction of search. In Proceedings of Advances in Artificial Intelligence: 16th Conference of the Canadian Society for Computational Studies of Intelligence (AI'03), Y. Xiang and B. Chaib-draa, Eds. Lecture Notes in Artificial Intelligence, vol. 2671. Springer-Verlag, 66-80.
51. FROST, R. A. 2005. A call for a public-domain speechweb. Comm. ACM 48, 11, 45-49.
52. FROST, R. A. 2006. Functional pearl; polymorphism and the meaning of transitive verbs. Tech. rep. 06-006, School of Computer Science, University of Windsor, Ontario, Canada.
53. FROST, R. A. AND BOULOS, P. 2002. An efficient compositional semantics for natural language database queries with arbitrarily-nested quantification and negation. In Proceedings of Advances in Artificial Intelligence: 15th Conference of the Canadian Society for Computational Studies of Intelligence (AI'02). R. Cohen and B. Spencer, Eds. Lecture Notes in Artificial Intelligence, vol. 2338. Springer-Verlag, 252-267.
54. FROST, R. A. AND HAFIZ, R. 2006. A new top-down parsing algorithm to accommodate ambiguity and left recursion in polynomial time. SIGPLAN Notices 42, 5, 46-54.
55. FROST, R. A., HAFIZ, R., AND CALLAGHAN, P. 2006. A general top-down parsing algorithm, accommodating ambiguity and left recursion in polynomial time. Tech. rep. 06-022, School of Computer Science, University of Windsor, Canada.
56. FROST, R. A. AND LAUNCHBURY, E. J. 1989. Constructing natural language interpreters in a lazy functional language. Comput. J. (Special issue on Lazy Functional Programming) 32, 2, 108-121.
57. FROST, R. A. AND SZYDLOWSKI, B. 1995. Memoizing purely-functional top-down backtracking language processors. Science Comput. Program. 27, 263-288.
58. GARIGLIANO, R., MORGAN, R., AND SMITH, M. 1992. LOLITA: Progress report 1. Tech. rep. 12/92, Department of Computer Science. University of Durham.
59. GARIGLIANO, R., MORGAN, R., AND SMITH, M. 1993. The LOLITA system as a contents scanning tool. In Proceedings of the 13th International Conference on Artificial Intelligence, Expert Systems and Natural Language Processing, Avignon, France.
60. GIRARD, J., LAFONT, Y., AND TAYLOR, P. 1988. Proofs and types. In Cambridge Tracts in Theoretical Computer Science, vol. 7. Cambridge University Press.
61. GRUNE, G. AND JACOBS, C. J. H. 1990. Parsing Techniques; A Practical Guide. Ellis Horwood, Chichester, England.
62. HAHNLE, R., JOHANNISSON, K., AND RANTA, A. 2002. An authoring tool for informal and formal requirements specifications. In Proceedings of FASE Fundamental Approchaes to Software Engineering. R. D. Kutsche and H. Weber, Eds. Lecture Notes in Computer Science, vol. 2306. Springer-Verlag, 233-248.
63. HALLGREEN, T. AND RANTA, A. 2000. An extensible proof text editor. In Proceedings of (LPAR'00). M. Parigot and A. Voronkov, Eds. Lecture Notes in Artificial Intelligence, vol. 1955. Springer-Verlag, 70-84.
64. HEITZ, J. 1996. An investigation into figurative language in the LOLITA NLP system. M.S. thesis, Department of Computer Science, University of Durham.
65. HENDRIKS, H. 1993. Studied flexibility: Categories and types in syntax and semantics. Ph.D. thesis, Universiteit van Amsterdam.
66. HILL, S. 1996. Combinators for parsing expressions. J. Funct. Program. 6, 3, 445-463.
67. HINRICHS, E. W. 1988. Tense, quantifiers, and contexts. Computat. Linguist. 14, 2, 3-14.
68. HOPCROFT, J. E., ULLMAN, J. D., AND MOTWANI, R. 2000. Introduction to Automata Theory, Languages, and Computation, 2nd Ed. Addison Wesley.
69. HUDAK, P., PETERSON, J., AND FASEL, J. 2000. A gentle introduction to Haskell. www.Haskell.org.
70. HUDAK, P., PEYTON-JONES, S. L., WADLER, P., BOUTEL, B., FAIRBAIRN, J., FASEL, J. H., GUZMAN, M. M., HAMMOND, K., HUGHES, J., JOHNSSON, T., KIERBURTZ, R. B., NIKHIL, R. S., PARTAIN, W., AND PETERSON, J. 1992. Report on the programming language Haskell, a non-strict, purely functional language. SIGPLAN Notices 27, 5, R1-R164.
71. HUET, G. 2003. Zen and the art of symbolic computing: Light and fast applicative algorithms for computational linguistics. In Proceedings of Practical Aspects of Declarative Languages Symposium (PADL'03), V. Dahl and P. Wadler, Eds. Lecture Notes in Artificial Intelligence, vol. 2562. Springer-Verlag, 252-267.
72. HUGHES, R. J. M. 1989. Why functional programming matters. Comput. J. (Special Issue on Lazy Functional Programming). 32, 2, 98-107.
73. HUGHES, R. J. M. 2000. Generalizing monads to arrows. Science Comp. Program, 37, 67-111.
74. HUTTON, G. 1992. Higher-order functions for parsing. J. Funct. Program. 2, 3, 323-343.
75. HUTTON, G. AND MEIJER, E. 1998. Monadic parser combinators. 7. Funct. Program. 8, 4, 437-444.
76. IWANSKA, L. 1992. A general semantic model of negation in natural language: Representation and inference. Ph.D. thesis, Computer Science, University of Illinois at Urbana-Champaign.
77. JEURING, J. AND SWIERSTRA, S. D. 1994. Bottom-up grammar analysis. In Proceedings of Programming Languages and Systems, (ESOP'94), D. Sannella, Ed. Lecture Notes in Computer Science, vol. 788. Springer-Verlag, 317-332.
78. JOHANNISSON, K. 2005. Formal and informal software specifications. Ph.D. thesis, Department of Computer Science and Engineering. Chalmers University of Technology and Gothenburg University.
79. JOHNSON, M. 1995. Squibs and discussions: Memoization in top-down parsing. Computat. Linguist 21, 3, 405-417.
80. JOHNSSON, T. 1987. Attribute grammars as a functional programming paradigm. In Functional Programming Languages and Computer Architecture, G. Kahn, Ed. Lecture Notes in Computer Science, vol. 274. Springer-Verlag, 154-173.
81. JONES, M. P., HUDAK, P., AND SHUAMYAN, S. 1995. Using types to parse natural language. In Proceedings of the Glasgow Workshop on Functional Programming. Workshops in Computer Science Series. (IFIP), Springer-Verlag.
82. KHEGAI, J., NORDSTRM, B., AND RANTA, A. 2003. Multilingual syntax editing in GF. In Proceedings of the 4th International Conference on Intelligent Text Processing and Computational Linguistics (CICLing'03), A. F. Gelbukh, Ed. Lecture Notes in Computer Science, vol. 2588. Springer-Verlag, 453-464.
83. KHEGAI, J. AND RANTA, A. 2004. Building and using a Russian resource grammar in GF. In Proceedings of the 5th International Conference on Intelligent Text Processing and Computational Linguistics (CICLing'04), A. F. Gelbukh, Ed. Lecture Notes in Computer Science, vol. 2945. Springer-Verlag, 38-41.
84. KOOPMAN, P. AND PLASMELJER, R. 1999. Efficient combinator parsers. In Proceedings of Implementation of Functional Languages: Tenth International Workshop (IFL'98). K. Hammand, T. Davie, and C. Clack, Eds. Lecture Notes in Computer Science, vol. 1595. Springer-Verlag, 122-138.
85. KORTE, L. 2004. Deep types for categorial grammar: A side effect analysis. In Proceedings of TAAL Postgraduate Conference. Edinburgh University.
86. KUDLEK, M., MARTIN-VIDE, C., MATEESCU, A., AND MITRANA, V. 2003. Contexts and the concept of mild-context-sensitivity. Linguist. Philos. 26, 703-725.
87. KUHN, W. 2002. Modelling the semantics of geographical categories through conceptual integration. In GIScience. Lecture Notes in Computer Science, vol. 2478. Springer-Verlag, 108-118.
88. KUNO, S. 1965. The predictive analyzer and a path elimination technique. Comm. ACM 8, 7, 453-462.
89. LAMBEK, J. 1958. The mathematics of sentence structure. Amer. Mathemat. Month. 65,154-170.
90. LAPALME, G. AND LAVIER, F. 1990. Using a functional language for parsing and semantic processing. Tech. rep. 715a, Departement d'informatique et recherche operationelle, Universite de Montreal.
91. LAPALME, G. AND LAVIER, F. 1993. Using a functional language for parsing and semantic processing. Computat. Intell. 9, 111-131.
92. LEERMAKERS, R. 1993. The Functional Treatment of Parsing. International Series in Engineering and Computer Science. Kluwar Academic Publishers.
93. LEIJEN, D. AND MEIJER, E. 2001. Parsec: Direct style monadic parser combinators for the real world. Tech. rep. UU-CS-2001-35, Department of Computer Science, University of Utrecht.
94. LICKMAN, P. 1995. Parsing with fixed points. M.S. thesis, University of Cambridge.
95. LJUNGLOF, P. 2002a. Functional programming and NLP. Tech. rep., Department of Computer Science, Chalmers University.
96. LJUNGLOF, P. 2002b. Pure functional parsing-an advanced tutorial. Licentiate thesis, Department of Computing Science, University of Gothenburg.
97. LJUNGLOF, P. 2004. Functional pearls: Functional chart parsing of context-free grammars, functional pearl. J. Funct. Program. 14, 6, 669-680.
98. LOIDL, H., MORGAN, R., TRINDER, P., PORIA, S., COOPER, C., PEYTON-JONES, S., AND GARIGLIANO, R. 1997. Parallelising a large functional program, or: keeping LOLITA busy. In International Workshop on the Implementation of Functional Languages, C. Clack, K. Hammond, and T. Davie, Eds. Lecture Notes in Computer Science, vol. 1467. Springer-Verlag, 198-213.
99. LONG, D. AND GAEIGLIANO, R. 1994. Analogy and Causality (AModel and Application). Ellis Horwood, Chichester, UK.
100. MARLOW, S. 2005. The Happy User Guide. http://www.Haskell.org/happy/doc/html/index.html.
101. MEDLOCK, B. 2002. A tool for generalized LR parsing in Haskell. Single honours C.S. project report, Department of Computer Science, University of Durham.
102. MEZIANE, F. AND METAIS, E., Eds. 2004. Natural Language Processing and Information Systems: 9th International Conference on Applications of Natural Language to Information Systems, (NLDB'04). Lecture Notes in Computer Science, vol. 3136. Springer-Verlag.
103. MONTAGUE, R. 1970. Universal grammar. Theoria 36, 373-398. (Reprinted in Thomason 1974, 222-246.)
104. MONTAGUE, R. 1973. The proper treatment of quantification in ordinary English. In Approaches to Natural Language, K. J. J. Hintikka, J. M. E. Moravcsik, and P. Suppes, Eds. D. Reidel Publishing Co., 221-242.
105. MOORTGAT, M. 1988. Categorial Investigations. Logical and Linguistic Aspects of the Lambek Calculus. Foris Publications, Dordrecht.
106. MORGAN, K., GARIGLIANO, R., CALLAGHAN, P., PORIA, S., SMITH, M., URBANOWICZ, A., COLLMGHAM, R., CONSTANTINO, M., COOPER, C., AND THE LOLITA GROUP, UNIVERSITY OF DURHAM, U. 1995. Description of the LOLITA system as used for MUC-6. In Proceedings of the 6th Message Understanding Conference (MUC6). NIST, Morgan-Kaufmann.
107. NAUR, P., BACKUS, J. W. (AND COLLEGUES) 1960. Report on the algorithmic language ALGOL 60. Comm. ACM 3, 5, 299-314.
108. NIKHIL, R. S. 1993. A multithreaded implementation of Id using P-RISC graphs. In Proceedings of Languages and Compilers for Parallel Computing LCPC, 6th International Workshop, U. Banerjee, D. Gelernter, A. Nicolau, and D. A. Padua, Eds. Lecture Notes in Computer Science, vol. 768. Springer-Verlag (1994), 390-405.
109. NORVIG, P. 1991. Techniques for automatic memoisation with applications to context-free parsing. Computat. Linguist. 17, 1, 91-98.
110. PAAKI, J. 1995. Attribute grammar paradigms - A high-level methodology in language implementation. ACM Comput. Surv. 27, 2, 196-256.
111. PACE, G. 2004. Monadic compositional parsing with context using maltese as a case study. In Proceedings of the Computer Science Annual Workshop (CSAW'04), University of Malta, G. Pace and J. Cordina, Eds. 60-70.
112. PANITZ, S. E. 1996. Termination proofs for a lazy functional language by abstract reduction. Tech. rep. 06, J. W. Goethe-Universitat, citeseer.nj.nec.com/panitz96termination.html.
113. PARTEE, B. H. 1975. Montague grammar and transformational grammar. Linguis. Inquiry 6, 2, 203-300.
114. PARTEE, B. H., Ed. 1976. Montague Grammar. Academic Press, New York, NY.
115. PARTEE, B. H. 2001. Montague Grammar. In International Encyclopedia of the Social and Behavioral Sciences, N. J. Smelser and P. B. Baltes, Eds. Elsevier.
116. PARTEE, B. H. AND HENDRICKS, L. W. 1997. Montague Grammar. In Handbook of Logic and Language, J. van Benthem and A. ter Meulen, Eds. Elsevier, 5-91.
117. PARTRIDGE, A. AND WRIGHT, D. 1996. Predictive parser combinators need four values to report errors. J. Funct. Program. 6, 2, 355-364.
118. PEMBECCI, I. 1995. A combinator parser for the morphological analysis of Turkish. Senior project report, Department of Computer Engineering, Middle East Technical University, Ankara.
119. PEREIRA, F. 1990. Categorial semantics and scoping. Computat. Linguis, 16, 1-10.
120. PEYTON-JONES, S. 2003. The Haskell 98 language. J. Funct. Program. 13, 1, 0-255.
121. RANTA, A. 1994. Type-Theoretical Grammar. Oxford University Press, Oxford, UK.
122. RANTA, A. 1995. Type-theoretical interpretation and generalization of phrase structure grammar. Bull. of the IGPL 3, 2, 319-342.
123. RANTA, A. 2001. 1+n representations of Italian morphology. Essays dedicated to Jan von Plato on the occasion of his 50th birthday.
124. RANTA, A. 2004. Grammatical framework. J. Funct. Program. 14, 2, 145-189.
125. RANTA, A. AND COOPER, R. 2004. Dialogue systems as proof editors. J. Logic, Language Inform. 13, 2, 225-240.
126. REED, C., LONG, D., Fox, M., AND GARAGNANI, M. 1997. Persuasion as a form of inter-agent negotiation. In Proceedings of Workshop on Distributed Artificial Intelligence (PRICAI'96). Lecture Notes in Computer Science, vol. 1286. Springer-Verlag, 120-136.
127. ROCHE, E. AND SCHABES, Y. 1997. Finite-State Language Processing. Bradford Books.
128. ROSE, T., ELWORTHY, D., KOTCHE, A., CLARE, A., AND TSONIS, P. 2000. ANVIL: A system for the retrieval of captioned images using NLP techniques. In Proceedings of Challenge of Image Retrieval (CIR'00). J. P. Eakins and P. G. B. Enser, Eds. University of Brighton, UK.
129. ROY, M. 2005. Extending a set-theoretic implementation of Montague Semantics to accommodate n-ary trnasitive verbs. M.S. thesis, School of Computer Science, University of Windsor, Ontario, Canada.
130. ROY, M. AND FROST, R. 2004. Extending Montague Sematics for use in natural language database-query processing. In Proceedings of Advances in Artificial Intelligence: The 17th Conference of the Canadian Society for Computational Studies of Intelligences (AI'04). A. Tawfik and S. Goodwin, Eds. Lecture Notes in Computer Science, vol. 3060. Springer-Verlag, 567-568.
131. SAVITCH, W. J. 1989. A formal model for context-free languages augmented with reduplication. Computat. Linguist. 15, 4, 250-261.
132. SHAN, C. 2001a. Monads for natural language semantics. In Proceedings of the 13th European Summer School in Logic, Language and Information.Student Session (ESSLLI'01), K. Striegnitz, Ed. Helsinki, Finland, 285-298.
133. SHAN, C. 2001b. A variable-free dynamic semantics. In Proceedings of the 13th Amsterdam Colloquium, R. van Rooy and M. Stokhof, Eds. Institute for Logic, Language and Computation, Universiteit van Amsterdam, 204-209.
134. SHAN, C. 2002. A continuation semantics of interrogatives that accounts for baker's ambiguity. In Semantics and Linguistic Theory (SALT XII). B. Jackson, Ed. Cornell University Press, 246-265.
135. SHAN, C. 2003. Linguistic side effects. In Proceedings of the 18th Annual IEEE Symposium on Logic and Computer Science (LICS'03) Workshop on Logic and Computational Linguistics. L. Libkin and G. Penn, Eds. Ottawa, Canada.
136. SHAN, C. AND BARKER, C. 2004. Explaining crossover and superiority as left-to-right evaluation. In Worshop on Semantic Approaches to Binding Theory (ESSLLI'04), the 16th European Summer School in Logic, Language and Information. E. Keenan and P. Schlenker, Eds. Nancy, France.
137. SHAUMYAN, S. 1977. Applicational Grammar as a Semantic Theory of Natural Language, Edinburgh University Press.
138. SHAUMYAN, S. AND HUDAK, P. 1997. Linguistic, philosophical, and pragmatics aspects of type-directed natural langugae. In. Proceedings of Logical Aspects of Computational Linguistics: 2nd International Conference (LACL'97). A. Lecomte, F. Lamarche, and G. Perrier, Eds. Lecture Notes in Computer Science, vol. 1582. Springer-Verlag, 70-91.
139. SHAUMYAN, S. AND SEGOND, F. 1994. Long-distance dependencies and applicative universal grammar. In Proceedings of the 15th International Conference on Computational Linguistics (COLING). Kyoto, Japan, 853-858.
140. SHIEBER, S. M. 1985. Evidence against the context-freeness of natural language. Linguist, Philos. 8, 333-343.
141. SHIEL, B. A. 1976. Observations on context-free parsing. Tech. rep. TR 12-76, Center for Research in Computing Technology, Aiken Computational Laboratory, Harvard University.
142. SHIU, S., LUO, Z., AND GARIGLIANO, R. 1996. Type theoretic semantics for SemNet. In Practical Reasoning: International Conference on Formal and Applied Practical Reasoning (FAPR'96). D. Gabbay and H. J. Ohlbach, Eds. Lecture Notes in Artificial Intelligence, vol. 1085. Springer-Verlag, 582-595.
143. SHIU, S. K. Y. 1997. Type theoretic semantics for semantic networks: An application to natural language engineering. Ph.D. thesis, Department of Computer Science, University of Durham.
144. SHORT, S., SHIU, S., AND GARIGLIANO, R. 1996. Distributedness and non-linearity of LOLITA's semantic network. In Proceedings of the 16th International Conference on Computational Linguistics, Center for Sprogteknologi, Copenhagen, 436-441.
145. SMITH, M. H. 1996. Natural language generation in the LOLITA system: An engineering approach. Ph.D. thesis, Department of Computer Science, University of Durham.
146. SMITH, M. H., GARIGLIANO, R., AND MORGAN, R. 1994. Generation in the LOLITA system: An engineering approach. In Proceedings of the 16th International Natural Language Generation Workshop, 241-244.
147. STEEDMAN, M. 1991. Type-raising and directionality in combinatory grammar. In Proceedings of the 29th Annual Meeting of the Association for Computational Linguistics (ACL). Berkeley CA, 71-79.
148. STEEDMAN, M. 1996. A very short introduction to CCG. Unpublished paper, http://www.coqsci.ed.ac.uk/steedman/paper.html
149. STEEDMAN, M. 1999. Alternating quantifier scope in CCG. In Proceedings of the 37th Annual Meeting of the Association for Computational Linguistics (ACL). Morgan Kaufmann, 301-308.
150. STEEDMAN, M. AND BALDRIDGE, J. 2003. Combinatory categorial grammar. Unpublished tutorial, School of Informatics, Edinburgh University, ftp://ftp.cogsci.ed.ac.uk/pub/steedman/ccg/manifesto.pdf.
151. STOY, J. E. 1977. Denotatianal Semantics: The Scatt-Strachey Approach to Programming Language Theory. MIT Press, Cambridge, MA.
152. SWIERSTRA, S. AND DUPONCHEEL, L. 1996. Deterministic, error-correcting combinator parsers. In Advanced Functional Programmin, J. Launchbury, E. Meijer, and T. Sheard, Eds. Lecture Notes in Computer Science, vol. 1129. Springer-Verlag, 184-207.
153. SYPNIEWSKI, B. P. 1999. An introduction to applicative universal grammar. Unpublished paper. http://elvis.rowan.edu/bps/ling/introAUG.pdf.
154. SZYDLOWSKI, B. 1996. Complexity analysis and monadic specification of memoized functional parsers. M.S. thesis, School of Computer Science, University of Windsor.
155. THOMASON, R. H. 1974. Formal Philosophy: Selected Papers of Richard Montague. Yale University Press, New Haven CT.
156. TOMITA, M. 1985. Efficient Parsing for Natural Language: A Fast Algorithm for Practical Systems. Kluwer Academic Publishers.
157. TURNER, D. A. 1979. A new implementation technique for applicative languages. Softw. Pract. Exper. 9, 1, 31-49.
158. TURNER, D. A. 1981. Aspects of the implementation of programming languages. Ph.D. thesis, Oxford University, Oxford, UK.
159. TURNER, D. A. 1985. Miranda: a lazy functional programming language with polymorphic types. In Proceedings of the IFIP International Conference on Functional Programming Languages and Computer Architecture. J. Jouannaud, Ed. Lecture Notes in Computer Science, vol. 201. Springer Verlag, 1-16.
160. TURNER, D. A. 1986. An overview of miranda. SIGPLAN Notices 21, 12, 158-166.
161. UDDERBORG, G. 1988. A functional parser generator. Licentiate thesis, Chalmers University of Technology, Gothenburg.
162. WADLER, P. J. 1985. How to replace failure by a list of successes. In Proceedings of the IFIP International Conference on Functional Programmions Languages and Computer Architecture, J. Jouannaud, Ed. Lecture Notes in Computer Science, vol. 201. Springer-Verlag, 113-128.
163. WADLER, P. J. 1989. Special edition on lazy functional programming. Comput. J. 32, 2.
164. WADLER, P. J. 1990. Comprehending monads. In Proceedings of the ACM SIGPLAN/ SIGACT / SIGART Symposium, on Lisp and Functional Programming. ACM Press, 61-78.
165. WADLER, P. J. 1994. Tech. rep., http://homepages.inf.ed.ac.uk/ wadler/realworld/satelite.html.
166. WADLER, P. J. 1995. Monads for functional programming. In 1st International Spring School on Advanced Functional Programming Techniques, J. Jeuring and E. Meijer, Eds. Lecture Notes in Computer Science, vol. 924. Springer-Verlag, 24-52.
167. WANG, Y. 1994. An intelligent computer-based tutoring approach for the management of negative transfer. Ph.D. thesis, Department of Computer Science, Durham University.
168. ZIFF, D. A., SPACKMAN, S. P., AND WACLENA, K. 1995. Funser: A functional server for textual information retrieval. J. Funct. Program. 5, 3, 317-343.