🔬 Hindley-Milner Extensions - abnv · Scour

Practical Refinement Session Type Inference (Extended Version)

arxiv.org·19h

📞Session Types

A Note on Flat Abstract Syntax Trees

gist.github.com·6h·

Discuss: Hacker News

🌳Tree Walking

Lean 4 and the Curry–Howard correspondence

wildonblog.wordpress.com·5h

📜Proof Languages

Simplifying assertions with lenses

blog.ploeh.dk·10h

🚂Error Monads

Towards a Standard for JSON Document Databases

muratbuffalo.blogspot.com·1h·

Discuss: Blogger

📊Query Optimizers

plrg-bristol/advanced-haskell-2026: Resources for the 2026 Advanced Haskell seminar series at Bristol

github.com·4h

👑Dependent Haskell

What Functional Programmers Get Wrong About Systems

iankduncan.com·3h

🚂Error Propagation

🥇Top AI Papers of the Week

nlp.elvissaravia.com·1d

Revisiting Regular Types

abseil.io·2d

🚀Hindley-Milner+

Presentation: Are You Missing a Data Frame? The Power of Data Frames in Java

infoq.com

·9h

📊DataFrame Types

An introduction to lockless algorithms [LWN.net]

lwn.net·13h

🎯Ring Buffers

Main Content || Math ∩ Programming

jeremykun.com·1d

🔢Algebraic Datatypes

docs.modular.com·2h

HyPER: Bridging Exploration and Exploitation for Scalable LLM Reasoning with Hypothesis Path Expansion and Reduction

arxiv.org·19h

🪜Recursive Descent

Learning Rust: Custom Error types that actually work!

rup12.net·2h·

Discuss: Lobsters, Hacker News

🛡️Error Handling

A Simple Method for Commonsense Reasoning

dev.to·1d·

Discuss: DEV

Oatmeal - Constraint propagation for fun

eli.li·1d·

Discuss: Lobsters, Hacker News

🧩Constraint Solvers

From Prediction to Compilation: A Manifesto for Intrinsically Reliable AI

news.ycombinator.com·1d·

Discuss: Hacker News

🚂Error Propagation

amirouche/seed: Adding `vau` with an immutable dynamic environment to Chez Scheme

github.com·8h·

Discuss: Hacker News

🔧Scheme Macros

On the Tension Between Object-Oriented and Generic Programming in C++

artima.com·2d

🗂️Type Indexing

Loading more...