Programming Language Research

June 11, 2024 · View on GitHub

Programming Language Research Research on programming languages, compilers, functional programming, devtools. Table of Contents Courses Books Learning Paths Experiments Papers Programming Language Design / PLT Compiler PL Paradigms Interpreter PL Research Type System Parsers Backend Program Synthesis Language Learnings TypeScript Ecmascript Rust Python OCaml Browser Web UI Careers Jobs Schools People in PL Courses 🎥 301 - Organization of Programming Languages 🎥 Benjamin Pierce - Software foundations 🎥 CIS352 - Principles of Programming Languages 🎥 CMSC 430: Design and Implementation of Programming Languages 🎥 CS 3520/6520 - Programming Languages 🎥 CS3110 - Functional Data Structures 🎥 CS3MI3 - Principles of Programming Languages 🎥 CS520 - Theories Of Programming Languages 🎥 CSE340 - Principles of Programming Languages 🎥 LINFO1131 - Advanced programming language concepts 💻 Accelerated 1 💻 All the courses Matthias Felleisen teach 💻 Building a Parser from scratch 💻 CMSC330 - Organization of Programming Languages 💻 CMU - CS6120 - Advanced Compilers 💻 Compilers — Stanford 💻 Compilers Design Recipe 💻 Compilers: Theory and Practice — Udacity 💻 Concepts in Programming Languages 💻 COP 4020 - Programming Languages I 💻 COS 326 - Functional Programming 💻 CS 242: Programming Languages, Fall 2019 💻 CS019 - Accelerated Introduction to Computer Science 💻 CS164 Programming Languages and Compilers 💻 CS242 - Programming Languages - Stanford 💻 CS2500 - Fundamentals of Computer Science 💻 CIS 341 - Compilers 💻 CSCI1730 - Programming Languages - Application and Interpretation 💻 CSE 131 - Compiler Construction 💻 CSE230 - Principles/Programming Languages 💻 Essentials of Programming Languages 💻 Fundamentals 1 💻 Fundamentals 2 💻 Hack Your Own Language 💻 History of Programming Languages 💻 Indiana University Compiler Course 💻 Introduction to Compiler Construction 💻 Jay McCarthy - 406 Compiler Construction 💻 Matthias Felleisen - Intensive Principles of Programming Languages 💻 Matthias Felleisen - Principles of Programming Languages 💻 Principles of Compiler Design 💻 Programming Language Foundations in Agda 💻 Programming Languages and Logic 💻 Programming Languages Course given by DCC-UFMG 💻 Programming Languages Ⅰ 💻 Programming Languages Ⅱ 💻 Ray Total Courses 💻 Theory of Programming Languages Books 📚 Compiler Construction 📚 Compiler Design 📚 Compiling with Continuations 📚 Concepts of Programming Languages 📚 Discrete Mathematics for Computing 📚 Engineering a Compiler 📚 Homotopy Type Theory 📚 How to Design Programs: An Introduction to Programming and Computing 📚 HTDP 📚 Human-Centered Programming Languages 📚 Introduction to Compilers and Language Design 📚 Modern Compiler Design 📚 Modern Compiler Implementation in C 📚 Parsing Techniques: A Practical Guide 📚 Parsing Techniques. A Practical Guide 📚 Practical Foundations for Programming Languages 📚 Programming Languages: Application and Interpretation 📚 SICP — Structure and Interpretation of Computer 📚 The Elements Of Computing Systems 📚 Thinking with Types: Type-Level Programming in Haskell 📚 Type Theory and Formal Proof: An Introduction 📚 Type Theory and Functional Programming Learning Paths Advanced Programming Languages Compiler Engineer Path Learn Type Theory PLR & Compiler Learning Path Programming Language Theory Path So You Want to Be a (Compiler) Wizard Programming languages resources Experiments A miniature model of the Typescript compiler An interpreter for the Lox programming language An interpreter for the Monkey programming language How the TypeScript compiler works Papers 📜 10 papers that all PhD students in programming languages ought to know 📜 A syntactic approach to type soundness 📜 A Theory of Type Polymorphism in Programming 📜 Abstracting Gradual Typing 📜 An Axiomatic Basis for Computer Programming 📜 Call-by-name, call-by-value, and the λ-calculus 📜 Classic Papers in Programming Languages and Logic 📜 Efficient Gradual Typing 📜 Fundamental concepts in programming languages 📜 Gradual Type Theory 📜 Gradual Typing for Functional Languages 📜 Gradual Typing: A New Perspective 📜 How Statically-Typed Functional Programmers Write Code 📜 Migrating Gradual Types 📜 On Model Subtyping 📜 On Understanding Types, Data Abstraction, and Polymorphism 📜 Papers on programming languages: ideas from 70's for today 📜 Papers to read 📜 Pluggable Type Systems 📜 Programming in Homotopy Type Theory 📜 Refined Criteria for Gradual Typing 📜 Static Typing Where Possible, Dynamic Typing When Needed: The End of the Cold War Between Programming Languages 📜 The Behavior of Gradual Types: A User Study 📜 The Design Principles of the Elixir Type System 📜 The Next 700 Programming Languages 📜 Towards a theory of type structure 📜 Towards Practical Gradual Typing 📜 Type Inference Algorithms 📜 Type Inference for Records in a Natural Extension of ML 📜 Type Systems for Object-Oriented Programming Languages 📜 Type Systems 📜 What every compiler writer should know about programmers 📜 Why Dependent Types Matter Programming Language Design / PLT 🎥 A Language Creators' Conversation: Guido van Rossum, James Gosling, Larry Wall & Anders Hejlsberg 🎥 A Tale of Two Asyncs: Open Source Language Design in Rust and Node.js 🎥 Another Go at Language Design 🎥 Bjarne Stroustrup : C++: evolving a useful language 🎥 Concepts of Programming Languages 🎥 CS520 Theories of Programming Languages — KAIST 🎥 Delimited Continuations, Demystified by Alexis King 🎥 Going beyond JavaScript 🎥 Growing a Language, by Guy Steele 🎥 How Rust does OSS 🎥 JavaScript Static Analysis for Evolving Language Specifications 🎥 Linguistics and Compilers 🎥 On understanding types, data abstraction and effects 🎥 Principles of Programming Languages by Robert M. Siegfried 🎥 Principles of Programming Languages 🎥 Rob Pike - What We Got Right, What We Got Wrong 🎥 So many programming languages so little time 🎥 Stephanie Weirich speaks about Programming Language Design 🎥 The Economics of Programming Languages 🎥 The Mess We're In 🎥 The Next Programming Language - Douglas Crockford 🎥 What's Next for Our Programming Languages 🎥 Why Programming Languages Matter 📜 Programming language semantics: It’s easy as 1,2,3 📜 Programming Language Semantics 📝 A Frontend Programmer's Guide to Languages 📝 Building a Debugger: Code Analysis 📝 Concepts of Programming Languages 📝 Grammars for programming languages 📝 How To Create Your Own Programming Language 📝 Language-oriented software engineering 📝 Let’s Build a Programming Language 📝 Minimalism in Programming Language Design 📝 Panel: The Future of Programming Languages 📝 Principles of Programming Languages 📝 Programming and Programming Languages 📝 Programming Language and Compilers Reading List 📝 Programming Language Foundations in Agda 📝 Programming language theory and practice in ReScript 📝 Shriram Krishnamurthi and Joe Gibbs Politz - Programming Languages: Application and Interpretation 📝 The Programming Language Enthusiast 📝 The Study of Programming Languages 📝 Why Study Programming Languages Compiler 🎥 Anders Hejlsberg on Modern Compiler Construction 🎥 Building a parser in C#, from first principles 🎥 Compiler Design course 🎥 How To Build A Programming Language From Scratch 🎥 How would compilers change in the next 10 years? 🎥 Implementing a bignum calculator 🎥 JavaScript ∩ WebAssembly 🎥 JavaScript implementation in SpiderMonkey 🎥 KAIST CS420: Compiler Design 🎥 Lexical Scanning in Go 🎥 Mozilla Hacks Compiler Compiler 🎥 Quick look at the TypeScript Compiler API 🎥 Rethinking compiler technology in a heterogeneous world 🎥 The business of selling compilers 🎥 Typescript Compiler explained by the Author Anders Hejlsberg 🎥 Understanding compiler optimization 📝 A miniature model of the Typescript compiler 📝 Alias analysis in React Compiler 📝 Alias analysis 📝 An Incremental Approach to Compiler Construction 📝 An Introduction to Interpreters and JIT Compilation 📝 AST (Abstract Syntax Tree) 📝 Bob Nystrom - Expression Parsing Made Easy 📝 Building a Parser from scratch 📝 Compiler Theory and Reactivity 📝 Compilers and Interpreters 📝 Compilers Resources 📝 Compilers: Nuts and bolts of Programming Languages 📝 Compiling Scheme to C with closure conversion 📝 Compiling to Java 📝 Compiling to lambda-calculus 📝 Douglas Crockford - Top Down Operator Precedence 📝 Dr. Dobbs - Bob: A Tiny Object-Oriented Language 📝 Flattening ASTs (and Other Compiler Data Structures) 📝 Fredrik Lundh - Simple Town-Down Parsing In Python 📝 Garbage Collection Algorithms 📝 How to implement a programming language in JavaScript 📝 IU Compiler Course 📝 Jack W. Crenshaw - Let’s Build a Compiler! 📝 Language grammar 📝 Lessons from Writing a Compiler 📝 Let's build a compiler 📝 Let's make a Teeny Tiny compiler, part 1 📝 Let's make a Teeny Tiny compiler, part 2 📝 Let's make a Teeny Tiny compiler, part 3 📝 Lexical Analysis 📝 Lexing in JS style 📝 Make a Lisp 📝 Nick Desaulniers - Interpreter, Compiler, JIT 📝 Parsing Algorithms 📝 Pursuit of Performance on Building a JavaScript Compiler 📝 Resources for Amateur Compiler Writers 📝 Scheme from Scratch - Introduction 📝 TypeScript Compiler Notes 📝 Understanding GC in JSC From Scratch 📝 Which Interpreters are Faster, AST or Bytecode? 📝 Write you a Haskell PL Paradigms 🎥 Compiling with Continuations or without? Whatever 📝 Continuation-passing style in JavaScript 📝 Continuation-passing style Interpreter 🎥 Cheaply writing a fast interpreter 💻 Building an Interpreter from scratch 💻 Crafting an Interpreter 📝 (How to Write a (Lisp) Interpreter (in Python)) 📝 A Python Interpreter Written in Python 📝 Building an Interpreter 📝 Crafting Interpreters 📝 How languages work #1: String interpolation 📝 Implementing a Simple Compiler on 25 Lines of JavaScript 📝 Let’s Build A Simple Interpreter 📝 Little lisp interpreter 📝 Little Lisp interpreter 📝 Pratt Parsers: Expression Parsing Made Easy 📝 What do people mean when they say “transpiler”? PL Research 📝 Increasing the Impact of PL Research 📝 What is PL research and how is it useful? Type System 🎥 "Hindley-Milner Type Inference — Part 1 🎥 "Hindley-Milner Type Inference — Part 2 🎥 "Propositions as Types" by Philip Wadler 🎥 A Taste of Type Theory 🎥 A Type System From Scratch 🎥 Bringing Types to Elixir by Giuseppe Castagna and Guillaume Duboc 🎥 Discrete Math — Dr. Trefor Bazett 🎥 Gradual Type Theory 🎥 Gradual Typing: A New Perspective 🎥 How to Evaluate the Performance of Gradual Type Systems 🎥 Let's build a typesystem in Haskell! 🎥 The Hindley-Milner Type System 🎥 Thinking with Types 🎥 Type Systems - The Good, Bad and Ugly 🎥 Type-safe embedded domain-specific languages 1/4 🎥 Type-safe embedded domain-specific languages 2/4 🎥 Type-safe embedded domain-specific languages 3/4 🎥 Type-safe embedded domain-specific languages 4/4 🎥 Types and Programming Languages Book club 🎥 Types are like the Weather, Type Systems are like Weathermen 🎥 Typing the Untyped: Soundness in Gradual Type Systems 🎥 What is Decidable about Gradual Types? 🎥 Why Static Typing Came Back 💻 Building a Typechecker from scratch 📜 How to evaluate the performance of gradual type systems 📜 Optimizing and Evaluating Transient Gradual Typing 📜 Putting gradual types to work 📜 Safe & Efficient Gradual Typing for TypeScript 📜 What Is Decidable about Gradual Types? 📝 A brief introduction to type theory and the univalence axiom 📝 A reckless introduction to Hindley-Milner type inference 📝 An accessible introduction to type theory and implementing a type-checker 📝 Bootstrapping a Type System 📝 Gradual Typing from Theory to Practice 📝 Hindley-Milner Type Checking AST 📝 How should I read type system notation? 📝 Introduction to Type Theory 📝 MyPy TypeChecker 📝 Programming and Programming Languages: Type Inference 📝 Propositions as types: explained 📝 Python internals: Symbol tables, part 1 📝 Python internals: Symbol tables, part 2 📝 Strong arrows: a new approach to gradual typing 📝 Type Checking If Expressions 📝 Type inference under the hood 📝 Type system of the React compiler 📝 Type Systems by Luca Cardelli, Microsoft Research 📝 Type Theory Workshop 📝 Understanding types as sets 📝 What is Gradual Typing Parsers 📝 Building Extensible Parsers with Camlp4 📝 Demystifying Pratt Parsers 📝 Rewriting the Ruby parser Backend 🎥 How LLVM & Clang work 💻 Building a Virtual Machine Program Synthesis 🎥 Generating Programs from Types Formal Methods Métodos Formais by @bugarela Parallel/Concurrent Programming 📚 A Science of Concurrent Programs 📚 The Art of Multiprocessor Programming 📚 The Parallel Event Loop Model and Runtime Language Learnings JavaScript Python Ruby Haskell Elixir Clojure Rust TypeScript 🎥 A horrifically deep dive into TypeScript module resolution 🎥 A Trip into the Compiler 🎥 Advanced Types in TypeScript 🎥 AreTheTypesWrong with Andrew Branch 🎥 Hidden Gems of TypeScript compiler 🎥 How safe is "safe enough" for TypeScript 🎥 How the TypeScript Compiler Compiles 🎥 The Road to Private Methods 🎥 Type Level Programming in TypeScript 🎥 Typescript Performance: Going Beyond The Surface 🎥 TypeScript Performance 🎥 Typescript Type System 📝 @typescript/analyze-trace 📝 A preview of Ezno's checker 📝 An Introduction To Type Programming In TypeScript 📝 Debugging the TypeScript Codebase 📝 Designing with types: Making illegal states unrepresentable 📝 Investigating TypeScript compiler APIs 📝 JavaScript scope, Closures, and the TypeScript compiler 📝 Making Sense of TypeScript Generics 📝 Making sense of TypeScript using set theory 📝 Modules in TypeScript 📝 Optimizing TypeScript Memory Usage 📝 Reconstructing TypeScript, part 0: intro and background 📝 Reconstructing TypeScript, part 1: bidirectional type checking 📝 Reconstructing TypeScript, part 2: functions and function calls 📝 Reconstructing TypeScript, part 3: operators and singleton types 📝 Reconstructing TypeScript, part 4: union types 📝 Reconstructing TypeScript, part 5: intersection types 📝 Reconstructing TypeScript, part 6: narrowing 📝 Static TypeScript 📝 Type level programming in TypeScript 📝 Types as axioms, or: playing god with static types 📝 TypeScript / How the compiler compiles 📝 TypeScript and the dawn of gradual types 📝 TypeScript AST Resources 📝 TypeScript Bytecode Interpreter / Runtime Types 📝 TypeScript Compiler API: Improve API Integrations Using Code Generation 📝 TypeScript Compiler Internals 📝 TypeScript Compiler Manual 📝 TypeScript Modules - Theory 📝 TypeScript Performance Tracing 📝 TypeScript Performance 📝 TypeScript's type-independent output 📝 The Making of a TypeScript Feature: Inferring Type Predicates Ecmascript 🎥 Create Your Own JavaScript Runtime 🎥 Ectype - bringing type safety (and more!) to vanilla JavaScript 🎥 Implementing one feature set in two JavaScript engines 🎥 JavaScript and C++ in Node.js core 🎥 Node.js startup performance 🎥 Static Hermes: the Next Generation of Hermes 🎥 TC39 – From the proposal to ECMAScript - Step by Step 📝 SingleEscapeCharacter 📝 Automatic semicolon insertions in JavaScript 📝 Deep JavaScript 📝 Empty Statement 📝 From Research Prototypes to Continuous Integration: Guiding the Design and Implementation of JavaScript 📝 JavaScript Closures 📝 JavaScript Garbage Collector 📝 JavaScript Memory management 📝 JavaScript Static Analysis for Evolving Language Specifications 📝 Relation of Garbage Collector and Closure in JavaScript 📝 V8: full compiler 📝 V8: Garbage Collection Rust 🎥 Things I Learned (TIL) - Nicholas Matsakis 📝 Notes on a smaller Rust 📝 Removing Garbage Collection From the Rust Language 📝 Rust fact vs. fiction: 5 Insights from Google's Rust journey in 2022 📝 Rust: Project Goals 📝 Rust's language ergonomics initiative 📝 Why Static Languages Suffer From Complexity Python 🎥 A JIT Compiler for CPython 🎥 Python's type system explained: Static vs dynamic typing | Guido van Rossum OCaml 📝 How Jane Street is making OCaml the new Rust Browser 🎥 The internet computer 🎥 Servo: Designing and Implementing a Parallel Browser 🎥 Servo: A Web View From Somewhere Else 🎥 Intro to Rust-lang (Building the Dom and an HTML Parser) 🎥 Intro to Rust-lang (Adding a Style Tree to our Browser) 🎥 Intro to Rust-lang (Adding a CSS engine and CSS parsing to our Browser) 🎥 Intro to Rust (Building a Browser Engine: Commands and Rendering in OpenGL) 🎥 In The Loop - setTimeout, micro tasks, requestAnimationFrame, requestIdleCallback 🎥 Critical rendering path - Crash course on web performance 🎥 Chrome University 2018: Life of a Script 🎥 Browser From Scratch Live Streams 📚 Web Browser Engineering 📝 Browser from scratch 📝 Browser from Scratch 📝 Browser Performance 📝 Building a Rust Web Browser 📝 Concurrent JavaScript: It can work! 📝 David Baron's blog: Blink engineer 📝 How Browsers Work: Behind the scenes of modern web browsers 📝 How browsers work 📝 Key data structures and their roles in RenderingNG 📝 Let's build a browser engine! 📝 Notes on how browsers work 📝 Notes on JavaScript Interpreters 📝 Notes on Javascript Memory Profiling in Google Chrome 📝 Overview of the RenderingNG architecture 📝 reflows & repaints: css performance making your javascript slow? 📝 Rendering: repaint, reflow/relayout, restyle 📝 RenderingNG deep-dive: LayoutNG 📝 RenderingNG: an architecture that makes and keeps Chrome fast for the long term 📝 Round-up of web browser internals resources 📝 Understanding Reflow and Repaint in the browser 📝 Web Browser Engineering 📝 What forces layout / reflow Web UI 🎥 Algebraic effects, Fibers, Coroutines 🎥 React Forget: React for developers and compilers 📝 Algebraic Effects for React Developers 📝 Algebraic Effects for the Rest of Us 📝 PL web frameworks 📝 React - Basic Theoretical Concepts 📝 React Concurrent mode 📝 TypeScript + fp-ts: ReaderTaskEither and React Careers Jobs Chromium Engineer at Browser Company Senior Software Engineer at Mozilla Corporation JavaScript Virtual Machine Compiler Engineer at Apple Compiler Jobs Swift Type System Engineer Compiler Engineer Groq Compiler Engineer Modular AI Compiler Engineer Schools Programming Language and Compiler Research Groups Indiana University Bloomington KAIST Programming Language Research Group Tokyo Institute of Technology TIT: How to Join the Group Scholarships: Mext Examples of Dissertations People in PL Anders Hejlsberg Bob Nystrom Cynthia Richey Dmitry Soshnikov Gavin Bierman Gilad Bracha Graham Hutton Jihyeok Park Lexi Lambda Mads Torgersen Matthias Felleisen Niko Matsakis Patrick Walton Paulette Koronkevich Programming Linnguistics Researchers in Programming Languages and Compilers Roberto Giacobazzi Simon Peyton Jones StackExchange: Programming Language Design and Implementation Stefan Marr Sukyoung Ryu Ronald Garcia TK License MIT © TK