English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
AGI research using ocaml
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2010-03-13 (15:41)
From: Eray Ozkural <examachine@g...>
Subject: Re: [Caml-list] AGI research using ocaml
On Sat, Mar 13, 2010 at 5:38 PM, Eliot Handelman <eliot@colba.net> wrote:
> If this description is correct (I haven't followed the whole discussion)
> then check out the adate system, which generates programs
> in a subset of SML:
> http://www-ia.hiof.no/~rolando/

Yes, ADATE is relevant, but this is errr... significantly different
from ADATE, so I can't just use it for my needs. ADATE does function
induction of course, it's one of the first programs that implemented a
proper program search.


Eray Ozkural, PhD candidate.  Comp. Sci. Dept., Bilkent University, Ankara
http://myspace.com/arizanesil http://myspace.com/malfunct