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, April 14, 2011
Tuesday, September 14, 2010
Wednesday, May 26, 2010
Tuesday, June 2, 2009
Monday, September 29, 2008
Friday, September 19, 2008