November 2000 - Haskell

Release: Mondrian and Haskell for .NET
by Nigel Perry 23 Nov '00

23 Nov '00

We have just released a new version of Mondrian, a new functional language for OO environments. This version is a prototype which targets Microsoft's new .NET platform. Mondrian is a non-strict functional language with threads, exceptions and interlanguage working - think of it as Haskell "light" with extras. Documentation is provided in the form of a paper and example programs, i.e. we haven't written proper documentation yet ;-) Also released is our first prototype of Haskell for .NET. This is a modified version of GHC which outputs an internal language which is read and compiled by the Mondrian for .NET compiler. This is the full GHC compiler but not all the Prelude is there, in particular there is no support for floats, file I/O and other odds'n'ends. This will improve over time (have you looked at the GHC Prelude, it takes time!) Both compilers, demo programs, etc. are available now from: <http://www.mondrian-script.org> You will need Windows 2000 and .NET to use this software. Have fun and feedback is welcome. Cheers, Nigel for the Mondrian Team -- -- Nigel Perry, New Zealand/Utrecht, The Netherlands

1 1

Parser Combinators in C
by Koen Claessen 23 Nov '00

23 Nov '00

Hi all, A while ago, I worked on a project where I was forced to write code in C. (Yuck!) One of the things that I wrote was a parser. I hate using yacc, so, in order to have some fun on my project, I decided to develop a parser combinator library in C! This would be a parser combinator library inspired by the monadic library described in Meijer's and Hutton's paper. Since then, I completely reimplemented the library, cleaning up the interface and adding new features to it. I started writing a little bit about it. A first draft can be found on: http://www.cs.chalmers.se/~koen/ParserComboC/parser-combo-c.html I thought it could be fun for Haskell programmers to see this. (One of the problems with this webpage is that I do not really know for who I am writing it...) So if you have any comments or suggestions, please tell me! Regards, Koen. PS. This is not a joke. Some people have looked at my code and thought nobody would ever be able to write code like that! Well, I wrote and used this code for real! :-) I guess we functional programmers are (considered to be) weird sometimes :-) :-) Or maybe it is just me... -- Koen Claessen http://www.cs.chalmers.se/~koen phone:+46-31-772 5424 mailto:koen@cs.chalmers.se ----------------------------------------------------- Chalmers University of Technology, Gothenburg, Sweden

2 1

Attn: Corporate Training Coordinator - Windows 2000 Courseware Content
by fibonaci＠smartt.com 22 Nov '00

22 Nov '00

As you restructure your IT training program and consider how you might imagine the best way of providing content for your courses, you'll find yourself appreciating course content that is already prepared and ready for immediate use in your curriculum. We design and develop books and curriculum that support Systems Engineering technologies and certifications including: · A+ · Network+ · i-Net+ · MCSE · MCDBA (Full course descriptions are available) Some of our books have been top 10 best sellers through Amazon.com. You might also be interested in our adaptive and non-adaptive test engine slated to be available 3rd quarter, 2000. The engine is designed for practice and study. Test questions and answers are easily added, edited or deleted. We can help you with your high-tech training needs including books, books on CD, Instructor led classes and distance learning products. We also create custom high-tech curriculum for companies. We are a one-stop solution for high-tech educational content, training and resources. We offer distance learning and instructor lead products for both individuals and groups and our education solutions meet typical corporate and learning center needs. We are a Microsoft Solution Provider (MSP), Microsoft Certified Technical Education Center (CTEC) and a Computer Technology Industry Association Certified Training Center (CompTIA). We partner with a major University, an international leader in adult-instructor-lead and distance learning, to offer graduate and undergraduate credit for many of our courses. Also, don't hesitate to inquire about our documentation and technical writing services. Please feel free to contact me in the meantime. I look forward to speaking with you further. Casey Lea, Creative Director or Domhnall Adams, CS DCGNA, CS and Associates 780-998-4066

1 0

HAPPY QUESTION
by Franck Delaplace 21 Nov '00

21 Nov '00

I wish to test Happy. Where can I find an example the use of Happy ? Thank sfor your answer -- Franck Delaplace @w3:http://taillefer.lami.univ-evry.fr:8090/~delapla/ La.M.I-U.M.R C.N.R.S Université d'Evry Val d'Essonne Cours Monseigneur Roméro 91025 Evry CEDEX (France)

1 0

Static Analysis Symposium 2001, Paris : 1st CfP
by Radhia Cousot 21 Nov '00

21 Nov '00

========My apologies for duplicates of this announcement========= ================================================================= = = = First Call For Papers = = = = 8th INTERNATIONAL STATIC ANALYSIS SYMPOSIUM = = = = = = La Sorbonne, Paris = = 16-18 July, 2001 = = = = http://www.ens.fr/sas01/ = = = ================================================================= Static Analysis is increasingly recognized as a fundamental technique for high performance implementations and verification systems of high-level programming languages. The series of Static Analysis Symposia has served as the primary venue for presentation of theoretical, practical and applicative in the area. The Eigth International Static Analysis Symposium (SAS2'01) will be held at La Sorbonne in Paris and followed immediately at La Mutualite by the Thirteenth Conference on Computer Aided Verification (CAV'01, http://www.lsv.ens-cachan.fr/cav01/}. Previous symposia were held in Santa Barbara, Venice, Pisa, Paris, Aachen, Glasgow and Namur. The technical program for SAS'01 will consist of invited lectures, tutorials, panels, presentations of refereed papers, and software demonstrations. Contributions are welcome on all aspects of Static Analysis, including, but not limited to abstract interpretation data flow analysis verification systems optimizing compilers abstract domains program specialization theoretical frameworks type inference abstract model checking complexity analysis abstract testing security analysis Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming. Survey papers that present some aspect of the above topics with a new coherence are also welcome. Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with a refereed proceedings. Submitted papers should be at most 15 single space 11-point font pages excluding bibliography and well-marked appendices. Program committee members are not required to read any appendices, and so a paper should be intelligible without them. The papers should be submitted as PostScript documents that are interpretable by Ghostscript and/or in PDF format, and they must be printable on both US letter and A4 paper; to facilitate this, extensive use of special fonts and colors should be avoided. Submissions should arrive by February 15, 2001. All submissions must be done electronically at http://www.ens.fr/sas01/. Authors will be notified of the acceptance or rejection of their papers by April 2, 2001. Final versions of the accepted papers must be received in electronic form by April 30, 2001. Important Dates: Submission: February 15, 2001. Notification: April 2, 2001. Final Version: April 30, 2001. Program Chair: Patrick Cousot Ecole Normale Superieure Departement d'Informatique 45, Rue d'Ulm 75230 Paris Cedex 05, France Email: sas01(a)ens.fr Phone: & + 33 1 44 32 20 64 Fax: & + 33 1 44 32 21 52 Program Committee: M. Bruynooghe (KU, Leuven) P. Cousot (ENS, Paris) G. Fil'e (Padova) M. Hagiya (Tokyo) C. Hankin (IC, London) L. Hendren (McGill, Montreal) M. Hermenegildo (UPM, Madrid) N. Jones (DIKU, Denmark) J. Larus (Microsoft, Redmond) J. Palsberg (Purdue) S. Sagiv (Tel Aviv) D. Sands (Chalmers, Goteborg) D. Schmidt (Kansas S.) M.L. Soffa (Pittsburgh) H. Sondergaard (Melbourne) R. Wilhelm (Saarbruken) K. Yi (KAIST, Taejon) General Chair: Radhia Cousot CNRS & Ecole polytechnique rcousot(a)lix.polytechnique.fr

1 0

CFP: "Information Stucture, Discourse Structure and Discourse Semantics" -Workshop at ESSLLI 2001
by Ivana Kruijff-Korbayova 21 Nov '00

21 Nov '00

We apologize if you receive multiple copies. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% %% %% CALL FOR PAPERS %% %% %% %% ESSLLI Workshop on %% % Information Stucture, Discourse Structure and Discourse Semantics % %% %% %% http://www.cogsci.ed.ac.uk/~ivana/esslli01-wsh/ %% %% %% %% %% %% August 20-24, 2001 %% %% %% %% Helsinki, Finland %% %% %% %% The workshop is endorsed by SIGSEM: http://www.sigsem.org/ %% %% %% %% ESSLLI: http://www.helsinki.fi/esslli %% %% %% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% BRIEF MISSION STATEMENT: --------------------------------------------- This workshop aims to provide a forum for recent research on interactions between information structure (as a component of sentence-level semantics), discourse structure and discourse-level semantics. Both Information Structure (IS) and Discourse Structure (DS) are construed broadly here: -- IS, as comprising structural and semantic properties of utterances relating to the discourse status of their content, the actual and attributed attentional states of the discourse participants, and the participants' prior and changing attitudes. -- DS, as covering all aspects of the internal organizational structure of a discourse, an essential aspect being the use of explicit and implicit devices signifying links between clause and sentences. Understanding IS in light of DS and vice versa is not only justified on theoreticalgrounds: Experience with applications such as translating telephony and interactive query-answering makes it clear that a theory relating IS and DS is essential for accurate Natural Language Processing. The workshop aims to attract researchers in computational and theoretical linguistics and logic who are investigating IS-sensitive discourse processing and to facilitate contact, exchange of ideas and cooperation between them. We hope that the participants will transcend the difficulties caused by proliferating terminologies, and concentrate instead on investigating the interactions between IS and DS, with the goal of understanding how sentence-level semantic devices that make up IS symbiotically serve the needs of discourse cohesion and coherence. We seek contributions advancing beyond descriptive frameworks towards an explanatory account of how IS and DS, in whatever framework, interact to refer to and update a dynamically evolving representation of discourse context. The submitted papers will be refereed by the PC. See http://www.cogsci.ed.ac.uk/~ivana/esslli01-wsh/ for more details. SUBMISSION GUIDELINES: ----------------------------------------- Full papers addressing the above issues are solicited, not exceeding 5000 words including references. Each paper must contain a 5-10 lines abstract. A postscript or pdf version of the paper should be submitted (zipped) by e-mail to ivana(a)cogsci.ed.ac.uk by the submission deadline given below. In an accompanying email message, please provide the following information: Paper title: Contact author: Email(s): 5-10 lines abstract: We strongly encourage the use of LaTeX. The workshop proceedings will be prepared using LaTeX and authors will be required to provide the final versions of their papers in LaTeX. IMPORTANT DATES: ------------------------------- March 30 Submission deadline April 30 Notifications of acceptance/rejection to authors May 20 Final version of papers in LaTeX for the proceedings due August 20-24 Workshop dates Note that all workshop participants must register as particpants of ESSLLI. The early registration fees apply to authors of accepted papers. PROGRAMME COMMITTEE: ------------------------------------------ Ivana Kruijff-Korbayova (organizer, co-chair) Mark Steedman (organizer, co-chair) John Bateman Daniel Buering Elisabet Engdahl Bart Geurts David Traum Maria Vilkuna Bonnie Webber We are looking forward to your submissions :-) -------------------------------------------------------------------------- ing. Ivana Kruijff-Korbayova, Dr. Center for Computational Linguistics ICCS, Division of Informatics Charles University University of Edinburgh Malostranske nam. 25. 2 Buccleuch Place 118 35 Praha 1 Edinburgh, EH8 9NW Czech Republic Scotland tel. 00420 - 2 - 2191 4288 tel. +44-(0)-131-6504412 fax. 00420 - 2 - 2191 4309 fax. +44-(0)-131-6506626 korbay(a)ufal.mff.cuni.cz ivana(a)cogsci.ed.ac.uk -------------------------------------------------------------------------

1 0

Origins of the G-Machine
by Frank Atanassow 20 Nov '00

20 Nov '00

At the Sunday Times website, there is a very odd story about the recovery of the Enigma machine stolen from Bletchley Park. http://www.sunday-times.co.uk:80/news/pages/sti/2000/11/19/stinwenws02039.h… It includes this fun fact, which Haskellers may find of interest: Enigma machines vary and the official designation of this one is a Type G, or the G-machine; it was sometimes called the counter machine or "Zahlwerk-Enigma", because it has a letter counter. Will this hinder the adoption of Haskell compiler technology in France and Israel...? -- Frank Atanassow, Information & Computing Sciences, Utrecht University Padualaan 14, PO Box 80.089, 3508 TB Utrecht, Netherlands Tel +31 (030) 253-3261 Fax +31 (030) 251-3791

1 0

RE: ANNOUNCE: HaXml 1.00
by Simon Marlow 17 Nov '00

17 Nov '00

> An older version of HaXml is also included in GHC's hslibs, in package > "text". This will probably be updated to 1.00 at some time. great, I assume you'll check in the new version? Cheers, Simon

1 0

Haskell job opportunities
by John Launchbury 16 Nov '00

16 Nov '00

Hi, A discussion thread earlier this year asked about the existence (or otherwise) of jobs involving programming in Haskell and other FP languages. Well, they really do exist, and we have some openings. If you're interested you can find out more at http://www.galconn.com. John.

1 0

ANNOUNCE: HaXml 1.00
by Malcolm Wallace 16 Nov '00

16 Nov '00

We are pleased to announce HaXml release 1.00 -------------------- HaXml is a library enabling the use of Haskell and XML together, together with several auxiliary tools for useful XML jobs. Fuller details are on the web page. What's new since 0.9? --------------------- The main addition is a full treatment of the external subset for DTDs. The DtdToHaskell tool can now slurp in a single DTD from multiple files, and also now treats conditional sections (INCLUDE and IGNORE) correctly. There is improved error-reporting: lexing and parsing errors now report the relevant filename, and the line/column positions are more accurate. Where do I get it? ------------------ Web pages: http://www.cs.york.ac.uk/fp/HaXml/ FTP site: ftp://ftp.cs.york.ac.uk/pub/haskell/HaXml/ An older version of HaXml is also included in GHC's hslibs, in package "text". This will probably be updated to 1.00 at some time. Regards, Malcolm

1 0