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

▼

Saturday, November 16, 2013

Abstract Nonsense: chapter 2c, Continuing on Continuations

So, continuing on Continuations (like you thought we're done with this? We're NEVER done with this!) So. Yeah. That. So, ...

Thursday, November 14, 2013

Abstract Nonsense: chapter 2, continuations, or whaaaaaa?

We consider the continuation. Logically, the continuation is a bit of (abstract) nonsense: (P -> R) -> R That is: if we ...

Friday, November 1, 2013

Abstract Nonsense, chapter 1: the List

Abstract Nonsense: Rambling thoughts of a Category Theorist Synopsis: Looking at things through the lens of category theory, where ...

Monday, June 17, 2013

Thoughts on Kleisli Arrows in Java (WIP)

Here are some ramblings as I puzzle my way through on how to represent Kleisli arrows in Java (and why I would want to do that, anyway). Thi...

Tuesday, May 7, 2013

Small survey of Category Theory introductions

Some time ago a friend asked for a good introductory work on Category theory. I never did answer his question to my satisfaction, as the st...

Wednesday, December 19, 2012

That's a pretty good guess... Naïve Bayesian Classifiers

... so, I don't need to write any more, correct? Classification problem? Apply a naïve bayesian system to it, and you are way ahead of t...

View web version

Powered by Blogger.