Stories by fanf2

A Python frozenset interpretation of dependent type theory

The database row that did and didn't exist according to Django

The IELR(1) algorithm for generating minimal LR(1) parser tables for non-LR(1) g [pdf]

The Epic Verse calculus: a core calculus for functional logic programming

Against Curry-Howard Mysticism

The Manchester Compiler Compiler and CPL: reflections of a user 50 years on [pdf]

10 Years of Pomological Watercolors

ECFiber: Building a fibre-to-the-premises network in rural Vermont (2021)

Bluefishjs: Composing Diagrams in with Declarative Relations

Heron: Modern Hardware Graph Reduction (2024)

Portable dynamically linked packages on Linux

I Got Plenty o' Nuttin': linear dependent types [pdf]

A collection of articles about retries

Arithmetic with Continued Fractions

BNFGen: A random text generator based on context-free grammars

Staged compilation with two-level type theory [pdf]

Autosetup: A Tcl-based build environment "autoconfigurator"

Haflang: Hardware Acceleration of Functional Languages

Bluefishjs: A diagram drawing framework for JavaScript

The Joys of Unix Keyboards

2
3
4
5
6
7
8
9
10
11