[comp.lang.functional] The world's best system for automatic programming ...

Francois-Rene Rideau fare@tunes.org
Mon Mar 11 07:39:02 2002

Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit

Something to follow?

[ François-René ÐVB Rideau | Reflection&Cybernethics | http://fare.tunes.org ]
[  TUNES project for a Free Reflective Computing System  | http://tunes.org  ]
Don't worry about what anybody else is going to do. The best way to predict
the future is to invent it. Really smart people with reasonable funding can
do just about anything that doesn't violate too many of Newton's Laws!
	-- Alan Kay, 1971

Content-Type: message/rfc822
Content-Disposition: inline

Path: norfair.nerim.net!nerim.net!gitoyen!deine.net!colt.net!news.tele.dk!small.news.tele.dk!!uninett.no!odin.hiof.no!rolando
From: Roland Olsson <rolando@odin.hiof.no>
Newsgroups: comp.lang.functional
Subject: The world's best system for automatic programming ...
Date: Mon, 11 Mar 2002 10:56:01 +0100
Organization: UNINETT news service
Lines: 35
Message-ID: <Pine.LNX.4.33.0203111051380.21635-100000@odin.hiof.no>
NNTP-Posting-Host: odin.hiof.no
X-Trace: snipp.uninett.no 1015840564 8351 (11 Mar 2002 09:56:04 GMT)
X-Complaints-To: news-abuse@uninett.no
Xref: norfair.nerim.net comp.lang.functional:5643
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii

... will be the successor to ADATE. If you are interested in working on
it, please consider a Ph. D. scholarship with 100% research time offered
by us.

A scholarship candidate should have basic knowledge of the following

* Elementary functional programming concepts such as polymorphic typing,
  higher-order functions, monads and laziness.

* Compiler design, for example liveness and dataflow analysis and a
  multitude of common program transformations.

* Algorithms for SAT-solving, bin packing, TSP, integer linear programming
  and other NP-hard problems.

* Probabilistic algorithms e.g. the Monte Carlo and Las Vegas varieties.

More information and a test problem that candidates are expected to solve
is available at


Roland Olsson
Department of Computer Science
Ostfold College

+47 69215369