Logic programming in Haskell’s type system

Hosted By
Andreas P. and 2 others

Details
Presenter: Henry Steere
Haskell uses Hindley Milner type inference, which is based on unification. Unification is also the basis of logic programming. Using GHC extensions you can take advantage of Haskell’s type system to do logic programming.
Agenda:
- 6pm ~ 6:45pm: drinks and snacks to keep us functional
- 6:45pm: talk
- 8pm: lights out

Lambda Luminaries
See more events
Jemstep by Invesco
138 West Street, 3rd Floor · Sandton
Logic programming in Haskell’s type system