↕️ Bidirectional Types - abnv · Scour

Functional Logic Program Transformations

arxiv.org·1d

🏭Functional Compilers

Making a Language

thunderseethe.dev·13h

🔬programming language theory

haskellweekly.news·56m

⚡functional programming

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🧮Theorem Provers

Models of generics and metaprogramming: Golang, Rust, Swift, D, and more

thume.ca·3d·

Discuss: Hacker News

🗂️Type Indexing

Resource-Bounded Martin-L\"of Type Theory: Compositional Cost Analysis for Dependent Types

arxiv.org·3d

🏗️Calculus of Constructions

Deep learning as program synthesis

lesswrong.com·1d·

Discuss: Lobsters, Hacker News

🎭Program Synthesis

GNU C Language Manual

gnu.org·16h

🪄C Metaprogramming

abelianization of an additive category in nLab

ncatlab.org·19h

🔗Category Theory

Subterms Modulo Theories I

philipzucker.com·3d

🔗Lexical Scoping

weitianxin/Awesome-Agentic-Reasoning

github.com·3h

🤖Abstract Machines

Gödel, Turing, and AI： the Incomplete Space in Post-AI Architecture

jimiwen.substack.com·1d·

Discuss: Substack

🏛️Elm Architecture

Designing Boring Software with Functional Programming

agentultra.com·1d

🪞Homoiconicity

Making large language models reliable data science programming copilots for biomedical research

nature.com·1h

🔍ML Language

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·19h·

Discuss: Hacker News

🪢Rope Data Structures

Kolmogorov Complexity

en.wikipedia.org·23h·

Discuss: Hacker News

λLambda Calculus

Use of Assertions

blog.regehr.org·20h

🔍Static Analysis

In Praise of APL (1977)

jsoftware.com·3h·

Discuss: Hacker News

🔬programming language theory

Simulating Pots with LTSpice

hackaday.com·9h

⚡Partial Evaluation

Python Closures: Coming from JavaScript

dev.to·1d·

Discuss: DEV

📦Closure Conversion

Loading more...