Lambda the Ultimate

Presently working on Links, a language to simplify web development.

Ezra elias kilty Cooper

Web architecture, functional programming, web development, software engineering, computer-assisted theorem proving.