Conal Elliott

talk-2015-essence-and-origins-of-frp. A keynote talk for LambdaJam 2015 (July 15--16)

talk-2018-essence-of-ad. The simple essence of automatic differentiation

lambda-ccc. Convert lambda expressions to CCC combinators

talk-2014-lambdajam-denotational-design. Talk material for LambdaJam 2014/2015 on denotational design

Collaboration. Play/learn/work with me

talk-2014-bayhac-denotational-design. Denotational Design: from programs to meanings

MemoTrie. Trie-based memo functions

talk-2021-can-tensor-programming-be-liberated. Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"

felix. Agda category theory library for denotational design

talk-2015-haskell-to-hardware. From Haskell to Hardware via CCCs

paper-2021-language-derivatives. Paper and talk

talk-2018-deep-learning-rebooted. "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin

vector-space. Vector & affine spaces, linear maps, and derivatives

talk-2016-generic-fft. A talk on type-generic FFT in Haskell

Fran. First Haskell implementations of Fran/FRP

circat. A categorical framework for circuit construction

paper-2020-higher-order-ad. Higher-order, higher-order automatic differentiation

talk-2020-calculating-compilers-categorically. A talk

talk-2015-more-elegant-frp. A more elegant specification for FRP

essence-of-ad. Paper: The simple essence of automatic differentiation

shady-gen. Functional GPU programming - DSEL & compiler

2017-talk-teaching-new-tricks-to-old-programs. Keynote talk for Lambda Jam 2017 in Sydney

convolution-paper. Generalized Convolution and Efficient Language Recognition

quotes. My favorite quotes

total-map. Finitely represented /total/ maps

talk-2023-galilean-revolution. A Galilean revolution for computing: Unboundedly scalable reliability and efficiency

talk-2016-generic-parallel-scan. Talk on generic parallel scan

linear-map-gadt. Linear maps as a GADT

unamb. Unambiguous choice

talk-2012-folds-and-unfolds. Talk on folds & unfolds (and combinations) for general algebraic data types

shady-graphics. Functional GPU programming - graphics

shaped-types. Experimenting with statically shaped types, GHC specialization, and reification

TypeCompose. Type composition classes & instances & misc

functor-combo. Functor combinators with tries & zippers

talk-2017-generic-functional-parallel. A talk for ICFP 2017

category-theory-programmers. Notes on category theory in the context of (functional) programming

generic-parallel-functional. Paper on generic parallel functional programming

NumInstances. Instances of numeric classes for functions and tuples

DependentTypesAtWork-exercises. Exercises from "Dependent Types at Work"

lub. information operators: least upper bound (lub) and greatest lower bound (glb)

graphics-concat. Graphics via compiling-to-categories

shady-examples. Playing with shady

ty. Typed type representations and equality proofs

data-treify. Reify a recursive data structure into an explicit graph.

generic-fft. FFTs for functor combinators

talk-2016-fp-parallel. Intro talk on functional programming, emphasizing parallelism

felix-boolean. Agda

talk-2012-reimagining-matrices. A talk deriving matrix addition and multiplication from semantic specification

DeepArrow. Arrows for "deep application"

talk-2014-elegant-memoization. A talk: "Elegant memoization"

reification-rules. GHC Core reification via rules

nim. The game of Nim in Agda

ftree. Depth-typed functor-based trees, both top-down and bottom-up

agda-latex. Template for Agda-based talk and paper

fix-symbols-gitit. Gitit plugin: Turn some Haskell symbols into Greek and pretty math symbols.

test. Misc experiments