💻 Programming languages - matmat · Scour

Introduction to Compilers and Language Design 📝Compiler Design

dthain.github.io·7h·

Programming languages for AI 💻programming languages

blog.ploeh.dk·3d·

Abstract Semantic Graph 🔢Denotational Semantics

en.wikipedia.org·1d·Hacker News·

🐍 Functionally Zen 🧬Functional Programming

testdouble.com·3h·

Formal Verification in Any Language for Everybody ⚔️Lean Tactics

dev-log.me·2d·Hacker News·

The Grammar at the Threshold of Its Own Execution 📝Concrete Syntax

jimiwen.substack.com·19h·Substack·

The Type Theorists need to take a look at Zig 💧Liquid Types

pure-systems.org·5d·Hacker News·

Issue 518 🔗Functional Compilers

haskellweekly.news·11h·

Linear types proposal for Hare 🔒Type Safety

yerinalexey.srht.site·1d·Lobsters, Hacker News·

Programming Languages and Type Safety in the Era of LLMs 🦀Rust Macros

thecodedmessage.com·1d·

On Representability of Multiple-Valued Functions by Linear Lambda Terms Typed with Second-order Polymorphic Type System λLambda Formalization

arxiv.org·6d·

The Lisp Curse 🧠Lisp Dialects

winestockwebdesign.com·1d·

The Racket Programming Language 🧠Lisp Dialects

racket-lang.org·2d·Hacker News·

DavidLiedle/WISP: Lisp in WASM 🧠Lisp Dialects

github.com·2d·Hacker News·

A WASM first programming language with effect typing 🧩WASM Components

voyd.dev·2d·Hacker News·

A+ 📊APL Heritage

aplwiki.com·2d·Hacker News·

Absolute convergence and Taylor expansion in web based models of Linear Logic 🔮Proof Search

arxiv.org·6d·

Shuffles of Context-Free Languages along Regular Trajectories ⚙️Syntactic Monoids

arxiv.org·3d·

A Graded Modal Dependent Type Theory with Erasure, Formalized 🔠Type-Level Programming

arxiv.org·1d·

Denotation-based Compositional Compiler Verification ⚖️Verification Calculi

arxiv.org·2d·

Loading more...