itarticle document worth reading： “can machines design an artificial general intelligence approach” 2021-01-14 0
itarticle standard for programming language c++ (n4727) 2 Normative references 2 3 Terms and definitions 3 4 General principles 6 5 Lexical conventions 9 6 Basics 24 7 Expressions 79 8 Statements 136 9 Declarations 145 10 Classes 222 11 Overloading 284 12 Templates 315 13 Exception handling 396 14 Preprocessing directives 405 15 Library introduction 419 16 Language support library 449 17 Concepts library 491 18 Diagnostics library 503 19 General utilities library 518 20 Strings library 688 21 Containers library 734 22 Iterators library 849 23 Ranges library 907 24 Algorithms library 956 25 Numerics library 1064 26 Time library 1146 27 Localization library 1240 28 Input/output library 1280 29 Regular expressions library 1407 30 Atomic operations library 1446 31 Thread support library 1469 0
itarticle practical foundations for programming languages 1 1 Abstract Syntax 2 Inductive Difintions 3 Hypothetical and General Judgements 4 Statics 5 Dynamics 6 Type Safety 7 Evaluation Dynamics 8 Function Definitions and Values 9 System T 10 Product Types 11 Sum Types 12 Constructive Logic 13 Classical Logic 0
