InfoQ Homepage Presentations Roy

Brian McKenna learned to program by starting with JavaScript. Now he calls himself a functional programmer and proponent of proofs as programs, spending a lot of time trying to combine these distant worlds.

About the conference

As new problems in computing arise, new languages are being created to help tackle those problems. We want to bring together programming language creators, researchers, and enthusiasts to share goals, experiences, and challenges. Our goal is advancing the state of the art in programming language design and implementation.