Conal Elliott conal.net

Inspirations & experiments, mainly about denotative/functional programming in Haskell

Circuits as a bicartesian closed category
conal.net·661w
Optimizing CCCs
conal.net·661w
Overloading lambda
conal.net·661w
From Haskell to hardware via cartesian closed categories
conal.net·661w
Reimagining matrices
conal.net·700w
Parallel speculative addition via memoization
conal.net·703w
A third view on trees
conal.net·780w
Parallel tree scanning by composition
conal.net·782w
Composable parallel scanning
conal.net·794w
Deriving parallel tree scans
conal.net·794w

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help