[Haskell-cafe] Interest in typed relational algebra library?

Jay Sulzberger jays at panix.com
Wed Jul 18 09:03:50 CEST 2012

On Tue, 10 Jul 2012, oleg at okmij.org wrote:

>> And yes to first order predicate calculus too!
> Just two weeks ago Chung-chieh Shan and I were explaining at NASSLLI
> the embedding in Haskell of the higher-order predicate logic with two
> base types (so-called Ty2). The embedding supports type-safe
> simplification of formulas (which was really needed for our
> applications). The embedding is extensible: you can add models and
> more constants.
> 	http://okmij.org/ftp/gengo/NASSLLI10/course.html#semantics

Oleg, thank you.  Which article should I read first?


More information about the Haskell-Cafe mailing list