Stories by danny00

Komihash – Fast Hash Function

Comparing Traits and Typeclasses

A tale of intersection types [pdf]

When are enums not a code smell?

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

2 3 4 5 6 7