tag:calagator.org,2005:/events/searchCalagator: Events tagged with: meetup:event=2335590412016-10-10T13:56:39-07:00tag:calagator.org,2005:Calagator::Event/12504707972016-09-09T10:31:11-07:002016-09-09T10:31:11-07:00PDXFUNC - Functional DiscussionsMonday, September 12, 2016 at 6:30pm at Collective Agency Downtownhttp://calagator.org/events/12504707972016-09-12T18:30:00-07:00<div class="vevent">
<h1 class="summary">PDXFUNC - Functional Discussions</h1>
<div class='date'><time class="dtstart dt-start" title="2016-09-12T18:30:00" datetime="2016-09-12T18:30:00">Monday, September 12, 2016 at 6:30pm</time></div>
<div class="location vcard">
<a href='/venues/202392813' class='url'>
<span class='fn org'>Collective Agency Downtown</span>
</a>
<div class="adr">
<div class="street-address">511 SW 10th Ave, Suite 1108</div>
<span class="locality">Portland</span>
, <span class="region">OR</span>
<span class="postal-code">97205</span>
<div class='country-name'>US<div>
(<a href='https://maps.google.com/maps?q=511%20SW%2010th%20Ave,%20Suite%201108,%20Portland%20OR%2097205%20US'>map</a>)
</div>
</div>
<div class="description">
<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>
</div>
<h3>Links</h3>
<ul>
<li><a class="url" href="http://www.meetup.com/Portland-Functional-Programming-Study-Group/events/233559041/">Website</a></li>
</ul>
<div class="tags">
<h3>Tags</h3>
<p><a class="p-category" href="/events/tag/meetup:event=233559041">meetup:event=233559041</a>, <a class="p-category external meetup group" href="http://www.meetup.com/Portland-Functional-Programming-Study-Group">meetup:group=Portland-Functional-Programming-Study-Group</a></p>
</div>
<div class='single_view_right'>
<a href='http://calagator.org/events/1250470797.ics'>Download to iCal</a>
<div id='edit_link'>
<p>You can <a href="http://calagator.org/events/1250470797/edit">edit this event</a>.</p>
</div>
<div id='metadata'>
This item was imported from <a href="/sources/996335779">http://www.meetup.com/Portland-Functi...</a> <br /><strong>Friday, September 9, 2016 at 10:31am</strong>.
</div>
</div>
</div>
45.5212 -122.6818tag:calagator.org,2005:Calagator::Event/12504709492016-10-10T13:56:39-07:002016-10-10T13:56:39-07:00PDXFUNC - Functional DiscussionsMonday, October 10, 2016 at 6:30pm at Collective Agency Downtownhttp://calagator.org/events/12504709492016-10-10T18:30:00-07:00<div class="vevent">
<h1 class="summary">PDXFUNC - Functional Discussions</h1>
<div class='date'><time class="dtstart dt-start" title="2016-10-10T18:30:00" datetime="2016-10-10T18:30:00">Monday, October 10, 2016 at 6:30pm</time></div>
<div class="location vcard">
<a href='/venues/202392813' class='url'>
<span class='fn org'>Collective Agency Downtown</span>
</a>
<div class="adr">
<div class="street-address">511 SW 10th Ave, Suite 1108</div>
<span class="locality">Portland</span>
, <span class="region">OR</span>
<span class="postal-code">97205</span>
<div class='country-name'>US<div>
(<a href='https://maps.google.com/maps?q=511%20SW%2010th%20Ave,%20Suite%201108,%20Portland%20OR%2097205%20US'>map</a>)
</div>
</div>
<div class="description">
<p>We'll discuss what Haskell is good for and why you should care, the ever popular "what's a monad" and anything functional related people want to talk about.</p>
</div>
<h3>Links</h3>
<ul>
<li><a class="url" href="http://www.meetup.com/Portland-Functional-Programming-Study-Group/events/233559041/">Website</a></li>
</ul>
<div class="tags">
<h3>Tags</h3>
<p><a class="p-category" href="/events/tag/meetup:event=233559041">meetup:event=233559041</a>, <a class="p-category external meetup group" href="http://www.meetup.com/Portland-Functional-Programming-Study-Group">meetup:group=Portland-Functional-Programming-Study-Group</a></p>
</div>
<div class='single_view_right'>
<a href='http://calagator.org/events/1250470949.ics'>Download to iCal</a>
<div id='edit_link'>
<p>You can <a href="http://calagator.org/events/1250470949/edit">edit this event</a>.</p>
</div>
<div id='metadata'>
This item was added directly to Calagator <br /><strong>Monday, October 10, 2016 at 1:56pm</strong>.
</div>
</div>
</div>
45.5212 -122.6818