Bob Atkey's blog bentnib.org

More Data Types with Negation at Fun in the REPL

bentnib.org·133w

Compiling higher-order specifications to SMT solvers

bentnib.org·174w

Simple semantics for defaults in Catala

bentnib.org·174w

Data types with Negation

bentnib.org·174w

Slides and Video for “Resource Constrained Programming with Full Dependent Types”

bentnib.org·286w

Quantitative Typing with Non-idempotent Intersection Types

bentnib.org·301w

Slides for “Resource Constrained Programming with Full Dependent Types”

bentnib.org·329w

Off the Beaten Track 2017: Call for Talk Proposals

bentnib.org·501w

Authenticated Data Structures, as a Library, for Free!

bentnib.org·527w

Slides and notes for my OBT “Generalising Abstraction” talk

bentnib.org·538w

The Incremental λ-Calculus and Relational Parametricity

bentnib.org·578w

Slides for “An Algebraic Approach to Typechecking and Elaboration”

bentnib.org·578w

Propositions as Filenames, Builds as Proofs: The Essence of Make

bentnib.org·578w

POPL Slides

bentnib.org·642w

One Done, Two Submitted

bentnib.org·670w

Productive Coprogramming with Guarded Recursion

bentnib.org·685w

Theorems for Free

bentnib.org·706w

Abstraction and Invariance for Algebraically Indexed Types

bentnib.org·706w

Interleaving Data and Effects

bentnib.org·715w

Relational Parametricity for Higher Kinds

bentnib.org·715w

Log in to enable infinite scrolling