Incorporates strong typing over predicate logic programming, and, conversely, incorporates predicate logic programming into strongly typed functional languages. The style of predicate logic is from Prolog; the strongly typed functional language is Haskell.
Pages
▼
Tuesday, January 31, 2017
Thursday, January 19, 2017
Sunday, January 1, 2017
Saturday, December 10, 2016
Wednesday, November 30, 2016
Tuesday, November 1, 2016