The Computer Journal
Dependent types in practical programming
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The use of English as a programming language
Communications of the ACM
Studying the language and structure in non-programmers' solutions to programming problems
International Journal of Human-Computer Studies
Predicate Dispatching: A Unified Theory of Dispatch
ECCOP '98 Proceedings of the 12th European Conference on Object-Oriented Programming
Programming in natural language: “NLC” as a prototype
ACM '79 Proceedings of the 1979 annual conference
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Toward a Programmatic Semantics of Natural Language
VLHCC '04 Proceedings of the 2004 IEEE Symposium on Visual Languages - Human Centric Computing
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
Mapping Natural Language into SQL in a NLIDB
NLDB '08 Proceedings of the 13th international conference on Natural Language and Information Systems: Applications of Natural Language to Information Systems
A Field Evaluation of Natural Language for Data Retrieval
IEEE Transactions on Software Engineering
Constrained types for object-oriented languages
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Natural language programming: styles, strategies, and contrasts
IBM Systems Journal
Refinement types for secure implementations
ACM Transactions on Programming Languages and Systems (TOPLAS)
NLP (natural language processing) for NLP (natural language programming)
CICLing'06 Proceedings of the 7th international conference on Computational Linguistics and Intelligent Text Processing
| Hi-index | 0.00 |
The typical properties of natural language - redundancy avoidance, locality, and immediacy - support high semantic density and improve readability, and therefore, are also interesting for the design of programming languages. To achieve these properties, natural language heavily relies on types, which are used for referencing, generalization, and description of instances. With naturalistic types we conceptualize the idea of natural language types for use in programming. This article demonstrates possible applications of naturalistic types for programming and gives a detailed analysis of their constituents - concepts, properties, quantities, and conditions.