Difference between revisions of "Hac Boston/Talks"
Jump to navigation
Jump to search
| Line 7: | Line 7: | ||
| What Happened to Category Extras? |
| What Happened to Category Extras? |
||
| Edward Kmett |
| Edward Kmett |
||
| − | |- |
||
| − | | to be determined? |
||
| − | | Keegan McAllister |
||
|- |
|- |
||
| More expressive types for orders and intervals |
| More expressive types for orders and intervals |
||
Revision as of 10:04, 21 January 2012
Talks
| Talk Name | Speaker |
|---|---|
| What Happened to Category Extras? | Edward Kmett |
| More expressive types for orders and intervals | Doug McClean |
| First-Class Differential Equations | Gershom Bazerman |