Typed Logic
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, November 9, 2021
Sunday, June 6, 2021
Tuesday, June 1, 2021
Saturday, May 8, 2021
Tuesday, April 6, 2021
Thursday, April 1, 2021