software_foundations/lf at master · marshall-lee/software_foundations
CS 6120
APL Cornell
Programming with Monadic CSP-Style Processes in Dependent Type Theory
A Theory for Communicating, Sequential Processes in Coq
Microsoft Word - VFNJBRHXVD
Memory Representation of Values - Real World OCaml
[MLton-devel] new GC object layout
Classic Papers in Programming Languages and Logic
Approachable PL Papers for Undergrads
Renato Athaydes
Research topics - Programming languages
Research Documents
2
[2212.14205] Lecture Notes on Quantum Algorithms
Great Works in Programming Languages
verse-conf.pdf
A taste of Haskell
We Need Simpler Types | rasie1's blog
Graph Neural Network (GNN) Architectures for Recommendation Systems | by Santhosh Rajamanickam | Towards Data Science
9.5. Recurrent Neural Network Implementation from Scratch — Dive into Deep Learning 1.0.0-alpha1.post0 documentation
GC FAQ -- algorithms
Lambda lifting - Wikipedia
Closure conversion: How to compile lambda
15-501/15-819 HOT Compilation, Fall 2006
Closure Conversion as CoYoneda
www.cs.umd.edu
Is there any academic research on imperative programming languages? : ProgrammingLanguages
GitHub - labmlai/annotated_deep_learning_paper_implementations: 🧑🏫 59 Implementations/tutorials of deep learning papers with side-by-side notes 📝; including transformers (original, xl, switch, feedback, vit, ...), optimizers (adam, adabelief, ...), gans(cyclegan, stylegan2, ...), 🎮 reinforcement learning (ppo, dqn), capsnet, distillation, ... 🧠
Libtask: a Coroutine Library for C and Unix