Skip to content

Functional Discussions

Photo of Leif Warner
Hosted By
Leif W.
Functional Discussions

Details

Levent Erkok will be giving an informal talk on the SBV library that he's been working on for quite some time now (https://hackage.haskell.org/package/sbv), and a possible brief intro to SAT/SMT solving.

Photo of Portland Functional Programming Study Group group
Portland Functional Programming Study Group
See more events
Collective Agency
322 NW 6th Ave, Suite 200 · Portland, OR