Log in

No account? Create an account
Declarative Programming Languages' Journal
[Most Recent Entries] [Calendar View] [Friends]

Below are the 10 most recent journal entries recorded in Declarative Programming Languages' LiveJournal:

Friday, July 14th, 2006
9:22 pm
I'm looking for a linear logic programming language. I've found a couple of legacy languages such as Lolli, Lygon or LLP, but it seems to me none of them is maintained properly and is suitable as a working tool. Did I miss something? Why did this direction stop?
Saturday, July 1st, 2006
6:10 pm
ICFP 2006

I'm considering going to ICFP, since it's only a three hour drive from Seattle.

What can I expect?

Saturday, January 14th, 2006
6:10 pm

HaskellWiki is now working, and we finally figured out a license. It's intended to eventually replace shae's hawiki.

Sunday, November 13th, 2005
8:04 pm
Call For Papers - 22nd International Conference on Logic Programming


22nd International Conference on Logic Programming
Seattle, Washington, USA, 17-20 August, 2006

Part of Fourth Federated Logic Conference, FLoC 2006


Since the first conference held in Marseilles in 1982, ICLP has been
the premier international conference for presenting research in logic
programming. Contributions (papers and posters) are sought in all areas
of logic programming including but not restricted to:

* Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning,
Knowledge Representation.
* Implementation: Compilation, Memory Management, Virtual Machines,
* Environments: Program Analysis, Program Transformation, Validation and
Verification, Debugging, Profiling.
* Language Issues: Concurrency, Objects, Coordination, Mobility, Higher
Order, Types, Modes, Programming Techniques.
* Alternative Paradigms: Constraint Logic Programming, Abductive Logic
Programming, Inductive Logic Programming, Answer-Set Programming.
* Applications: Deductive Databases, Data Integration, Software Engineering,
Natural Language, Web Tools, Internet Agents, Artificial Intelligence.

The three broad categories for submissions are: (1) technical papers,
where specific attention will be given to work providing novel integrations
of the areas listed above, (2) application papers, where the emphasis
will be on their impact on the application domain as opposed to the
advancement of the the state-of-the-art of logic programming, and (3)
posters, ideal for presenting and discussing current work not yet ready
for publication, for PhD thesis summaries and research project overviews.

In addition to papers and posters, the technical program will include
invited talks, advanced tutorials, several workshops and Doctoral
Student Consortium. Details, as they become available will be posted at
Read more...Collapse )
Monday, October 31st, 2005
1:08 am

I just announced version 0.2 of my attempt to write a replacement for the Haskell standard time library, TimeLib, on the Haskell libraries list. I've tried to balance expressive functionality with intelligible simplicity, with correctness as an overriding concern. You can also see the API if you're familiar with Haskell (or even if you're not).

There are a lot of subtleties to time and its measurement. I started off this project not by proposing any particular code, but by posting a long overview of the problem to the libraries list. Generally I think this is a better approach for this sort of thing; often people post code before giving everyone the chance to discuss the ideas behind it.

Friday, September 16th, 2005
5:08 pm
ICFP 2005

Are you going to ICFP this year?

yes, I am there right now
yes, I will
no, but I am going to one of the co-located conferences
not at all

Have you been to ICFP before?

no, but I have been to a co-located conference
not at all
Monday, July 25th, 2005
3:55 pm
Tuesday, May 31st, 2005
12:21 pm
Tuesday, May 17th, 2005
6:41 pm
Hindley-Milner T-Shirts

T shirts with the Hindley-Milner Principal Type Algorithm on the back.

Saturday, April 16th, 2005
12:00 am
Haskell vs. OCaml

Haskell is my favourite language, but it's slow. In the Shootout, GHC-compiled Haskell performs poorly, while OCaml performs very well. Am I right in thinking laziness is to blame? Laziness is actually one of the less interesting things about Haskell in my view, I'm more interested in monads, type-classes, and other clever type stuff.

About LiveJournal.com