Viewing 0 current events matching “meetup:event=233559041” by Date.

Sort By: Date Event Name, Location , Default
No events were found.

Viewing 2 past events matching “meetup:event=233559041” by Date.

Sort By: Date Event Name, Location , Default
Monday
Sep 12, 2016
PDXFUNC - Functional Discussions
Collective Agency Downtown

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.

Website
Monday
Oct 10, 2016
PDXFUNC - Functional Discussions
Collective Agency Downtown

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.

Website