June 2002 - Haskell - Haskell.org

TLDI'03 Call for Papers
by Zhong Shao 25 Jun '02

25 Jun '02

CALL FOR PAPERS TLDI'03 The ACM SIGPLAN Workshop on Types in Language Design and Implementation (Formerly called TIC, The International Workshop on Types in Compilation) http://www.cs.cmu.edu/~petel/tldi03/ January 18, 2003 New Orleans, Louisiana Co-located with POPL'03 The role of types and proofs in all aspects of language design, compiler construction, and software development has expanded greatly in recent years. Type systems, type analyses, and formal deduction have led to new concepts in compilation techniques for modern programming languages, verification of safety and security properties of programs, program transformation and optimization, and many other areas. In recognition of this expanding role, the ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI'03) expands on the previous three International Workshops on Types in Compilation (TIC'97, TIC'98 and TIC'00), to bring together researchers to share new ideas and results in this area. This year, TLDI'03 will be sponsored by ACM SIGPLAN and colocated with POPL'03. Submissions for this event are invited on all interactions of types with language design, implementation, and programming. This includes both practical applications and theoretical aspects. TLDI'03 specifically encourages papers from a broad field of programming language and compiler researchers, including those working in object-oriented, dynamically-typed, late-binding, and mobile-code paradigms, as well as traditional fully-static type systems. Topics of interest include: - Proof-carrying code and certifying compilation - Typed intermediate languages and type-directed compilation - Type-based language support for safety and security - Types for interoperability - Type safety and security of system programming languages - Type-based program analysis, transformation, and optimization - Dependent types and type-based proof assistants - Types for security protocols, concurrency, and distributed computing - Type inference and type reconstruction - Type-based specifications of data structures and program invariants - Type-based memory management This is not meant to be an exhaustive list; papers on novel utilizations of type information are welcome. Authors concerned about the suitability of a topic are encouraged to inquire via electronic mail to the program chair prior to submission. HOW TO SUBMIT A PAPER We solicit submissions on original research not published or submitted for publication elsewhere. Technical summaries, in English and not to exceed 5000 words (approximately 10 pages), should be submitted to the program chair by FRIDAY, SEPTEMBER 27, 2002. Because of hard constraints imposed for the publication of the proceedings, this is a hard deadline. WE WILL BE UNABLE TO ACCEPT FOR REVIEW ANY LATE SUBMISSIONS. To submit a paper, authors should complete the following two steps by the submission deadline: 1) Send an e-mail message to petel(a)cs.cmu.edu containing the title, authors' contact information, and an abstract (not to exceed 200 words) in ASCII. 2) Send the technical summary itself. The summary should also be sent electronically to petel(a)cs.cmu.edu. (Persons to whom electronic submission poses a hardship may make individual arrangements with the program chair.) Adobe Portable Document Format (PDF) is strongly preferred for all submissions. Authors should be sure to use full font inclusion to ensure portability. All papers must be formatted for US Letter (8.5"x11") paper. Postscript (PS) format submissions will also be accepted, provided that they preview and print properly using Ghostscript with standard fonts. All submissions must include a return postal address and an electronic mail address. Receipt of the submissions will be acknowledged by e-mail within 2 days. The proceedings for the workshop will be published by the ACM Press. IMPORTANT DATES Please note: Due to the short time from submission to publication of the proceedings, the submission deadlines given above are firm. - 5:00 PM EDT (= 21:00 UTC), September 27, 2002 Deadline for submission of papers - Friday, Nov. 8, 2002 Notification of acceptance - Monday, Dec. 2, 2002 Camera-ready copy due - Saturday, Jan. 18, 2003 TLDI'03 in New Orleans PROGRAM CHAIR Peter Lee School of Computer Science 5000 Forbes Avenue Carnegie Mellon University Pittsburgh, Pennsylvanie 15213-3891 E-mail: petel(a)cs.cmu.edu Tel.: +1-412-268-3049 Fax: +1-412-268-5577 GENERAL CHAIR Zhong Shao Department of Computer Science 51 Prospect Street Yale University New Haven, Connecticut 06520-8285 E-mail: shao(a)cs.yale.edu Tel: +1-203-432-6828 Fax:+1-203-432-0593 PROGRAM COMMITTEE Alex Aiken, University of California, Berkeley Andrew Appel, Princeton University David F. Bacon, IBM T.J. Watson Research Center Manuel Fahndrich, Microsoft Research Matthew Flatt, University of Utah Atsushi Igarashi, Kyoto University Peter Lee, Carnegie Mellon University Xavier Leroy, INRIA Christine Paulin-Mohring, University of Paris South Scott Smith, The Johns Hopkins University Philip Wadler, Avaya Labs

1 0

�� ChinaWp ��ؿ�
by �� 24 Jun '02

24 Jun '02

您好，亲爱的朋友您的朋友华商网―ChinaWp 给您寄来了一封精美的贺卡！现在保存在"卡秀 Cardshow " (将保存30天）。请点击以下地址观看您的贺卡： http://www17.kaxiu.com/usercard00/10248829932110970135085XP_0.htm 愿您今天有份愉快的好心情！ *************************************************************** 心灵互动，卡秀沟通！ http://www.kaxiu.com/ *************************************************************** Hi,亲爱的朋友 This is a nice E-greeting from your friend 华商网―ChinaWp ! Go and pick it up at: http://www17.kaxiu.com/usercard00/10248829932110970135085XP_0.htm This personal greeting will be available for 30 days. Hope you enjoy it and have fun! *************************************************************** Free E-greeting at Cardshow ---- http://www.kaxiu.com *************************************************************** 使用极星邮件群发，无须通过邮件服务器，直达对方邮箱，速度绝对一流！下载网址：http://www.lovexin.com，更多免费的超酷软件等你来下…… ---------------------------------------------------- INFORMATION This message has been sent using a trial-run version of the TSmtpRelayServer Delphi Component. ----------------------------------------------------

1 0

Register before July 12: Advanced Functional Programming Summer School
by Johan Jeuring 24 Jun '02

24 Jun '02

Last registration date July 12. About 10 places left. -- Johan Jeuring Summer School and Workshop on Advanced Functional Programming St Anne's College, Oxford, UK 19th to 24th August 2002 http://www.functional-programming.org/afp/afp4 In conjunction with Summer School and Workshop on Generic Programming Call for participation This is the fourth school in a series on schools on Advanced Functional Programming. Previous schools were held in Baastad, Sweden (1995, LNCS 925), Olympia, Washington (LNCS 1129), and Braga, Portugal (LNCS 1608). We have recruited a group of excellent lecturers on advanced technologies in Functional Programming. ************ Lecturers ************ * Richard Bird (University of Oxford) and Jeremy Gibbons (University of Oxford): Arithmetic Coding with Folds and Unfolds * Manuel Chakravarty (University of New South Wales): Fast Arrays in Haskell * Matthias Felleisen (Northeastern University): Developing Interactive Web Programs in DrScheme * Cedric Fournet (Microsoft Research) and Fabrice Le Fessant (INRIA Rocquencourt): Jocaml3, a Language for Concurrent, Distributed and Mobile Programming * Paul Hudak (Yale University): Robots, Arrows and Functional Reactive Programming * Koen Claessen (Chalmers University of Tecnology) and Colin Runciman (University of York): Testing and Tracing Lazy Functional Programs * Philip Wadler (Avaya Labs): XQuery: A Typed Functional Language for Querying XML In addition, on the afternoon of Monday 19th August there will be a half-day Introduction to Functional Programming, presented by Graham Hutton (University of Nottingham). ************ Deadlines ************ For registration: 12th July 2002 ************ Organizers ************ Johan Jeuring (Utrecht University) Simon Peyton Jones (Microsoft Research) ************ Further information ************ Web: http://www.functional-programming.org/afp/afp4/info.html PDF poster: http://www.functional-programming.org/afp/afp4/afp-poster.pdf Email: afp-info(a)functional-programming.org Post: AFP, c/o Jane Ellory, Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, United Kingdom. Fax: +44 1865 273839; mark "fao SSAFP (Jane Ellory)"

1 0

Re: HaXml Help
by D.J.Steinitz 23 Jun '02

23 Jun '02

I've now managed to write a program to generate the relevant instances. So I don't get the error messages I reported. However, ghc is taking an enormous amount of time compiling. It's now at the desugaring stage ( I've run it with -v2). Dominic.

1 0

Biz Kurduk Ordan Biliyoruz
by �leti... 22 Jun '02

22 Jun '02

1 0

��ֻҪ80Ԫ��Ż�!!!!
by ��ȷ� 22 Jun '02

22 Jun '02

�𾴵Ŀͻ�� ã��˾��רҵ��ṩ�̡��Żݵļ۸񼰸��ȶ��Ӯ��˹��ͻ��Ŀ϶�� 80Ԫ �� 300Ԫ 200M(��HTML)�͹��ֻ��150Ԫ 60M(asp,access)��ֻ��236Ԫ 200M(asp,access)��ֻ��336Ԫ ��......��http://www.ondns.com ��ȫ��Żݶ�ࡣ ��QQ��1761020 MAIL��web@ondns.com��ȡ��۸�� ˳ף ��w�� æ�д��б�Ǹ��粻��յ��ʼ��ţ�help@ondns.com ============================================ �ͻ�רԱ��Ф�� 绰��0592-5557491��5557492 QQ:1761020 ��棺0592-5557491 http://www.ondns.com mail:web@ondns.com ============================================ ʹ�ü��ʼ�Ⱥ��ͨ��ʼ��ֱ��Է��䣬�ٶȾ��һ�� ַ��http://www.lovexin.com��ѵĳ��¡�� ---------------------------------------------------- INFORMATION This message has been sent using a trial-run version of the TSmtpRelayServer Delphi Component. ----------------------------------------------------

1 0

HaXml Help
by D.J.Steinitz 22 Jun '02

22 Jun '02

I wonder if anyone has had this problem before and has already made the modifications which I need? The good news is that I have managed to get DtdToHaskell to take the SVG DTD and produce a large Haskell file. cat SVG10.hs | wc 30271 154470 1615569 The bad news is that it doesn't compile - see below. Do I have to add definitions for OneOf5, OneOf6, OneOf14, OneOf18, OneOf20 by hand? I've found OneOf2, OneOf3, OneOf4 in XmlToHaskell.hs. I assume I need to make the new OneOfs instances of XmlContent? Dominic. ghc -package lang -I../HaXml-1.05/lib/ -i../HaXml-1.05/lib/ -c -o SVG10.o SVG10.hs SVG10.hs:1188: Type constructor or class not in scope: `OneOf6' SVG10.hs:1188: Type constructor or class not in scope: `OneOf5' SVG10.hs:1451: Type constructor or class not in scope: `OneOf6' SVG10.hs:1451: Type constructor or class not in scope: `OneOf5' SVG10.hs:1584: Type constructor or class not in scope: `OneOf6' SVG10.hs:1584: Type constructor or class not in scope: `OneOf20' SVG10.hs:1852: Type constructor or class not in scope: `OneOf6' SVG10.hs:1852: Type constructor or class not in scope: `OneOf5' SVG10.hs:1986: Type constructor or class not in scope: `OneOf6' SVG10.hs:1986: Type constructor or class not in scope: `OneOf5' SVG10.hs:2121: Type constructor or class not in scope: `OneOf6' SVG10.hs:2121: Type constructor or class not in scope: `OneOf5' SVG10.hs:2257: Type constructor or class not in scope: `OneOf6' SVG10.hs:2257: Type constructor or class not in scope: `OneOf5' SVG10.hs:2397: Type constructor or class not in scope: `OneOf6' SVG10.hs:2397: Type constructor or class not in scope: `OneOf5' SVG10.hs:2533: Type constructor or class not in scope: `OneOf6' SVG10.hs:2533: Type constructor or class not in scope: `OneOf5' SVG10.hs:2673: Type constructor or class not in scope: `OneOf6' SVG10.hs:2673: Type constructor or class not in scope: `OneOf5' SVG10.hs:4433: Type constructor or class not in scope: `OneOf6' SVG10.hs:4467: Type constructor or class not in scope: `OneOf6' SVG10.hs:4531: Type constructor or class not in scope: `OneOf6' SVG10.hs:4943: Type constructor or class not in scope: `OneOf6' SVG10.hs:4943: Type constructor or class not in scope: `OneOf14' SVG10.hs:5464: Type constructor or class not in scope: `OneOf6' SVG10.hs:5464: Type constructor or class not in scope: `OneOf18' SVG10.hs:6645: Type constructor or class not in scope: `OneOf6' SVG10.hs:6966: Type constructor or class not in scope: `OneOf6' SVG10.hs:7010: Type constructor or class not in scope: `OneOf6' SVG10.hs:7079: Type constructor or class not in scope: `OneOf6' SVG10.hs:7127: Type constructor or class not in scope: `OneOf6' SVG10.hs:7200: Type constructor or class not in scope: `OneOf6' SVG10.hs:7225: Type constructor or class not in scope: `OneOf6' SVG10.hs:7295: Type constructor or class not in scope: `OneOf6' SVG10.hs:7372: Type constructor or class not in scope: `OneOf6' SVG10.hs:8223: Type constructor or class not in scope: `OneOf6'

1 0

ANNOUNCE: Haddock version 0.3
by Simon Marlow 22 Jun '02

22 Jun '02

I'm pleased to announce version 0.3 of Haddock, a documentation generation tool for Haskell source code. It's available from http://www.haskell.org/haddock/ The changes relative to version 0.2 are listed here: http://www.haskell.org/haddock/CHANGES.txt Cheers, Simon

2 1

ע��Ա��ռ䶼�͹��!
by �� 21 Jun '02

21 Jun '02

您好! 很冒味的给你来信。希望我的来信会给您带来方便。华商网(详情请看:http://www.chinac.com)最新推出注册会员送国际域名和邮箱! 专业的域名主机服务商为您提供超低价，高速，安全，稳定的主机服务。 30M主机只需198元，还送国际域名及邮箱。功能：支持CGI PHP MYSQL SQL，ACCESS ASP 50M 、100M 、200M 详情请看：http://www.chinawp.com 全国最有竟争力的代理价格。咨询QQ：33190188 可以索取代理价格表。全国最稳定,可玩性最好。人气最旺的江湖：http://www.xajh.com.cn 郑重承诺：主机使用不满意，我们按实际使用时间退款。 TEL：0592-2281881-27 (汤小姐) FAX：0592-2682299 Mail:tang@chinawp.com 瑞来网络技术(厦门)有限公司使用极星邮件群发，无须通过邮件服务器，直达对方邮箱，速度绝对一流！下载网址：http://www.lovexin.com，更多免费的超酷软件等你来下…… ---------------------------------------------------- INFORMATION This message has been sent using a trial-run version of the TSmtpRelayServer Delphi Component. ----------------------------------------------------

1 0

RE: Library report, monad zero laws
by Simon Peyton-Jones 21 Jun '02

21 Jun '02

Well, * My reluctance to change the draft H98 report is rising sharply. * I don't think the H98 report has ever had laws about mzero etc. * And the whole laws business is flaky because people can and do make instances of Monad that don't obey the laws. * Lastly, where does one stop? Still, I have no concrete objection to adding the four "laws" below to the Monad library spec, with the same vague status as the other laws mentioned in the report. Comments, anyone? Even if the consensus is to add these four lines, I'm not going to reset the clock. I'm going to freeze in early July if nothing substantial arises before then. Simon | -----Original Message----- | From: Jon Fairbairn [mailto:Jon.Fairbairn@cl.cam.ac.uk] | Sent: 20 June 2002 16:27 | To: Simon Peyton-Jones | Subject: Library report, monad zero laws | | | The old report used to include | | m >> zero = zero | zero >>= m = zero | m ++ zero = m | zero ++ m = m | | after the other monad laws. Now mzero and mplus are in the | library, shouldn't there be some mention of these laws there? | I'd be particularly keen to see a remark about | | _|_ >> zero | | inevitably being _|_ | | Cheers, | | Jón | | | | -- | Jón Fairbairn | Jon.Fairbairn(a)cl.cam.ac.uk | 31 Chalmers Road | jf(a)cl.cam.ac.uk | Cambridge CB1 3SZ +44 1223 570179 (after 14:00 | only, please!) | | |

3 3