Stories by danny00

Staged Abstract Interpreters [pdf]

Alternatives to Boolean Parameters

Extensible parsing with Earley virtual machines [pdf]

In my language, inverse functions generalize pattern matching

Paxos Made Parallel

The Hooks and Anchors Design Pattern

A Sequent Calculus for Type Theory [pdf]

Producing milk from yeast that looks and tastes like cow's milk

Categorical Data Structures for Technical Computing

Relations are hard to model in category theory

Jape (Software)

Beyond inductive datatypes: exploring Self types

Intel's Pat Gelsinger on 'Super Moore's Law,' Making Multi-Billion Dollar Bets

Set Theoretic Programming

Intersection Type

Sedel – A Type System for First-Class Traits

Implicit Overflow Considered Harmful, and how to fix it

Researchers Create New CasFET Design for Next-Generation Transistors

Kioxia's New XL-NAND SSDs to Compete with Intel's Optane

List of Model Checking Tools

2
3
4
5
6
7