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, October 17, 2019
Monday, February 18, 2019
Monday, January 28, 2019
Monday, December 3, 2018
Friday, November 2, 2018