🔧 PLT

Type Theory, Lambda Calculus, Semantics, Compiler Design

Cyclic Implicit Complexity
arxiv.org·14h
🐫Ocaml
Baby's first type checker
austinhenley.com·1d·
Discuss: Lobsters, Hacker News
🪜Scala
Lively Linear Lisp (1992)
plover.com·16h·
Discuss: Lobsters, Hacker News
🪜Scala
Month in 4 Papers (August 2025)
pub.towardsai.net·4h
🤖AI
Quirks of Common Lisp Types
fosskers.ca·1d·
Discuss: Lobsters, Hacker News
🪜Scala
Every Implementable Algorithm Is Extensionally a Lookup Table
table.dk.workers.dev·21h·
Discuss: Hacker News
🪜Scala
Song recommendations with C# free monads
blog.ploeh.dk·12h
🪜Scala
Bootstrapping a Forth for Art
tia.mat.br·1d·
Discuss: Lobsters, Hacker News
🪜Scala
A quantum equivalent to Bayes' rule
lesswrong.com·1d
🐫Ocaml
Discriminated Unions and Enums: a modest implementation.
github.com·4h·
Discuss: r/golang
🪜Scala
They can't always be good days
dev.to·1d·
Discuss: DEV
🪜Scala
Tradeoffs of Highly-Expressive Types
jnkr.tech·1d·
Discuss: Hacker News
🪜Scala
Felienne Hermans
deprogrammaticaipsum.com·15h
🪜Scala
How to Test
matklad.github.io·7h·
Discuss: Hacker News
🔍Static Analysis
Incremental query updating in adhesive categories
topos.institute·1d
🔍Static Analysis
A type system for RCL (2024)
ruudvanasseldonk.com·2d·
Discuss: Lobsters, Hacker News
🔍Static Analysis
Scoopert!
radar.spacebar.org·16h
🐫Ocaml
This Page Is a Quine
pranavg.me·1d·
Discuss: Hacker News
🪜Scala
Lisp Still Matters
funcall.blogspot.com·3h·
Discuss: Hacker News
🪜Scala
Structured bindings in C++17, 8 years later – C++ Stories
cppstories.com·1d·
Discuss: Lobsters, Hacker News, r/cpp
🐫Ocaml