Introduction
The purpose of this gathering is to explore common perspectives of category theory within functional programming frameworks and applications. We’re also going to look at recent applications using purescript for writing full-stack blockchain applications.
Where and when
NAVEL
1611 S Hope st
Los Angeles, 90015 CA
26-27 May 2018
Parking will be available. Lunch will be offered to participants for free. Registration required. Seats are limited. Please only RVSP if you are certain you can make it.
Program
The idea is to start each day with a longer talk that sets the theme for the day. The afternoon then allows general open hacking sessions and pair-programming on that theme, occasionally interrupted by 15-20min lightning talks. If possible, we’d end each day with brief presentations / discussions about the work done.
If you are interested in giving a lightning talk, please reach out: kristoffer@foam.space
Schedule
The schedule for the weekend is as follows (changes and additions may occur)
Time | Saturday | Sunday |
---|---|---|
10am-11am | Declarative UIs are the Future, and the Future is Comonadic! (Phil Freeman) | functional web3 (Martin Allen) |
11am-12pm | Functions, Type classes, & Interpreters (Nathan Faubion) | functional web3-live (Kristoffer Josefsson) |
12pm-1pm | Lunch | Lunch |
1pm-2pm | Open session | Open session |
2pm-2.30pm | Category Tehory and Graphical injections: A vision of Advanced Knowledge Representation (Chris Bisignani) | Strongly typed contract storage (Ryan Reich) |
2.30-3.00pm | - | Urbit architecture overview (Ted Blackman) |
3.00pm-4pm | Open session | Open session |
4pm-5pm | Demonstrations | Demonstrations |