├── CHANGELOG.md ├── LICENSE └── README.md /CHANGELOG.md: -------------------------------------------------------------------------------- 1 | ### 19/03/2023 2 | 3 | Add 'The Oregon Programming Languages Summer School (OPLSS) ' 4 | 5 | ### 17/03/2023 6 | 7 | Add 'ACM SIGPLAN' 8 | 9 | Add 'Practical Foundations for Programming Languages' 10 | 11 | ### 17/03/2023 12 | 13 | Release of the first **complete** version of the Programming Language Research 14 | 15 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- 1 | MIT License 2 | 3 | Copyright (c) 2023 Veysel Usta 4 | 5 | Permission is hereby granted, free of charge, to any person obtaining a copy 6 | of this software and associated documentation files (the "Software"), to deal 7 | in the Software without restriction, including without limitation the rights 8 | to use, copy, modify, merge, publish, distribute, sublicense, and/or sell 9 | copies of the Software, and to permit persons to whom the Software is 10 | furnished to do so, subject to the following conditions: 11 | 12 | The above copyright notice and this permission notice shall be included in all 13 | copies or substantial portions of the Software. 14 | 15 | THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 16 | IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 17 | FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE 18 | AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 19 | LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 20 | OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE 21 | SOFTWARE. 22 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- 1 | 2 | 3 | # Programming Language Research 4 | All notes from my research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc. 5 | 6 | 7 | 8 | ## Table of Content 9 | 10 | 11 | 12 | - [General](#general) 13 | * [Websites](#websites) 14 | * [Videos](#videos) 15 | - [Books](#books) 16 | - [Courses/Materials](#courses/materials) 17 | - [Compiler/Interpreters](#compiler/interpreters) 18 | - [Logic](#logic) 19 | * [General](#general) 20 | * [YouTube](#YouTube) 21 | - [Formal Methods](#formalmethods) 22 | - [Twitch/YouTube](#twitch/youtube) 23 | - [Talks](#talks) 24 | - [Communities](#communities) 25 | - [People](#people) 26 | - [Others](#others) 27 | 28 | ## General 29 | 30 | #### Websites 31 | 32 | - [Lambda The Ultimate](http://lambda-the-ultimate.org/) - Lambda The Ultimate includes many members who study programming languages daily for years, either in academia or in industry settings 33 | - [Classic Papers in Programming Languages and Logic](https://www.cs.cmu.edu/~crary/819-f09/) 34 | - [Advanced Programming Languages](http://di002.edv.uniovi.es/~labra/APL.html) - This page collects author's personal links in the field of Programming Languages 35 | - [The Study of Programming Languages](https://cs.lmu.edu/~ray/notes/plstudy/) - Ray Total's this course explains you how to study programming languages 36 | - [Programming Languages Reading List](https://proglangdesign.net/wiki/reading-list) This is a list of valuable resources for programming language design and implementation. 37 | - [Programming Language Theory Texts](https://web.archive.org/web/20141002195305/http://www.cs.uu.nl:80/wiki/Techno/ProgrammingLanguageTheoryTextsOnline) This is a collection of programming language theory texts and resources, all of which are freely available over the Internet. 38 | - [OPLSS](https://www.cs.uoregon.edu/research/summerschool/summer23/) 39 | - [A Self-Learning, Modern Computer Science Curriculum](https://functionalcs.github.io/curriculum/) - This is a collection of modern resources on various undergrad level computer science topics, for someone with an interest in theory. 40 | - [Type Theory](https://functionalcs.github.io/curriculum/typetheory.html) - Workshop on type theory 41 | - [Type Theory Resources](https://github.com/jozefg/learn-tt) - A Github repository for a collection of resources for type theory 42 | - [Type Theory For All](https://www.typetheoryforall.com/) - Type Theory Forall is a podcast hosted by [Pedro Abreu](https://pedroabreu0.github.io/) (Pronounced ‘Ahbrel’), PhD Student in Programming Languages at Purdue University. 43 | - [Classics of Computer Science](http://harry-lewis.blogspot.com/2016/12/classics-of-computer-science.html) - Classics Papers in Computer Science 44 | - [IMC010: Type Theory and Coq](http://www.cs.ru.nl/~freek/courses/tt-2013/) 45 | - [Program by Design](https://programbydesign.org/) 46 | - [Supplemental Materials for HWTP](https://felleisen.org/matthias/htdp-plus.html) 47 | 48 | #### Videos 49 | 50 | - [Common Lisp Project 1: Turing Machine](https://youtu.be/77tJ6yaszBY) - 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 51 | - [Thinking with types (Chapter1: The Algebra Behind Types)](https://youtu.be/1vXdNNSmvJw) - He is looking at the book by Sandy Maguire “Thinking with types” 52 | - [Algebraic Data Types Theory](https://youtu.be/ESFxbTTvHek) 53 | - [Programing Language Design w/ Prof. Politz](https://youtu.be/rMDVZLdXPTM) 54 | - [Types and Why You Should Care - JaneStreet](https://youtu.be/0arFPIQatCU) 55 | - [What is PL research?](https://www.typetheoryforall.com//2020/12/23/1-What-Is-PL-Research.html) 56 | - [Growing a Language](https://youtu.be/_ahvzDzKdB0) 57 | - [Racket: A Programming-Language Programming Language](https://youtu.be/hFlIl0Zo234) 58 | - [Crash Course on Notation in Programming Language Theory](https://youtu.be/vU3caZPtT2I) 59 | - [Expert to Expert: Rich Hickey and Brian Beckman - Inside Clojure](https://youtu.be/wASCH_gPnDw) 60 | - [Propositions as Types by Philip Wadler](https://youtu.be/IOiZatlZtGU) 61 | - [Philip Wadler and Erik Meijer: On Programming Language Theory and Practice](https://youtu.be/9SBR_SnrEiI) 62 | - [A Programmable Programming Language](https://youtu.be/91hynuuM_As) 63 | - [Linguistics and Compilers](https://youtu.be/Ix6M9Nj_Dug) 64 | - [Produce clean APIs with algebraic design](https://youtu.be/zK_URjMLStA) 65 | - [Haskell Kata - Algebra-Driven Design - Bowling Game](https://youtu.be/elJHZVtTFQE) 66 | - [Playing the Game with PLT Redex](https://youtu.be/NszLQNROdw0) 67 | - [Jean Yang on An Axiomatic Basis for Computer Programming](https://youtu.be/GQi-6-d5ooQ) 68 | - [Generating Programs from Types](https://youtu.be/ZPyVcnCabIU) 69 | - [Coffee Compiler Club](https://youtu.be/wzHAbBvtwyI) 70 | 71 | ## Books 72 | - [Resources for Programming Language Research](http://www.cs.cmu.edu/~mleone/language-research.html) - A collection of information and resources for research in programming language theory, design, implementation, and related areas 73 | - [Programming Language Journals, Books, and Publishers](http://www.cs.cmu.edu/~mleone/language/publications.html) - A collection of materials related to programming languages 74 | - [List of books for Theory of Programming Languages](https://freecomputerbooks.com/langTheoryBooks.html) - List of books for programming languages theory 75 | - [Practical Foundations for Programming Languages](http://www.cs.cmu.edu/~rwh/pfpl.html) 76 | - [Software Foundations - Programming Language Foundations](https://softwarefoundations.cis.upenn.edu/plf-current/toc.html) - This electronic book is a survey of basic concepts in the mathematical study of programs and programming languages 77 | - [Types and Programming Languages](https://www.cis.upenn.edu/~bcpierce/tapl/) - This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. 78 | - [Concepts, Techniques, and Models of Computer Programming](https://www.info.ucl.ac.be/~pvr/book.html) - The book is organized around programming concepts. It starts with a small language, Mozart, containing just a few concepts. 79 | - [Essentials of Programming Languages](https://www.amazon.com/Essentials-Programming-Languages-MIT-Press/dp/0262062798) 80 | - [Programming Languages - Application and Interpretation](PLAI is designed for upper-level courses that introduce the main ideas of programming languages.) 81 | - [Object-Oriented Programming Languages: Application and Interpretation](https://users.dcc.uchile.cl/~etanter/ooplai/) 82 | - [How to Design Programs](https://htdp.org/) - Systematic Program Design 83 | - [A Data-Centric Introduction to Computing](https://dcic-world.org/2023-02-21/index.html) - This book is an introduction to computer science 84 | - [An Introduction to Functional Programming Through Lambda Calculus](https://www.amazon.com/Introduction-Functional-Programming-Calculus-Mathematics/dp/0486478831) 85 | - [Implementing Functional Languages](https://www.amazon.com/Implementing-Functional-Languages-Prentice-hall-International/dp/0137219520) 86 | - [Thinking with TypesType-Level Programming in Haskell](http://thinkingwithtypes.com/) 87 | 88 | ## Courses/Materials 89 | 90 | - [CS520 - Theories Of Programming Languages](https://github.com/hongseok-yang/graduatePL24) [[Lecture Videos]](https://www.youtube.com/playlist?list=PLvV9DPeJV9xx0NegrG4gNu8WXSXibDICu) 91 | - [CSE340 - Principles of Programming Languages](https://adamdoupe.com/teaching/classes/cse340-principles-of-programming-languages-s16/) [[Lecture Videos]](https://www.youtube.com/playlist?list=PLK06XT3hFPzilgF1mi_hHqcXO1-o_8OEe) 92 | - [CS 3520/6520 - Programming Languages](https://my.eng.utah.edu/~cs3520/f20/schedule.html) [[Lecture Videos]](https://www.youtube.com/@matthewflatt489/playlists) 93 | - [301 - Organization of Programming Languages](http://jeapostrophe.github.io/courses/2020/summer/301/course/) [[Lecture Videos]](https://www.youtube.com/watch?v=j2pYeKjq_60&list=PLB1enDd0fV0i5SWGe-A1YjmD8MmlGavIj&ab_channel=JayMcCarthy) 94 | - [LINFO1131 - Advanced programming language concepts](https://www.youtube.com/playlist?list=PLw454N-VXALROTZ_phkQ-D4QDU5w3x4R8) [[Lecture Videos]]() 95 | - [COS 326 - Functional Programming](https://www.cs.princeton.edu/courses/archive/fall21/cos326/schedule.php) [[Lecture Videos]](https://mediacentral.princeton.edu/channel/COS+326+Functional+Programming/174748251) 96 | - [CS3110 - Functional Data Structures](https://cs3110.github.io/textbook/chapters/preface/about.html) [[Lecture Videos]](https://www.youtube.com/watch?v=MUcka_SvhLw&list=PLre5AT9JnKShBOPeuiD9b-I4XROIJhkIU&ab_channel=MichaelRyanClarkson) 97 | - [CSE230 - Principles/Programming Languages](http://ucsd-pl.github.io/cse230/) [[Lecture Videos]](https://podcast.ucsd.edu/watch/fa18/cse230_b00/24) 98 | - [CIS352 - Principles of Programming Languages](https://kmicinski.com//cis352-f22/#schedule) [[Lecture Videos]](https://www.youtube.com/watch?v=2jrwXpUZW7k&list=PLXaqTeMx01E_eK1ZEpKvKL5KwSaj7cJW9&ab_channel=KristopherMicinski) 99 | - [CSCI1730 - Programming Languages - Application and Interpretation](https://cs.brown.edu/courses/cs173/2012/Assignments/) [[Lecture Videos]](https://cs.brown.edu/courses/cs173/2012/Videos/) 100 | - [CS2500 - Fundamentals of Computer Science](https://www.ccs.neu.edu/home/nderbinsky/fundies1/index.html) [[Lecture Videos]](https://www.ccs.neu.edu/home/nderbinsky/fundies1/m1.html) 101 | - [Benjamin Pierce - Software foundations](https://www.youtube.com/playlist?list=PLGCr8P_YncjUT7gXUVJWSoefQ40gTOz89) - YouTube playlist 102 | - [CS3MI3 - Principles of Programming Languages](https://www.youtube.com/playlist?list=PLF7ZhwvkczzM3tTaJTVYIcsGsX8uyIeXA) - YouTube playlist 103 | - [Essentials of Programming Languages](http://proglang.informatik.uni-freiburg.de/teaching/proglang/2020ws/) 104 | - [CMSC330 - Organization of Programming Languages](https://www.cs.umd.edu/class/spring2022/cmsc330/#schedule) 105 | - [Ray Total Courses](https://cs.lmu.edu/~ray/) 106 | - [Programming Languages and Logic](https://www.cs.cornell.edu/courses/cs4110/2021fa/) 107 | - [CS242 - Programming Languages - Stanford](https://web.stanford.edu/class/cs242/coursework.html) 108 | - [CS019 - Accelerated Introduction to Computer Science](https://cs.brown.edu/courses/cs019/2018/index.html) 109 | - [Programming Languages Course given by DCC-UFMG](https://hanielb.github.io/2021.2-lp/) 110 | - [Theory of Programming Languages](http://staff.ustc.edu.cn/~yuzhang/tpl/2020s/index.html#reading) 111 | - [CPSC 311 Definition of Programming Languages: "Lambda Bound"](https://www.students.cs.ubc.ca/~cs-311/current/syllabus.html#course-materials) 112 | - [Fundamentals 1](https://course.ccs.neu.edu/cs2500f16/index.html) 113 | - [Fundamentals 2](https://course.khoury.northeastern.edu/cs2510h/) 114 | - [Matthias Felleisen - Principles of Programming Languages](https://felleisen.org/matthias/4400-s20/lectures.html) 115 | - [Matthias Felleisen - Intensive Principles of Programming Languages](https://felleisen.org/matthias/7400-s14/Problem_Sets.html) 116 | - [History of Programming Languages](https://felleisen.org/matthias/7480-s17/index.html) 117 | - [Accelerated 1](https://course.ccs.neu.edu/cs2500accelf17/index.html) 118 | - [Hack Your Own Language](https://felleisen.org/matthias/4620-s18/index.html) 119 | - [All the courses Matthias Felleisen teach](https://felleisen.org/matthias/teaching.html) 120 | - [Programming Language Foundations in Agda](https://cs.uwaterloo.ca/~plragde/747/notes/index.html) 121 | - [COP 4020 - Programming Languages I](https://www.cs.ucf.edu/~leavens/COP4020/resources.shtml) 122 | - [Concepts in Programming Languages](https://www.cl.cam.ac.uk/teaching/1617/ConceptsPL/materials.html) 123 | - [CS 242: Programming Languages, Fall 2019](https://stanford-cs242.github.io/f19/) 124 | 125 | ## Compilers/Interpreters 126 | 127 | #### Lectures 128 | 129 | - [Principles of Compiler Design](https://www.cs.swarthmore.edu/~jpolitz/cs75/s16/s_schedule.html) [[Lecture Videos]](https://www.bilibili.com/video/BV1qt41167uU?p=1) 130 | - [Indiana University Compiler Course ](https://www.bilibili.com/video/BV1qt41167uU?p=1)[[Lecture Videos]](https://iu.mediaspace.kaltura.com/media/Compiler+Course/1_hwlujpzd) 131 | - [Jay McCarthy - 406 Compiler Construction](https://jeapostrophe.github.io/courses/2021/spring/406/course/) [[Lecture Videos]](https://youtu.be/4tUj8BuC0qM) 132 | - [CSE 131 - Compiler Construction ](https://cseweb.ucsd.edu/classes/sp17/cse131-a/)[[Lecture Videos]](https://podcast.ucsd.edu/watch/SP17/cse131_sp17/23) 133 | - [CS164 Programming Languages and Compilers](https://inst.eecs.berkeley.edu//~cs164/sp11/) [[Lecture Videos]](https://www.bilibili.com/video/BV1NW411b79N?p=1) 134 | - [CMSC 430: Design and Implementation of Programming Languages](https://www.cs.umd.edu/class/fall2022/cmsc430/index.html) [[Lecture Videos]](https://www.youtube.com/watch?v=KTWq1XAfuMQ&list=PLsg0tbEwZlcz0Xzv1rACy7xcQZiBcQ_iE&ab_channel=cmsc430) 135 | - [CMU - CS6120 - Advanced Compilers ](https://www.cs.cornell.edu/courses/cs6120/2022sp/)[[Lecture Videos]](https://www.cs.cornell.edu/courses/cs6120/2022sp/lesson/) 136 | - [Compilers Design Recipe](https://soft.vub.ac.be/compilers/book_sec_recipe.html) 137 | - [Introduction to Compiler Construction](https://www.students.cs.ubc.ca/~cs-411/2020w2/index.html) 138 | - [Programming Language Zoo ](http://plzoo.andrej.com/)[[Github]](https://github.com/andrejbauer/plzoo) 139 | 140 | #### YouTube 141 | 142 | - [Building Strema: a compiler targeting JavaScript in Haskell](https://youtu.be/khAKcFgziWU) - Live coding a compiler for a custom type inferred programming language with ADTs and pattern matching called Strema, and targeting JavaScript. 143 | - [Writing a compiler. Term reduction via substitution](https://youtu.be/qRHJ4qcFbNE) - 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. 144 | - [Matthew Flatt - DSL Embedding in Racket](https://youtu.be/WQGh_NemRy4) - This tutorial will provide a refresher on Lisp-style extensibility, cover Scheme-style pattern-matching and procedural macros 145 | - [Ryan Newton - DSL Embedding in Haskell](https://youtu.be/VIX4_XI3JAE) - This will cover front-end topics, such as syntax capture, type checking, and Template Haskell; middle-end topics including compiler-construction techniques in Haskell 146 | - [Haskell Tutorial - 12 - Writing Parsers From Scratch](https://youtu.be/LeoDCiu_GB0) - 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. 147 | - [Writing a Parser in Haskell - Compiler Tutorial](https://youtu.be/iWpvKDFuCns) 148 | - [Haskell Parser Combinators: Parsing CSS](https://youtu.be/xYi2sQTm-Mo) 149 | - [Learning F# by Designing Your Own Language by Oleksii Holub](https://youtu.be/34C_7halqGw) 150 | - [Rust Programming Crafting Interpreters](https://youtu.be/WdoAJ_ouWRM) 151 | - [Making a Programming Language in Rust /w SinisterMatrix](https://www.youtube.com/live/olUkocBbiQc?feature=share) 152 | - [Creating a Programming Language with Rust](https://youtu.be/1zzuFnorOXA) 153 | - [XML Parser in C (Start to Finish)](https://youtu.be/kPFYfTvMRs8) 154 | - [Making A Compiler From Strach In C ](https://www.youtube.com/playlist?list=PLysa8wRFCssxGKj_RxBWr3rwmjEYlJIpa) 155 | - [All day compiler push](https://youtu.be/WmjykhFDabg) 156 | - [Writing a Basic Math Expression Parser In JavaScript](https://www.youtube.com/live/qNBoJ3cHyUI?feature=share) 157 | - [Creating a Common Lisp implementation](https://youtu.be/Wa81OJnlsoI) 158 | - [Joel Martin: Make Your Own Lisp Interpreter in 10 Incremental Steps](https://youtu.be/jVhupfthTEk) 159 | - [Type Inference from Scratch: A Workshop with Christoph Hegemann](https://youtu.be/frM7GhBERAs) 160 | - [Hjalfi writes an assembler](https://youtu.be/Y7crnbHhnZY) 161 | 162 | ## Logic 163 | 164 | #### General 165 | 166 | - [Introduction to Logic](http://intrologic.stanford.edu/stanford/index.php) - Stanford University course on logic fundamentals 167 | - [Logic Matters](https://www.logicmatters.net/) 168 | - [Open Logic Project](https://github.com/OpenLogicProject/OpenLogic/wiki/Other-Logic-Textbooks) 169 | - [Book of Proof](https://www.people.vcu.edu/~rhammack/BookOfProof/Ancilary.html) - List of video lectures that several professors built online using *Book of Proof* 170 | - [Combinatory Logic](https://esolangs.org/wiki/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* 171 | - [The Xena Project](https://www.ma.imperial.ac.uk/~buzzard/xena/) 172 | - [Linear Logic in nLab](https://ncatlab.org/nlab/show/linear+logic) 173 | 174 | #### YouTube 175 | 176 | - [Introduction/Logic of propositions and predicates](https://youtu.be/V49i_LM8B0E) 177 | - [Introduction to Logic for Computer Science](https://youtu.be/OER3ziGPSMw) 178 | - [Frank Pfenning - Linear Logic Lecture](https://youtu.be/Bx2_CGzeMT4) 179 | - [A formal definition of the language of propositional logic](https://youtu.be/4qilWJz_D-M) 180 | - [Binary Propositions, De Morgan’s Law, What is an Implication — Tutorial 1/4](https://youtu.be/oRRsm75wo7o) 181 | 182 | ## Formal Methods 183 | 184 | - [Stan Warford - Formal Methods ](https://cslab.pepperdine.edu/warford/math220/)[[Lecture Videos]](https://www.youtube.com/playlist?list=PL9o9lNrP1luXgu97NZnQH4cxUkEGB5TJ_) [[Book - Logical Approach to Discrete Math]](https://www.amazon.com/Logical-Approach-Discrete-Monographs-Computer/dp/0387941150) 185 | - [Formal Methods of Software Design](http://www.cs.utoronto.ca/~hehner/FMSD/)[[Lecture Videos]](https://www.youtube.com/playlist?list=PLfsVAYSMwskseQbJ242TApAzA7fW83KyH) [[Book - A Practical Theory Of Programming]](http://www.cs.utoronto.ca/~hehner/aPToP/) 186 | - [The Philosophy of Computer Science](https://plato.stanford.edu/entries/computer-science/) 187 | - [What are Formal Methods? | Compiler with Hoare logic](https://youtu.be/HYwyOkouIMw) 188 | - [Abstract Interpretation for Program Verification (ft. Viktor Kuncak)](https://youtu.be/j2m5YMnHvQQ) 189 | - [Pawel Szulc - Formal verification applied (with TLA+)](https://youtu.be/l9XZYI3jta0) 190 | - [Formal Methods: A Deep Dive Using the Coq Proof Assistant](https://youtu.be/6q15ytIOE3U) 191 | 192 | ## Twitch/YouTube Channels 193 | 194 | - [ACM SIGPLAN](https://www.youtube.com/@acmsigplan) 195 | - [gilmi](https://www.youtube.com/@gilmi) 196 | - [Michael Gilliland](https://www.youtube.com/c/MichaelGillilandmjgpy3/playlists) 197 | - [Bitwise](https://youtu.be/0arFPIQatCU) 198 | - [Tweag](https://www.youtube.com/@tweag/playlists) 199 | - [Edward Knett](https://www.youtube.com/@EdwardKmett1/videos) 200 | - [John Cinnamond](https://www.youtube.com/c/JohnCinnamond/streams) 201 | - [Brian McKenna](https://www.youtube.com/@BrianMcKennaPuffnfresh) 202 | - [jappie-strims](https://www.youtube.com/@jappie-strims3866/videos) 203 | - [Chiroptical](https://www.youtube.com/c/Chiroptical/videos) 204 | - [CmdvTv]() 205 | - [ekmett](https://www.twitch.tv/ekmett) 206 | - [tscoding](https://www.twitch.tv/tsoding) 207 | - [puffnfresh](https://www.twitch.tv/puffnfresh) 208 | - [teej_dv](https://www.twitch.tv/teej_dv) 209 | - [nicuveo](https://www.twitch.tv/nicuveo) 210 | - [gillchristian](https://www.twitch.tv/gillchristian) 211 | - [zer0c__ ](https://www.twitch.tv/zer0c__/videos) 212 | - [jb55_](https://www.twitch.tv/jb55_) 213 | - [Identity GS](https://www.youtube.com/@IdentityGS/videos) 214 | - [vivalambda](https://www.twitch.tv/vivalambda) 215 | 216 | ## Communities 217 | - [MOOC nerds](https://discord.gg/gUW47P9u) - Discord channel for functional computer science series 218 | - [Programming Languages](https://discord.gg/97wsePqt) - There are plenty of programming languages created by community members 219 | - [Multiprocess community](https://discord.gg/kYxxjSZQ) - The core of the community is around software internals 220 | - [Declarative Programming Streams](https://discord.gg/2mPtw8Pn) - A collection of streamers 221 | - [Haskell Twitch](https://discord.gg/gc7QWtP7) 222 | - [Functional Programming](https://discord.gg/pjem2V2y) 223 | 224 | ## People 225 | 226 | - [Twitter list for PL people](https://twitter.com/i/lists/1555329059613204481) - A list of people related to programming language theory created by me 227 | - [Matthias Felleisen](https://felleisen.org/matthias/) 228 | - [Shriram Krishnamurthi](https://cs.brown.edu/~sk/) 229 | - [Joe Gibbs Politz](https://jpolitz.github.io/) 230 | - [John C. Reynolds](https://www.cs.cmu.edu/~jcr/index.html) 231 | - [Jay McCarthy](http://jeapostrophe.github.io/home/) [[Blog]](https://jeapostrophe.github.io/index.html) 232 | - [Kristopher Micinski](https://kmicinski.com/teaching/) 233 | - [thesephist](https://thesephist.com/) 234 | - [Paulette Koronkevich](https://koronkevi.ch/#publications) 235 | 236 | ## Others 237 | 238 | - [Programming Language Theory](https://steshaw.org/plt/)[[Github]](https://github.com/steshaw/plt) 239 | - https://github.com/imteekay/programming-language-research 240 | - https://github.com/lucasviola/awesome-functional-programming 241 | - https://github.com/imteekay/functional-programming-learning-path 242 | - https://github.com/xgrommx/awesome-functional-programming 243 | - https://github.com/prathyvsh/history-of-programming-languages 244 | - https://github.com/prathyvsh/use-of-maths-in-programming 245 | - https://github.com/timxor/typetheory 246 | 247 | ## License 248 | 249 | [MIT](https://github.com/veyselusta/programming-language-research/blob/main/LICENSE) © [veyselusta](https://github.com/veyselusta) 250 | 251 | 252 | --------------------------------------------------------------------------------