conal
Play/learn/work with me: https://github.com/conal/Collaboration
(open to employment)San Andreas, California, USA
Pinned Repositories
Collaboration
Play/learn/work with me
lambda-ccc
Convert lambda expressions to CCC combinators
MemoTrie
Trie-based memo functions
talk-2014-bayhac-denotational-design
Denotational Design: from programs to meanings
talk-2014-lambdajam-denotational-design
Talk material for LambdaJam 2014/2015 on denotational design
talk-2015-essence-and-origins-of-frp
A keynote talk for LambdaJam 2015 (July 15--16)
talk-2015-haskell-to-hardware
From Haskell to Hardware via CCCs
talk-2018-deep-learning-rebooted
"A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin
talk-2018-essence-of-ad
The simple essence of automatic differentiation
talk-2021-can-tensor-programming-be-liberated
Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
conal's Repositories
conal/talk-2015-essence-and-origins-of-frp
A keynote talk for LambdaJam 2015 (July 15--16)
conal/talk-2018-essence-of-ad
The simple essence of automatic differentiation
conal/talk-2014-lambdajam-denotational-design
Talk material for LambdaJam 2014/2015 on denotational design
conal/Collaboration
Play/learn/work with me
conal/MemoTrie
Trie-based memo functions
conal/talk-2021-can-tensor-programming-be-liberated
Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
conal/felix
Agda category theory library for denotational design
conal/talk-2016-generic-fft
A talk on type-generic FFT in Haskell
conal/vector-space
Vector & affine spaces, linear maps, and derivatives
conal/paper-2021-language-derivatives
Paper and talk
conal/talk-2020-calculating-compilers-categorically
A talk
conal/talk-2015-more-elegant-frp
A more elegant specification for FRP
conal/quotes
My favorite quotes
conal/talk-2023-galilean-revolution
A Galilean revolution for computing: Unboundedly scalable reliability and efficiency
conal/unamb
Unambiguous choice
conal/TypeCompose
Type composition classes & instances & misc
conal/DependentTypesAtWork-exercises
Exercises from "Dependent Types at Work"
conal/NumInstances
Instances of numeric classes for functions and tuples
conal/felix-boolean
conal/lub
information operators: least upper bound (lub) and greatest lower bound (glb)
conal/agda-cat-linear
Linear map categories in Agda
conal/OpenLogic
An open-source, customizable intermediate logic textbook
conal/.emacs.d
My Emacs environment
conal/Boolean
Generalized booleans
conal/equation-transfer
Transferring equational properties backward through homomorphisms
conal/nim
The game of Nim in Agda
conal/agda-latex
Template for Agda-based talk and paper
conal/agda-stdlib
The Agda standard library
conal/blag
Agda blog
conal/jespercockx-agda-lecture-notes
Agda lecture notes for the Functional Programming course at TU Delft