Miranda: a non-strict functional language with polymorphic types
Proc. of a conference on Functional programming languages and computer architecture
How to replace failure by a list of successes
Proc. of a conference on Functional programming languages and computer architecture
ACM SIGPLAN Notices
Attribute grammars as a functional programming paradigm
Proc. of a conference on Functional programming languages and computer architecture
CLEAN: A language for functional graph rewriting
Proc. of a conference on Functional programming languages and computer architecture
Tense quantifiers, and contexts
Computational Linguistics - Special issue on tense and aspect
Why functional programming matters
The Computer Journal - Special issue on Lazy functional programming
Constructing natural language interpreters in a lazy functional language
The Computer Journal - Special issue on Lazy functional programming
Proofs and types
A formal model for context-free languages augmented with reduplication
Computational Linguistics
Categorial semantics and scoping
Computational Linguistics
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Parsing techniques: a practical guide
Parsing techniques: a practical guide
A gentle introduction to Haskell
ACM SIGPLAN Notices - Haskell special issue
Report on the programming language Haskell: a non-strict, purely functional language version 1.2
ACM SIGPLAN Notices - Haskell special issue
Constructing programs as executable attribute grammars
The Computer Journal - Special issue on models and architectures
A general semantic model of negation in natural language: representation and inference
A general semantic model of negation in natural language: representation and inference
Software—Practice & Experience
Reasoning by analogy and causality: a model and application
Reasoning by analogy and causality: a model and application
Attribute grammar paradigms—a high-level methodology in language implementation
ACM Computing Surveys (CSUR)
Type-theoretical grammar
Memoization in top-down parsing
Computational Linguistics
Memoizing purely functional top-down backtracking language processors
Science of Computer Programming
Type-logical semantics
Complexity analysis and monadic specification of memoized functional parsers
Complexity analysis and monadic specification of memoized functional parsers
Science of Computer Programming - Special issue on mathematics of program construction
The predictive analyzer and a path elimination technique
Communications of the ACM
Report on the algorithmic language ALGOL 60
Communications of the ACM
The Functional Treatment of Parsing
The Functional Treatment of Parsing
Efficient Parsing for Natural Language: A Fast Algorithm for Practical Systems
Efficient Parsing for Natural Language: A Fast Algorithm for Practical Systems
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Finite-State Language Processing
Finite-State Language Processing
Packrat parsing:: simple, powerful, lazy, linear time, functional pearl
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Journal of Logic, Language and Information
Type Theoretic Semantics for SemNet
FAPR '96 Proceedings of the International Conference on Formal and Applied Practical Reasoning
An Authoring Tool for Informal and Formal Requirements Specifications
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Bottom-up Grammar Analysis - A Functional Formulation
ESOP '94 Proceedings of the 5th European Symposium on Programming: Programming Languages and Systems
Logical Aspects of Computational Linguistics: An Introduction
LACL '96 Selected papers from the First International Conference on Logical Aspects of Computational Linguistics
A Multithreaded Implementation of Id using P-RISC Graphs
Proceedings of the 6th International Workshop on Languages and Compilers for Parallel Computing
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Modeling the Semantics of Geographic Categories through Conceptual Integration
GIScience '02 Proceedings of the Second International Conference on Geographic Information Science
AI '02 Proceedings of the 15th Conference of the Canadian Society for Computational Studies of Intelligence on Advances in Artificial Intelligence
Persuasion as a Form of Inter-Agent Negotiation
Revised Papers from the Second Australian Workshop on Distributed Artificial Intelligence: Multi-Agent Systems: Methodologies and Applications
Monads for Functional Programming
Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text
Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text
Deterministic, Error-Correcting Combinator Parsers
Advanced Functional Programming, Second International School-Tutorial Text
Parallelising a Large Functional Program or: Keeping LOLITA Busy
IFL '97 Selected Papers from the 9th International Workshop on Implementation of Functional Languages
The Elegant Compiler Generator System
Proceedings of the International Conference WAGA on Attribute Grammars and their Applications
W/AGE: The Windsor Attribute Grammar Programming Environment
HCC '02 Proceedings of the IEEE 2002 Symposia on Human Centric Computing Languages and Environments (HCC'02)
Journal of Functional Programming
Journal of Functional Programming
Techniques for automatic memoization with applications to context-free parsing
Computational Linguistics
Type-raising and directionality in combinatory grammar
ACL '91 Proceedings of the 29th annual meeting on Association for Computational Linguistics
Dialogue Systems as Proof Editors
Journal of Logic, Language and Information
XML and multilingual document authoring: convergent trends
COLING '00 Proceedings of the 18th conference on Computational linguistics - Volume 1
Long-distance dependencies and Applicative Universal Grammar
COLING '94 Proceedings of the 15th conference on Computational linguistics - Volume 2
Distributedness and non-linearity of LOLITA's semantic network
COLING '96 Proceedings of the 16th conference on Computational linguistics - Volume 1
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
Functional chart parsing of context-free grammars
Journal of Functional Programming
Alternating quantifier scope in CCG
ACL '99 Proceedings of the 37th annual meeting of the Association for Computational Linguistics on Computational Linguistics
University of Durham: description of the LOLITA system as used in MUC-6
MUC6 '95 Proceedings of the 6th conference on Message understanding
Call for a public-domain SpeechWeb
Communications of the ACM
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Introduction to Automata Theory, Languages, and Computation (3rd Edition)
Natural Language Processing and Information Systems: 9th International Conference on Applications of Natural Languages to Information Systems, NLDB 2004, ... (Lecture Notes in Computer Science)
Generation in the LOLITA system: an engineering approach
INLG '94 Proceedings of the Seventh International Workshop on Natural Language Generation
Monadic memoization towards correctness-preserving reduction of search
AI'03 Proceedings of the 16th Canadian society for computational studies of intelligence conference on Advances in artificial intelligence
Multilingual syntax editing in GF
CICLing'03 Proceedings of the 4th international conference on Computational linguistics and intelligent text processing
Adjectives: a uniform semantic approach
AI'05 Proceedings of the 18th Canadian Society conference on Advances in Artificial Intelligence
Translating formal software specifications to natural language
LACL'05 Proceedings of the 5th international conference on Logical Aspects of Computational Linguistics
Using types to parse natural language
FP'95 Proceedings of the 1995 international conference on Functional Programming
A history of Haskell: being lazy with class
Proceedings of the third ACM SIGPLAN conference on History of programming languages
A multi-dimensional data organization for natural language processing
Journal of Computational Methods in Sciences and Engineering
Modular and efficient top-down parsing for ambiguous left-recursive grammars
IWPT '07 Proceedings of the 10th International Conference on Parsing Technologies
Understanding and executing a declarative sentence involving a forms-of-be verb
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Parser combinators for ambiguous left-recursive grammars
PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
An efficient denotational semantics for natural language database queries
NLDB'07 Proceedings of the 12th international conference on Applications of Natural Language to Information Systems
| Hi-index | 0.00 |
The construction of natural language interfaces to computers continues to be a major challenge. The need for such interfaces is growing now that speech recognition technology is becoming more readily available, and people cannot speak those computer-oriented formal languages that are frequently used to interact with computer applications. Much of the research related to the design and implementation of natural language interfaces has involved the use of high-level declarative programming languages. This is to be expected as the task is extremely difficult, involving syntactic and semantic analysis of potentially ambiguous input. The use of LISP and Prolog in this area is well documented. However, research involving the relatively new lazy functional programming paradigm is less well known. This paper provides a comprehensive survey of that research.