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
▼
Saturday, September 30, 2017
Tuesday, September 19, 2017
Friday, September 1, 2017
Tuesday, August 1, 2017
Monday, July 31, 2017
Friday, July 7, 2017