Open Position at Bremen: Senior Researcher.

1999-01-25 Thread Christoph Lueth
ted. Best regards, --Christoph. --- Christoph LuethFB3 -- Mathematik und Informatik Universitaet Bremen Phone +49-421-2187585 Postfach 330440 Fax

Re: how to write a simple cat

1999-06-07 Thread Christoph Lueth
Hans Aberg [EMAIL PROTECTED] writes: Exactly how is this connection between the lambda calculus and category theory described? -- That is, one would expect to know that if one has a category of some sort, it is equivalent to the lambda calculus, or something like that. There is a very

Re: none

1999-12-08 Thread Christoph Lueth
Nguyen Phan Dung [EMAIL PROTECTED] writes: Besides, if you know, would you please tell me where we can download Uniform Workbench? (I found the paper about Uniform Workbench only) You can't download the whole of the Uniform Workbench, because we decided to revise the subsystem which does

Re: Sockets and firewalls

2002-02-28 Thread Christoph Lueth
Till Mossakowski [EMAIL PROTECTED] writes: Hello, I have seen that there are several Haskell libraries for cgi scripts and the like. Is there also a possibiliy to deal with sockets and firewalls? Yes, there's the Sockets module in the ghc library, which allows you to do TCP and UDP (and

Announce: HTk - a GUI toolkit for Haskell

2002-05-28 Thread Christoph Lueth
It is our pleasure to announce the release of HTk, a graphical user interface toolkit and library for Haskell. Version 0.98 (World Cup edition) Htk is a typed, portable encapsulation of Tcl/Tk into Haskell. Its distinctive features are the use of Haskell types and type

Re: Announce: HTk - a GUI toolkit for Haskell

2002-05-30 Thread Christoph Lueth
Johannes Waldmann [EMAIL PROTECTED] writes: HTk, a graphical user interface toolkit and library for Haskell. what are the differences to FranTk ( http://haskell.cs.yale.edu/FranTk/ ) ? In a nutshell, it uses a different event model. As far as I understand, FranTk allows you to

Haskell in Space

2002-02-28 Thread Christoph Lueth
Dear Haskell people, as the last exercise of a second-year undergraduate Haskell course I had the students write an asteroids-type game (older readers may remember this arcade classic from the last century) using the Hugs Graphics Library. I put some solutions up on a wee web-page, because I

Debugging Haskell: the stack

2002-10-25 Thread Christoph Lueth
Dear Haskell people, when I call from Haskell into C, stop it there, and use a debugger (e.g gdb) to look at the stack, it looks all broken. Here is an example: #0 c_init () at c.c:5 #1 0x08048f14 in ssM_fast1 () #2 0x0804a248 in sakt_ret () #3 0x04c58308 in ?? () (c_init is a C function

Haskell in Space

2002-02-28 Thread Christoph Lueth
Dear Haskell people, as the last exercise of a second-year undergraduate Haskell course I had the students write an asteroids-type game (older readers may remember this arcade classic from the last century) using the Hugs Graphics Library. I put some solutions up on a wee web-page, because I