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