archives

Dovetailer?

The following link mentions a 'dovetailer algorithm'. I googled for it but couldn't find anything. Can someone provide some information or pointers?

By Fernando Rodriguez at 2004-10-16 09:25 | LtU Forum | 4 comments | other blogs | 14205 reads

F#, a functional language for .Net

From Microsoft Research:

F# is a variant of ML with a core language akin to that of the OCaml programming language. F# runs on top of the .NET Framework and in many ways the language is designed to be an "ML that fits with .NET". F# includes extensions for working across languages, and the aim is to have it work together seamlessly with C#, COmega, Visual Basic, SML.NET and other .NET programming languages and tools. It is the first ML language where all the types and values in an ML program can be accessed from some significant object-oriented imperative languages (e.g. C#) in a predictable and (reasonably) friendly way.

By Danny Ayers at 2004-10-16 10:03 | Functional | 4 comments | other blogs | 13935 reads

MOZ 2004 talks available

The MOZ 2004 "Second International Conference on
Mozart/Oz" just finished a week ago. There were
50 participants and 23 technical talks. It was quite an
interesting and intense event, with lots of animated
discussions. We have put most of the talks on the
MOZ 2004 main page. I invite you to take a look at
the wide variety of stuff going on under the Mozart
banner.

By Peter Van Roy at 2004-10-16 21:29 | General | 2 comments | other blogs | 5099 reads