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 |