Hac Boston/Talks
Jump to navigation
Jump to search
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 |