plresources

KO | EN

gitlite — search

#javascript #python #hacktoberfest #react #ai #typescript #llm #go #golang #android #machine-learning #rust #deep-learning #linux

★ 11 Open GitHub ↗

Resources to study Programming Languages

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# Resources to study Programming Languages

## Basics
- [Crafting Interpreters](https://craftinginterpreters.com/)
- [Mukul Rathi's articles](https://mukulrathi.com/create-your-own-programming-language/intro-to-compiler/)
- [Writing A Compiler In Go](https://compilerbook.com/)

## Resource Collections
- [Programming languages resources](https://bernsteinbear.com/pl-resources/) - Max Bernstein
- [Programming Language Theory](https://steshaw.org/plt/) - Steven Shaw
- [Oregon Programming Languages Summer SChool](https://www.cs.uoregon.edu/research/summerschool/archives.html)
- [Programming Language Implementation Summer School.](https://www.youtube.com/@pliss5319)
- [Resources on Compilers for Functional Languages](https://github.com/soupi/rfc/blob/master/fun-compilers.md)
- [Matt Might's articles](https://matt.might.net/articles/)
- [jayconrod.com](https://jayconrod.com/posts)
- [Great Works in Programming Languages - Collected by Benjamin C. Pierce](https://www.cis.upenn.edu/~bcpierce/courses/670Fall04/GreatWorksInPL.shtml)
- [Approachable PL Papers for Undergrads](https://gist.github.com/pdarragh/4f81236109f9575209d5ab7c5c3c3b58)
- [aalhour/awesome-compilers](https://github.com/aalhour/awesome-compilers)

## Courses
- [CS 6120: Advanced Compilers](https://www.cs.cornell.edu/courses/cs6120/2022sp/schedule/)
- [CS 6110: Advanced Programming Languages](https://www.cs.cornell.edu/courses/cs6110/2023sp/)
- [UCSD - Advanced Compiler Design](https://ucsd-cse231-w21.github.io/)
- [IITD - Advanced Compiler Techniques](https://iitd.github.io/col874/)
- [UCB CS294-113: Virtual Machines and Managed Runtimes](http://www.wolczko.com/CS294/)
- [Virtual Machine Summer School 2016](https://www.youtube.com/playlist?list=PLJq3XDLIJkib2h2fObomdFRZrQeJg4UIW)

## Compiler Optimisation
- [A Catalogue of Optimising Transforms](https://www.clear.rice.edu/comp512/Lectures/Papers/1971-allen-catalog.pdf)
- [Intel Microcode](https://www.agner.org/optimize/microarchitecture.pdf)
- [Fabian Giesen](https://www.youtube.com/@fabiangiesen306)
- [Combining Analyses, Combining Optimizations](https://scholarship.rice.edu/bitstream/handle/1911/96451/TR95-252.pdf)

## Garbage Collection
- [Writing a Simple Garbage Collector in C](http://maplant.com/gc.html)
- [The Journey of Go's Garbage Collector](https://go.dev/blog/ismmkeynote)
- [A Guide to the Go Garbage Collector](https://tip.golang.org/doc/gc-guide)
- [Generational GC - Mono](https://www.mono-project.com/docs/advanced/garbage-collector/sgen/)
- [Understanding Garbage Collection in JavaScriptCore](https://webkit.org/blog/12967/understanding-gc-in-jsc-from-scratch/)
- [Trash talk: the Orinoco garbage collector](https://v8.dev/blog/trash-talk)
- [Baby’s First Garbage Collector](http://journal.stuffwithstuff.com/2013/12/08/babys-first-garbage-collector/)
- ### Incremental GCs
  - [Train GC](https://beta.cs.au.dk/Papers/Train/train.html)
  - [Treadmill GC](https://www.cofault.com/2022/07/treadmill.html)

## Static Program Analysis
- [Course taught by Fernando Magno Quintao Pereira](https://youtube.com/playlist?list=PLC-dUCVQghfdu7AG5f_p4oRyKgjDuoAWU&feature=shared)

## Single Static Assignment
- [Simple and Efficient Construction of Static Single Assignment Form](https://link.springer.com/chapter/10.1007/978-3-642-37051-9_6)
- [Efficiently computing static single assignment form and the control dependence graph](https://www.cs.utexas.edu/~pingali/CS380C/2010/papers/ssaCytron.pdf)
- [CMU - cs6120 - SSA](https://www.cs.cornell.edu/courses/cs6120/2022sp/lesson/6/)
- [SSABook](https://pfalcon.github.io/ssabook/latest/book-full.pdf)

## Compile-time Memory Management
- [compile time memory management models - r/programminglanguages](https://www.reddit.com/r/ProgrammingLanguages/comments/y3rq8w/compile_time_memory_management_models/)
- [Linear Types - c2](https://wiki.c2.com/?LinearTypes)
- [Unique Type - c2](https://wiki.c2.com/?UniqueType)
- [Linear Type Systems - CS 6110](https://www.cs.cornell.edu/courses/cs6110/2017sp/lectures/lec30.pdf)
- [Substructural Type Systems - CS 152](https://groups.seas.harvard.edu/courses/cs152/2019sp/lectures/lec17-substructural.pdf)
- [Lobster's Memory Management](http://aardappel.github.io/lobster/memory_management.html)
- [Zero-Cost Borrowing with Vale Regions](https://verdagon.dev/blog/zero-cost-borrowing-regions-overview)
- [Generational References - Vale](https://verdagon.dev/blog/generational-references)
- [Ownership and Lifetimes - Rustnomicon](https://doc.rust-lang.org/nomicon/ownership.html)
- [Region-based memory management](https://en.wikipedia.org/wiki/Region-based_memory_management)
- [Uniqueness Type](https://en.wikipedia.org/wiki/Uniqueness_type)
- [Practical Affine Types](https://users.cs.northwestern.edu/~jesse/pubs/alms/tovpucella-alms.pdf)
- [Linear Regions Are All You Need](https://www.cs.cornell.edu/people/fluet/research/substruct-regions/ESOP06/esop06.pdf)
- [A Step-Indexed Model of Substructural State](https://www.cs.cornell.edu/people/fluet/research/substruct-state/ICFP05/icfp05.pdf)
- [Monadic Regions](https://www.cs.cornell.edu/people/fluet/research/rgn-monad/JFP06/jfp06.pdf)
- [Ownership Types for Safe Region-Based Memory Management in Real-Time Java](https://web.eecs.umich.edu/~bchandra/publications/pldi03.pdf)
- [ASAP: As Static As Possible memory management](https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-908.pdf)
- [Ownership You Can Count On: A Hybrid Approach to Safe Explicit Memory Management](https://inko-lang.org/papers/ownership.pdf)
- [Adoption and Focus: Practical Linear Types for Imperative Programming](https://www.microsoft.com/en-us/research/wp-content/uploads/2002/05/pldi02.pdf)
- [Memory safety without runtime checks or garbage collection](https://dl.acm.org/doi/abs/10.1145/780732.780743)
- [Perceus: Garbage Free Reference Counting with Reuse](https://www.microsoft.com/en-us/research/publication/perceus-garbage-free-reference-counting-with-reuse/)
- [Type Systems for Memory Safety](https://borretti.me/article/type-systems-memory-safety)

## Fearless Concurrency
- [A Simple Capability-Based Dynamic Language Design For Data Race-Freedom](https://arxiv.org/pdf/2109.07541.pdf)
- [A Flexible Type System for Fearless Concurrency](https://dl.acm.org/doi/pdf/10.1145/3519939.3523443)

## Functional
- [Compiling a Functional Language Using C++](https://danilafe.com/blog/00_compiler_intro/)
- [Compiling Functional Languages - chalmers](https://www.cse.chalmers.se/edu/year/2011/course/CompFun/)
- [An Introduction to Combinator Compilers and Graph Reduction Machines](https://www.youtube.com/watch?v=GawiQQCn3bk)
- [Implementing functional languages: a tutorial](https://www.microsoft.com/en-us/research/publication/implementing-functional-languages-a-tutorial/)
- [Making a Fast Curry: Push/Enter vs.
Eval/Apply](https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/eval-apply.pdf)
- ### GHC
  - [Low-level Haskell: An Interactive Tour Through the STG](https://www.youtube.com/watch?v=-MFk7PIKYsg)
  - [2023 GHC Contributor's Workshop](https://www.youtube.com/playlist?list=PLQpeDZt0_xQfTQPvjsT1ub-qVPXJ6fVy0)
  - [@lexi_lambda: The GHC optimization pipeline](https://www.youtube.com/watch?v=fdyh3YQ-ZWI)

## JIT
- [spencertipping/jit-tutorial](https://github.com/spencertipping/jit-tutorial)
- [Adventures in JIT compilation](https://eli.thegreenplace.net/2017/adventures-in-jit-compilation-part-2-an-x64-jit/)
- [Building a baseline JIT for Lua automatically](https://sillycross.github.io/2023/05/12/2023-05-12/)
- [Speculation in JavaScriptCore](https://webkit.org/blog/10308/speculation-in-javascriptcore/)
- [TigerShrimp: An Understandable Tracing JIT Compiler](https://odr.chalmers.se/server/api/core/bitstreams/87898837-623a-46f0-bcdc-06d2bf10805d/content)
- [wdv4758h/awesome-jit](https://github.com/wdv4758h/awesome-jit)
- [A primer on code generation in Cranelift](https://blog.benj.me/2021/02/17/cranelift-codegen-primer/)
- [How JIT Compilers are Implemented and Fast](https://carolchen.me/blog/jits-impls/)
- [The Sea of Nodes and the HotSpot JIT - Cliff Click](https://www.youtube.com/watch?v=98lt45Aj8mo)
- [A JVM Does That??? by Dr Cliff Click](https://www.youtube.com/watch?v=-vizTDSz8NU)

## Type Systems / Effects
- [Hindley-Milner](https://stackoverflow.com/questions/12532552/what-part-of-hindley-milner-do-you-not-understand)
- [Ahnfelt/type-inference-by-example](https://github.com/Ahnfelt/type-inference-by-example)
- [Typing Haskell in Haskell](http://web.cecs.pdx.edu/~mpj/thih/TypingHaskellInHaskell.html#tth_sEc6)
- [jozefg/learn-tt](https://github.com/jozefg/learn-tt)
- [Notes on Hindley-Milner polymorphism](https://jgbm.github.io/eecs662f17/Notes-on-HM.html)
- [CMU - Types and Programming Languages Schedule](https://www.cs.cmu.edu/~fp/courses/15814-f21/schedule.html)
- [yallop/effects-bibliography](https://github.com/yallop/effects-bibliography)

plresources

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

plresources

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

Download README