On 02/11/2012 06:49 PM, Eliot Handelman wrote:
On 11/02/2012 12:38 PM, Goswin von Brederlow wrote:
Anyone have something like this but for non-overlapping intervals and
allowing interval insertion and removal with merging and spliting of the
internaly used intervals?
Cis from Sébastien
Matej Košík 5764c029b688c1c0d24a2e97cd7...@gmail.com writes:
1. these examples are not compiled with ordinary ocamlc/camlp4 tools but
with special ocamlc/camlp4* version built at the boot time which are
not interchangeable with regular ocamlc/camlp4* programs. If I try to
use regular
Dear camlers,
I'm looking for advanced examples of GUI programming in functional style.
As I'm aware there is no definitive answer on this topic, I'll gladly read
about pragmatic approaches which may fail to be fully declarative, but do
work well in practice. Lately I've been trying to write a
I see an immediate problem with packages that install several executable
files (for instance, Melt provides a library and a collection of tools,
none of them named melt, by the way). I haven't spent time looking more
than superficially into oasis or odb yet, but it strikes me as a possibly
On 02/13/2012 06:01 AM, Arnaud Spiwack wrote:
I see an immediate problem with packages that install several executable
files (for instance, Melt provides a library and a collection of tools,
none of them named melt, by the way). I haven't spent time looking more
than superficially into oasis or
On 02/13/2012 03:39 PM, Romain Bardou wrote:
Le 13/02/2012 14:04, Edgar Friendly a écrit :
On 02/13/2012 06:01 AM, Arnaud Spiwack wrote:
I see an immediate problem with packages that install several executable
files (for instance, Melt provides a library and a collection of tools,
none of
***
* *
*SFM-12:MDE *
* *
* 12th International School on
This is an interval computation library for ocaml. The download link is :
http://www.alliot.fr/code/interval.tgz
This library uses assembly code to compute all operations with proper
roundings (high/low), and currently ONLY works on intel processors.
The package has been developped for linux
Hi,
Thanks for your contribution ! Could you create a web page with all
this information ? When we want to advertise the existence of such a
package (from the hump, for example), it is better to link to a web page
instead of directly to the source archive, in case the archive is
updated, or
On Mon, Feb 13, 2012 at 3:01 AM, Philippe Veber
philippe.ve...@gmail.com wrote:
than expected, for example with layout management. In order to compute a
layout for the widgets, some information has to travel bottom up the widget
hierarchy, and some goes top down. While there is a well-founded
Call For Papers
Science of Computer Programming
Special Issue on Automated Verification of Critical Systems
Guest editors: Cliff Jones, Alexander Romanovsky
Submission deadline: 05.05.2012
Notification: 01.08.2012
This special issue is devoted to the scope of the international
workshop on
Second Call for Papers
FMICS 2012
17th International Workshop on
Formal Methods for Industrial Critical Systems
Hello
I have some code that behaves like the following.
module M = struct
type ('a, 'b) ops = {
bar_of_foo : 'a - 'b;
foo_of_bar : 'b - 'a
}
let foo ops x = ops.bar_of_foo x
let bar ops x = ops.foo_of_bar x
end
type foo = A | B
type bar = C | D
let ops = {
M.bar_of_foo =
Hi
As requested by Fabrice, this is the link to the web page for the library.
http://www.alliot.fr/fbbdet.html.fr
There are some more things on this page, such as an introduction to
interval programming, and to BB techniques with interval arithmetic.
Friendly
Jean-Marc
Fabrice Le Fessant
I've been taking a stab at this too; for a video game. The approach I'm
taking is with delimited continuations (using Oleg's delimcc). This allows
me to run UI code as a coroutine. The UI code then looks like any other
code, where user inputs are results from a function. Really, the UI code
stops,
15 matches
Mail list logo
