188 Flattrs Received From 48 People
46 Flattrs Given To 6 People
See my home page for info about projects, publications etc.

Circuits as a bicartesian closed category

My previous few posts have been about cartesian closed categories (CCCs). In From Haskell to hardware via cartesian closed categories, I gave a bri... [ conal.net ]

Optimizing CCCs

In the post Overloading lambda, I gave a translation from a typed lambda calculus into the vocabulary of cartesian closed categories (CCCs). This s... [ conal.net ]

Overloading lambda

Haskell’s type class facility is a powerful abstraction mechanism. Using it, we can overload multiple interpretations onto a single vocabulary, wit... [ conal.net ]

Reimagining matrices

The function of the imagination is notto make strange things settled, so much asto make settled things strange.- G.K. Chesterton Why is matrix mult... [ conal.net ]

Parallel speculative addition via memoization

I've been thinking much more about parallel computation for the last couple of years, especially since starting to work at Tabula a year ago. Until... [ conal.net ]

Prettier functions for wrapping and wrapping

: http://conal.net/blog/posts/semantic-editor-combinators/ "blog post" : http://haskell.org/haskellwiki/TypeCompose "Wiki page" The post ** gave an... [ conal.net ]

Beautiful differentiation

: http://citeseer.ist.psu.edu/karczmarczuk98functional.html "ICFP '98 paper "Functional Differentiation of Computer Programs" by Jerzy Karczmarczuk... [ conal.net ]

Trimming inputs in functional reactive programming

: http://haskell.org/ghc/docs/latest/html/libraries/base/Control-Applicative.html "Haskell module documentation" : http://conal.net/blog/posts/sema... [ conal.net ]

Deriving parallel tree scans

The post Deriving list scans explored folds and scans on lists and showed how the usual, efficient scan implementations can be derived from simpler... [ conal.net ]

What is automatic differentiation, and why does it work?

Bertrand Russell remarked thatEverything is vague to a degree you do not realize till you have tried to make it precise.I'm mulling over automatic ... [ conal.net ]