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
▼
Wednesday, May 26, 2010
Tuesday, June 2, 2009
Monday, September 29, 2008
Friday, September 19, 2008
Thursday, September 18, 2008
Wednesday, September 10, 2008