Takashi's Notes

Home

❯

papers

❯

programming languages

Folder: papers/programming-languages

23 items under this folder.

  • Nov 15, 2025

    The Semantics Of Predicate Logic As A Programming Language

    • Nov 15, 2025

      The Smalltalk 76 Programming System Design And Implementation

      • Nov 15, 2025

        Why Functional Programming Matters

        • Nov 15, 2025

          The Paradigms Of Programming

          • Nov 15, 2025

            The Semantic Elegance Of Applicative Languages

            • Nov 15, 2025

              The Essence Of Functional Programming

              • Nov 15, 2025

                The Next 700 Programming Languages

                • Nov 15, 2025

                  Recursive Programming

                  • Nov 15, 2025

                    The Development Of Erlang

                    • Nov 15, 2025

                      Programming With Abstract Data Types

                      • Nov 15, 2025

                        Quickcheck A Lightweight Tool For Random Testing Of Haskell Programs

                        • Nov 15, 2025

                          Recursive Functions Of Symbolic Expressions And Their Computation By Machine

                          • Nov 15, 2025

                            Programming Pearls Little Languages

                            • Nov 15, 2025

                              Can Programming Be Liberated From The Von Neumann Style

                              • Nov 15, 2025

                                Bringing The Web Up To Speed With Webassembly

                                • Nov 15, 2025

                                  Toward A Mathematical Semantics Of Programming Languages

                                  • Nov 15, 2025

                                    The Emperors Old Clothes

                                    • Nov 15, 2025

                                      The Fortran Automatic Coding System

                                      • Nov 15, 2025

                                        Revised Report On The Algorithmic Language Algol 60

                                        • Nov 15, 2025

                                          Stay Safe Under Panic Affine Rust Programming With Multiparty Session Types

                                          • Nov 15, 2025

                                            Awk A Pattern Scanning And Processing Language

                                            • Nov 15, 2025

                                              Growing A Language

                                              • Nov 15, 2025

                                                Recursive Functions Of Symbolic Expressions And Their Computation By Machine Part I


                                                Created with Quartz v4.5.1 © 2025

                                                • Homepage
                                                • GitHub
                                                • RSS
                                                • Sitemap