Programming language research

Programming Language Research# All notes from my research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc. Table of Content# GeneralWebsites Videos Books Courses/Materials Compiler/Interpreters LogicGeneral YouTube Formal Methods Twitch/YouTube Talks Communities People Others General# Websites# Lambda The Ultimate - Lambda The Ultimate includes many members who study programming languages daily for years, either in academia or in industry settings Classic Papers in Programming Languages and Logic Advanced Programming Languages - This page collects author’s personal links in the field of Programming Languages The Study of Programming Languages - Ray Total’s this course explains you how to study programming languages Programming Languages Reading List This is a list of valuable resources for programming language design and implementation. Programming Language Theory Texts This is a collection of programming language theory texts and resources, all of which are freely available over the Internet. OPLSS A Self-Learning, Modern Computer Science Curriculum - This is a collection of modern resources on various undergrad level computer science topics, for someone with an interest in theory. Type Theory - Workshop on type theory Type Theory Resources - A Github repository for a collection of resources for type theory Type Theory For All - Type Theory Forall is a podcast hosted by Pedro Abreu (Pronounced ‘Ahbrel’), PhD Student in Programming Languages at Purdue University. Classics of Computer Science - Classics Papers in Computer Science IMC010: Type Theory and Coq Program by Design Supplemental Materials for HWTP Videos# Common Lisp Project 1: Turing Machine - In part one of this project the initial language of a turing machine is laid out and VERY simple functions are written to do basic math Thinking with types (Chapter1: The Algebra Behind Types) - He is looking at the book by Sandy Maguire “Thinking with types” Algebraic Data Types Theory Programing Language Design w/ Prof. Politz Types and Why You Should Care - JaneStreet What is PL research? Growing a Language Racket: A Programming-Language Programming Language Crash Course on Notation in Programming Language Theory Expert to Expert: Rich Hickey and Brian Beckman - Inside Clojure Propositions as Types by Philip Wadler Philip Wadler and Erik Meijer: On Programming Language Theory and Practice A Programmable Programming Language Linguistics and Compilers Produce clean APIs with algebraic design Haskell Kata - Algebra-Driven Design - Bowling Game Playing the Game with PLT Redex Jean Yang on An Axiomatic Basis for Computer Programming Generating Programs from Types Coffee Compiler Club Books# Resources for Programming Language Research - A collection of information and resources for research in programming language theory, design, implementation, and related areas Programming Language Journals, Books, and Publishers - A collection of materials related to programming languages List of books for Theory of Programming Languages - List of books for programming languages theory Practical Foundations for Programming Languages Software Foundations - Programming Language Foundations - This electronic book is a survey of basic concepts in the mathematical study of programs and programming languages Types and Programming Languages - This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. Concepts, Techniques, and Models of Computer Programming - The book is organized around programming concepts. It starts with a small language, Mozart, containing just a few concepts. Essentials of Programming Languages [Programming Languages - Application and Interpretation](PLAI is designed for upper-level courses that introduce the main ideas of programming languages.) Object-Oriented Programming Languages: Application and Interpretation How to Design Programs - Systematic Program Design A Data-Centric Introduction to Computing - This book is an introduction to computer science An Introduction to Functional Programming Through Lambda Calculus Implementing Functional Languages Thinking with TypesType-Level Programming in Haskell Courses/Materials# CS520 - Theories Of Programming Languages [Lecture Videos] CSE340 - Principles of Programming Languages [Lecture Videos] CS 3520/6520 - Programming Languages [Lecture Videos] 301 - Organization of Programming Languages [Lecture Videos] LINFO1131 - Advanced programming language concepts [Lecture Videos] COS 326 - Functional Programming [Lecture Videos] CS3110 - Functional Data Structures [Lecture Videos] CSE230 - Principles/Programming Languages [Lecture Videos] CIS352 - Principles of Programming Languages [Lecture Videos] CSCI1730 - Programming Languages - Application and Interpretation [Lecture Videos] CS2500 - Fundamentals of Computer Science [Lecture Videos] Benjamin Pierce - Software foundations - YouTube playlist CS3MI3 - Principles of Programming Languages - YouTube playlist Essentials of Programming Languages CMSC330 - Organization of Programming Languages Ray Total Courses Programming Languages and Logic CS242 - Programming Languages - Stanford CS019 - Accelerated Introduction to Computer Science Programming Languages Course given by DCC-UFMG Theory of Programming Languages CPSC 311 Definition of Programming Languages: “Lambda Bound” Fundamentals 1 Fundamentals 2 Matthias Felleisen - Principles of Programming Languages Matthias Felleisen - Intensive Principles of Programming Languages History of Programming Languages Accelerated 1 Hack Your Own Language All the courses Matthias Felleisen teach Programming Language Foundations in Agda COP 4020 - Programming Languages I Concepts in Programming Languages CS 242: Programming Languages, Fall 2019 Compilers/Interpreters# Lectures# Principles of Compiler Design [Lecture Videos] Indiana University Compiler Course [Lecture Videos] Jay McCarthy - 406 Compiler Construction [Lecture Videos] CSE 131 - Compiler Construction [Lecture Videos] CS164 Programming Languages and Compilers [Lecture Videos] CMSC 430: Design and Implementation of Programming Languages [Lecture Videos] CMU - CS6120 - Advanced Compilers [Lecture Videos] Compilers Design Recipe Introduction to Compiler Construction Programming Language Zoo [Github] YouTube# Building Strema: a compiler targeting JavaScript in Haskell - Live coding a compiler for a custom type inferred programming language with ADTs and pattern matching called Strema, and targeting JavaScript. Writing a compiler. Term reduction via substitution - This is the first video in a series focused on implementing a compiler backend for a small functional language which is a variation of the untyped λ-calculus. Matthew Flatt - DSL Embedding in Racket - This tutorial will provide a refresher on Lisp-style extensibility, cover Scheme-style pattern-matching and procedural macros Ryan Newton - DSL Embedding in Haskell - This will cover front-end topics, such as syntax capture, type checking, and Template Haskell; middle-end topics including compiler-construction techniques in Haskell Haskell Tutorial - 12 - Writing Parsers From Scratch - In this tutorial they go all the way to first principles in top down parser design and build simple parser combinators that they will use next week to make a parser for their interpreter. Writing a Parser in Haskell - Compiler Tutorial Haskell Parser Combinators: Parsing CSS Learning F# by Designing Your Own Language by Oleksii Holub Rust Programming Crafting Interpreters Making a Programming Language in Rust /w SinisterMatrix Creating a Programming Language with Rust XML Parser in C (Start to Finish) Making A Compiler From Strach In C All day compiler push Writing a Basic Math Expression Parser In JavaScript Creating a Common Lisp implementation Joel Martin: Make Your Own Lisp Interpreter in 10 Incremental Steps Type Inference from Scratch: A Workshop with Christoph Hegemann Hjalfi writes an assembler Logic# General# Introduction to Logic - Stanford University course on logic fundamentals Logic Matters Open Logic Project Book of Proof - List of video lectures that several professors built online using Book of Proof Combinatory Logic - Combinatory logic is a model by which logical statements can be described as a combination of a small number of primitive elements called combinators The Xena Project Linear Logic in nLab YouTube# Introduction/Logic of propositions and predicates Introduction to Logic for Computer Science Frank Pfenning - Linear Logic Lecture A formal definition of the language of propositional logic Binary Propositions, De Morgan’s Law, What is an Implication — Tutorial 1/4 Formal Methods# Stan Warford - Formal Methods [Lecture Videos] [Book - Logical Approach to Discrete Math] Formal Methods of Software Design[Lecture Videos] [Book - A Practical Theory Of Programming] The Philosophy of Computer Science What are Formal Methods? | Compiler with Hoare logic Abstract Interpretation for Program Verification (ft. Viktor Kuncak) Pawel Szulc - Formal verification applied (with TLA+) Formal Methods: A Deep Dive Using the Coq Proof Assistant Twitch/YouTube Channels# ACM SIGPLAN gilmi Michael Gilliland Bitwise Tweag Edward Knett John Cinnamond Brian McKenna jappie-strims Chiroptical CmdvTv ekmett tscoding puffnfresh teej_dv nicuveo gillchristian zer0c__ jb55_ Identity GS vivalambda Communities# MOOC nerds - Discord channel for functional computer science series Programming Languages - There are plenty of programming languages created by community members Multiprocess community - The core of the community is around software internals Declarative Programming Streams - A collection of streamers Haskell Twitch Functional Programming People# Twitter list for PL people - A list of people related to programming language theory created by me Matthias Felleisen Shriram Krishnamurthi Joe Gibbs Politz John C. Reynolds Jay McCarthy [Blog] Kristopher Micinski thesephist Paulette Koronkevich Others# Programming Language Theory[Github] https://github.com/imteekay/programming-language-research https://github.com/lucasviola/awesome-functional-programming https://github.com/imteekay/functional-programming-learning-path https://github.com/xgrommx/awesome-functional-programming https://github.com/prathyvsh/history-of-programming-languages https://github.com/prathyvsh/use-of-maths-in-programming https://github.com/timxor/typetheory License# MIT © veyselusta