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
▼
Monday, June 29, 2015
Saturday, June 20, 2015
Friday, June 5, 2015
Thursday, April 30, 2015
Wednesday, April 1, 2015
Sunday, March 1, 2015