The Portland Dependent Types Study Group: Types which depend on values, and the people who depend on the types.
Portland, Oregon
Joined January 2014
- Tweets20
- Following16
- Followers67
- Likes1
PDX Dependent Types retweeted
Tech talk: Toward Extracting Monadic Programs from Proofs by James Caldwell, on Friday March 18th: galois.com/blog/2016/03/tech…
PDX Dependent Types retweeted
Tech talk: Designing a practical dependently typed language by Chris Casinghino on Wednesday, Nov 11th! galois.com/blog/2015/11/tech…
The 3rd installment of @d_christiansen's Idris course at @galoisinc is up vimeo.com/117979741 Slides & exercises: github.com/david-christianse…
PDX Dependent Types retweeted
Dependently Typed programming in Idris (if you're into that sort of thing), part 2 of 3: vimeo.com/117973383
PDX Dependent Types retweeted
The final session of my #Idris course begins in an hour at @galoisinc . For the busy and the non-PDXers, it will be recorded.
Tomorrow (Thursday) at 3:30: final installment (3 of 3) of @d_christiansen series of Idris lessons at @galoisinc calagator.org/events/1250467…
This Tuesday 3:30 at @galoisinc: part 2 of 3 of @d_christiansen's excellent Idris class, this time on DSLs. calagator.org/events/1250467…
Next Thursday: Learn Idris from @d_christiansen at @galoisinc (part 1 of a 3 talk series) calagator.org/events/1250467…
Tonight @pdxfunc: @d_christiansen reprising his @IFL_2014 talk on type-directed elaboration of quasiquotes in Idris. calagator.org/events/1250467…
This Friday: A presentation on Idris (a fancy Haskell-looking langauge w/ dependent types) by @edwinbrady calagator.org/events/1250466…