You are viewing the community [info]declarative

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
    [senormouse]
    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
    [ashley_y]
    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
    [ashley_y]
    HaskellWiki

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

    Sunday, November 13th, 2005
    8:04 pm
    [clement]
    Call For Papers - 22nd International Conference on Logic Programming
     FIRST CALL FOR PAPERS

    ICLP'06

    22nd International Conference on Logic Programming
    Seattle, Washington, USA, 17-20 August, 2006
    http://www.cs.uky.edu/iclp06/

    Part of Fourth Federated Logic Conference, FLoC 2006
    http://research.microsoft.com/floc06/

    CONFERENCE SCOPE

    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,
    Parallelism.
    * 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
    http://www.cs.uky.edu/iclp06/
    ( Read more... )
    Monday, October 31st, 2005
    1:08 am
    [ashley_y]
    TimeLib

    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
    [ashley_y]
    ICFP 2005
     Poll #571965 ICFP
    Open to: All, detailed results viewable to: All, participants: 8

    Are you going to ICFP this year?

    View Answers
    yes, I am there right now
    0 (0.0%)
    yes, I will
    1 (12.5%)
    no, but I am going to one of the co-located conferences
    0 (0.0%)
    not at all
    7 (87.5%)

    Have you been to ICFP before?

    View Answers
    yes
    4 (50.0%)
    no, but I have been to a co-located conference
    0 (0.0%)
    not at all
    4 (50.0%)
    Monday, July 25th, 2005
    3:55 pm
    [ashley_y]
    Tuesday, May 31st, 2005
    12:21 pm
    [dkondr]
    Tuesday, May 17th, 2005
    6:41 pm
    [ashley_y]
    Hindley-Milner T-Shirts

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

    Saturday, April 16th, 2005
    12:00 am
    [ashley_y]
    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