University of New South Wales - Application of logic programming, compiler technology, computers and biology, knowledge acquisition, knowledge representation, logic programming systems, program analysis, and signal recognition.

University of New South Wales - Neural networks, natural language processing and collection of ill-formed sentences, cognitive modelling, and combinatorial search algorithms.

Description of several types of formal grammars for natural language processing, parse trees, and a number of parsing methods.

Explains the risks of exchanging data in non-public format and suggests the main alternatives.

Bindings for GTK+ for Haskell.

A set of modules for creating compilers in Haskell. [Open Source, GPL]

A tiny utility that extracts version information from a .cabal file and from darcs, and then, inserts it into a source file.

Malcolm Ryan's proposed standard for Threaded Intercal, version 0.2.

Bindings for GTK+ for the functional programming language Haskell.

Orthogonally persistent, capability-based secure SASOS using L4 2nd generation microkernel. Goals: Prove SASOSs can run on normal hardware, be as secure as normal OSs; can be as efficient as, and are faster than, normal OSs in some important uses; can...