Efficient Stream Compaction on Wide SIMD Many-Core Architectures (2009)

Programming in Martin-Löf’s Type Theory: An Introduction (1990)

Vampire: First-Order Theorem Proving

A Very Small SAT Solver

Haskell has no state monad

RAGuard: A Hardware Based Mechanism for Backward-Edge Control-Flow Integrity

Why Functional Programming Matters (1984)

Dependent Types At Work

Why Functional Programming Matters by John Hughes [1984]

Finite Automata and Their Decision Problems (1959)