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

Jay Sulzberger jays at panix.com
Wed Jul 18 20:23:37 CEST 2012

On Wed, 18 Jul 2012, Jay Sulzberger wrote:

> 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?
> oo--JS.

Ah, I see that the files are Haskell source files, and not Postscript files.

The order is clear.


More information about the Haskell-Cafe mailing list