Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Natural language programming
Results: 221
‹ Prev
1
...
18
19
20
21
22
23
Next ›
#
Item
221
PDF Document
Add to Reading List
Source URL: research.microsoft.com
Language: English
- Date: 2005-12-29 03:26:05
Software engineering
Generalized algebraic data type
Type system
Type inference
Entailment
Type safety
Natural deduction
Symbol
Type theory
Logic
Programming language theory
‹ Prev
1
...
18
19
20
21
22
23
Next ›