🔬 programming language theory - 2601 · Scour

Incremental Lambda Calculus 🔗Dependent Types

inc-lc.github.io·2h·Hacker News

How Complex is my Code? 🚀Code Motion

philodev.one·6d·Hacker News

But what about K? 🎭Racket

tony-zorman.com·23h·Lobsters

Detecting and Explaining (In-)equivalence of Context-Free Grammars 🔍Type Inference

arxiv.org·1d

research!rsc: Yacc is Not Dead 🌳Tree-sitter

research.swtch.com·14h·Lobsters

Tim Bradshaw: Rules for Lisp programs 🌱Minimal Schemes

tfeb.org·2d

Functional repository pattern in Scheme? Decoupling and abstracting the data layer in Lisp 🎭Racket

jointhefreeworld.org·1h·Lobsters, Hacker News

Post-Penultimate Conditional Syntax ⚖️Inference Rules

joel.place·5d·Hacker News

Reflection On Recursion • 2 🪜Recursive Descent

inquiryintoinquiry.com·19h

Syntax Is Easy, Semantics Is Hard: Evaluating LLMs for LTL Translation 🪜Recursive Descent

arxiv.org·1d

The acyclic e-graph: Cranelift's mid-end optimizer 🚀Code Motion

cfallin.org·6h·Lobsters, r/rust

Edward J. Schwartz: Computer Science Researcher 🌱Tiny Languages

edmcman.github.io·4h·Hacker News

The Roc Programming Language 💬REPL Design

roc-lang.org·2d·Hacker News

Some Subtleties When Parsing 6502 Assembly Language 🌳Tree-sitter

bumbershootsoft.wordpress.com·5d·Hacker News

A brief history of C/C++ programming languages 🏺Code Archeology

lemire.me·20h·Hacker News, r/rust

mm0/mm0-rs/mmc.md at master 📏Linear Types

github.com·5h·Hacker News

Probabilistic Language Tries: A Unified Framework for Compression, Decision Policies, and Execution Reuse 🎲Probabilistic Programming

arxiv.org·1d

The 6 Big Ideas of Typescript 📐Type Theory

sitr.us·17h·r/programming

I Accidentally Reinvented Kernel (Programming Language) 📚Forth Compilers

fayash.me·5d·Hacker News

Program Analysis: A Pragmatic Approach 🚀Code Motion

homes.cs.washington.edu·1d·Lobsters

Loading more...