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
▼
Thursday, November 30, 2017
Saturday, November 4, 2017
Tuesday, October 31, 2017
Tuesday, October 3, 2017
Saturday, September 30, 2017
Tuesday, September 19, 2017