Posts

• Jan 12, 2026

  Post 3: Data-Parallel Functional Programming in Datalog

• Feb 12, 2025

  Post 2: NSF PPoSS Status Update–2024 Year in Review

• May 11, 2024

  Post 1: Datalog, Chain-Forward Computation, and Relational Algebra

• May 3, 2024

  Modern Deduction Blog 0: Introduction

subscribe via RSS