Difference between revisions of "Hac Boston/Talks"
Jump to navigation
Jump to search
(→Talks) |
(add talk) |
||
Line 13: | Line 13: | ||
| More expressive types for orders and intervals |
| More expressive types for orders and intervals |
||
| Doug McClean |
| Doug McClean |
||
+ | |- |
||
+ | | First-Class Differential Equations |
||
+ | | Gershom Bazerman |
||
|} |
|} |
Revision as of 23:36, 18 January 2012
Talks
Talk Name | Speaker |
---|---|
What Happened to Category Extras? | Edward Kmett |
to be determined | Keegan McAllister |
More expressive types for orders and intervals | Doug McClean |
First-Class Differential Equations | Gershom Bazerman |