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.

Portland Functional Programming Study Group

Technology

Mathematics

Lisp

Programming Languages

Scala

Haskell

Functional Programming

Clojure

Erlang Programming

F# Programming

Python

Category Theory

OCaml Programming

Functors and Monads

Idris

Leif Warner

Every 2nd Monday of the month until December 10, 2017

Functional Discussions

Collective Agency

Share this event

Share an event modal

Functional Discussions

Details