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, January 21, 2021
Wednesday, January 20, 2021
Tuesday, December 1, 2020
Friday, November 13, 2020
Tuesday, November 3, 2020
Wednesday, October 21, 2020