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, February 6, 2018
Wednesday, January 31, 2018
Friday, January 5, 2018
Tuesday, January 2, 2018
Friday, December 29, 2017
Thursday, November 30, 2017