|
Change #40817
2016-09-09
10:31:11
|
create
Calagator::Event
1250470797
Functional Discussions
Roll back
| description |
nil |
→ |
<p>Echo Nolan will be presenting the paper "Generic Constructors and Eliminators from Descriptions: Type Theory as a Dependently Typed Internal DSL" by Tim Sheard and Larry Diehl. The authors describe a method of encoding inductive types via descriptions that are ordinary terms, rather than each inductive type adding a new set of axioms to the theory. They go on to contribute a generic eliminator function that works for any type defined in this way.</p> |
| id |
nil |
→ |
1250470797 |
| source_id |
nil |
→ |
996335779 |
| start_time |
nil |
→ |
2016-09-12 18:30:00 -0700 |
| title |
nil |
→ |
Functional Discussions |
| url |
nil |
→ |
http://www.meetup.com/Portland-Functional-Programming-Study-Group/events/233559041/ |
| venue_id |
nil |
→ |
202392813 |
|