sorted by: recent | see :
popular
Content Tagged with fp + people
bookmark this on del.icio.usDana N. Xu's homepage
Current Research Interest
Building reliable and efficient softwares through static analysis, type theory, program verification and optimization
First year's topic : Arity Analysis
...
Second year's topic : ESC/Haskell
xtended static checking tool f
Daan Leijen
Take a look at his proposal for scoped labels in functional languages:
http://www.cs.uu.nl/~daan/download/papers/scopedlabels.pdf
A Neighborhood of Infinity
Offerings from math, physics, and computer science including category theory and functional programming. (Yum!)
Haskell: del.icio.us tag/haskell
Programming
cs
physics
people
Browsing
math
reading
haskell
blog
fp