Ben Lippmeier

Expert Overview

Post-Functional Reprogrammer
Ghost Locomotion

I am a programming languages researcher and compiler engineer. Most of my work has been in the fields of type theory, stream fusion and parallel programming. Until recently I worked at Digital Asset in smart contract languages, and am an an adjunct at the University of New South Wales.


Things I'm Doing
Talks I've Given

Talks I've Given