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 |