Human Folly about “neelk”

Are functional programs easier to (semantic-domain.blogspot.com):
Neel Krishnaswami (#neelk) explains the difficulties of applying #formal-methods to imperative code. #cs
on 02019-02-01
(lambda-the-ultimate.org):
A 2014 discussion about #reactive programming with #Facebook’s React and how it relates to #incremental computation and #FRP and #temporal #logic. Neel Krishnaswami (#neelk) links his paper on “higher-order reactive programming without spacetime leaks”.
on 02015-08-10
(lambda-the-ultimate.org):
A super great 2012 discussion of #IMGUI immediate-mode GUIs and how they relate to #FRP and #reactive programming. Comments from David Barbour (of curl, talking about #ZUI zooming UIs, among others), #neelk, and Sean McDirmid, plus some guy named Thomas Madden who seems to have thought about this stuff a lot.
on 02015-08-10