Timeline for Is functional programming a branch of mathematics?
Current License: CC BY-SA 2.5
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 16, 2010 at 2:14 | comment | added | Charles Stewart | This being the mostly categorical theory arising out of Moggi's computational lambda calculus and its applications. | |
| Jan 15, 2010 at 21:45 | history | answered | B. Bischof | CC BY-SA 2.5 |