Logic programming in Scala, part 2: backtracking

In the previous post we saw how to write computations in a logic monad, where a “value” is a choice among alternatives, and operating on a ...

30 Apr 2011

Jake Donham

Read Article
camel head illustration

[ARTICLE]
Coq Workshop 2011

25 Apr 2011

Coq

Read Article
camel head illustration

[ARTICLE]
3rd Asian-Pacific Summer School on Formal Methods

25 Apr 2011

Coq

Read Article
camel head illustration

[ARTICLE]
Coq 8.3pl2 is out

25 Apr 2011

Coq

Read Article
camel head illustration

[ARTICLE]
Esterel Technologies becomes member of the Caml Consortium

20 Apr 2011

Caml INRIA

Read Article
camel head illustration

[ARTICLE]
A Spring Wiki Cleaning

11 Apr 2011

MirageOS

Read Article
camel head illustration

[ARTICLE]
Logic programming in Scala, part 1

I got a new job where I am hacking some Scala. I thought I would learn something by translating some functional code into Scala, and a frien...

07 Apr 2011

Jake Donham

Read Article
camel head illustration

[ARTICLE]
PDF Command Line Tools 1.6

17 Mar 2011

Coherent Graphics

Read Article
camel head illustration

[ARTICLE]
LLVM Backend for DDC : Very Nearly Done.

01 Jan 2011

Erik de Castro Lopo

Read Article
camel head illustration

[ARTICLE]
OCaml Forge has been upgraded

29 Dec 2010

OCamlCore.com

Read Article
camel head illustration

[ARTICLE]
... 164 165 166 ... 179