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, October 31, 2017
Tuesday, October 3, 2017
Saturday, September 30, 2017
Tuesday, September 19, 2017
Friday, September 1, 2017
Tuesday, August 1, 2017