[Haskell-cafe] Interest in typed relational algebra library?
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.
Oleg, thank you. Which article should I read first?
More information about the Haskell-Cafe