Conal Elliott

A categorical framework for circuit construction

conal

Denotational hardware design in Agda

conal

Paper: The simple essence of automatic differentiation

conal

First Haskell implementations of Fran/FRP

conal

Keynote talk for Lambda Jam 2017 in Sydney

conal

Play/learn/work with me

conal

Generalized Convolution and Efficient Language Recognition

conal

Convert lambda expressions to CCC combinators

conal

Trie-based memo functions

conal

Higher-order, higher-order automatic differentiation

conal