Typed Tagless Final Interpreters (Scala adaptation) with Suhail

Suhail will present a Scala adaptation of Oleg Kiselyov and Ken Shan's paper on typed tagless final interpreters.

From Suhail's announcement:

i've presented the talk previously in a haskell meetup, and presented a portion of the scala adaptation in a local lunch and learn at wajam. the paper discusses a technique of modelling a typed, extensible, embedded domain specific languages in a richly typed host language and along the way solves the expression problem as well.

Exceptionally, this meetup will start at 18h30. The talk will be at 19h.