Re: seeking staff member to help with compiler construction in functional language

1999-10-22 Thread Manuel M. T. Chakravarty
Norman Ramsey <[EMAIL PROTECTED]> wrote, > This position may be of at most peripheral interest to readers of the > Haskell mailing list, but it may not. I would like to hire a > research-staff member to help build a C-- compiler, using the > functional language Objective Caml. Experience with c

seeking staff member to help with compiler construction in functional language

1999-10-22 Thread Norman Ramsey
This position may be of at most peripheral interest to readers of the Haskell mailing list, but it may not. I would like to hire a research-staff member to help build a C-- compiler, using the functional language Objective Caml. Experience with compiler construction using Haskell would be more t

PLI 2000: Call for Workshops

1999-10-22 Thread Amy Felty
CALL FOR WORKSHOP PROPOSALS PRINCIPLES, LOGICS, AND IMPLEMENTATIONS OF HIGH-LEVEL PROGRAMMING LANGUAGES (PLI'00) Montreal, Canada, September 18-23, 2000 http://www.cs.yorku.ca/pli-00 Submissio

Re: Help with lists?

1999-10-22 Thread Ronald J. Legere
Thanks to everyone who replied to my question on how to handle lists with 'special' formating. (With regards to Show). The answer was to make my type an instance of 'Show', rather then the list of my type (as I was trying to do), and overide showList. THanks

Haskell reports & licensing

1999-10-22 Thread Antti-Juhani Kaijanaho
Hello, Several months ago there was discussion about changing the Haskell spec license to be more liberal. It is my understanding that we reached a consensus, yet nothing has been done about it. What's the news on this? (I'm actually in a hurry with this, I'd like to see the license change ASA

CL2000: 2nd call for papers

1999-10-22 Thread Raamsdonk van F
*** apologies for multiple copies *** First International Conference on Computational Logic, CL2000 Imperial College, London, UK 24th to 28th July, 2000 2nd call for papers CL20