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 4, 2018
Thursday, May 3, 2018
Friday, April 13, 2018
Monday, April 2, 2018
Thursday, March 1, 2018
Tuesday, February 6, 2018