March 2008 - Haskell - Haskell.org

Two lectureships in Nottingham
by Graham Hutton 18 Mar '08

18 Mar '08

Dear all, We are advertising two new Lectureships (Assistant Professorships) in Computer Science at the University of Nottingham in England. Applications in the area of functional programming are particularly welcome. Further details are available from: http://jobs.nottingham.ac.uk/vacancies.aspx?cat=160#j2797 The closing date for applications is 28th March 2008. Best wishes, Graham Hutton +-----------------------------------------------------------------+ | Dr Graham Hutton Email : gmh(a)cs.nott.ac.uk | | School of Computer Science | | University of Nottingham Web : www.cs.nott.ac.uk/~gmh | | Jubilee Campus, Wollaton Road | | Nottingham NG8 1BB, UK Phone : +44 (0)115 951 4220 | +-----------------------------------------------------------------+ This message has been checked for viruses but the contents of an attachment may still contain software viruses, which could damage your computer system: you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation.

1 0

ANN: haskell-src-exts 0.3.2
by Niklas Broberg 17 Mar '08

17 Mar '08

Hi all, I'm pleased to announce a new release for the haskell-src-exts package. haskell-src-exts 0.3.2 =========================== haskell-src-exts is a package for handling and manipulating Haskell source code. It is based on the haskell-src package that is part of the standard libraries, but extends this to support a number of syntactic extensions, e.g. MPTCs, fundeps, GADTs, TH etc. It is intended as a drop-in replacement for the standard haskell-src package, and exports the same functions and data types, plus some more. Apart from the more standard extensions supported by e.g. GHC, haskell-src-exts also provides support for HaRP (Haskell Regular Patterns) and HSX (Haskell Source with XML) syntax. Note that as of 0.3, haskell-src-exts /= HSX. * cabal sdist: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/haskell-src-exts… * darcs repo: darcs get http://code.haskell.org/HSP/haskell-src-exts === Changes from 0.2: === * Added support for - Indexed type families (including associated types/datatypes) - Explicit kind signatures - Standalone deriving * haskell-src-exts is now decoupled from hsx/trhsx and harp. - Modules renamed to Language.Haskell.Exts.* - Module Transform is removed from the package (now in package hsx) * New repository (i.e. darcs pull in an old repo won't work, use darcs get), containing only the haskell-src-exts package (no hsx or harp). * Builds with 6.8.2 (thanks Duncan Coutts) === Complete list of supported extensions === * Multi-parameter type classes (MPTCs) * Functional dependencies * Associated types, indexed type families * Liberal class and instance heads * Implicit parameters * Explicit kind signatures * Pattern guards * Generalized algebraic data types (GADTs) * Template Haskell (TH) * Universal and existential quantification (forall) * Empty data type declarations * Unboxed tuples (# #) * Standalone deriving * Regular patterns * Haskell XML, HSX style === Build Requirements === * happy >= 1.17 - It might work with 1.16 though I haven't tested. In that case change the cabal file. - It would work with older versions as well, though they insert a dependency on Array (haskell98) instead of Data.Array. If that's all you have to work with, update the cabal file with a dependency on haskell98. * Cabal >= 1.2 Patches are more than welcome. :-) Cheers, /Niklas

2 2

S-Hack 2008: Workshop on S-Net and SaC
by Stephan Herhut 17 Mar '08

17 Mar '08

Motto : From Solo to Symphony - Making your application go multi-core! Website : http://events.sac-home.org/s-hack/ When? : Mon. 14.4. - Wed. 16.4. 2008 Where? : University of Hertfordshire, Hatfield, UK; 51.7522 N 0.242 W Who can participate? : Anybody who has a computationally intensive application which can be expressed in terms of non-recursive data structures and operations thereon and who wants to have it all: * a nice and intuitive high-level specification * and high-performance, parallelised execution on multi-core architectures! Agenda : Mo / Tue : tutorials on our functional streaming & data parallel framework Tue / Wed : you start your own application using our framework Costs? : participation is free; hacking essentials such as coffee and electricity on a 24 hour basis also come for free! Catch? : we only have a limited amount of places available and will give these away on a first come first serve basis! How can I register? : Send an email to events(a)sac-home.org in which you state: * your name * your affiliation * the nature of your application -- Stephan Herhut Centre for Computer Science and Informatics Research Science and Technology Research Institute University of Hertfordshire

1 0

Cfp: 3rd Int'l Workshop on Security and Rewriting Techniques (SecReT 2008)
by Santiago Escobar 16 Mar '08

16 Mar '08

******************************************************************** SecReT 2008 3rd International Workshop on Security and Rewriting Techniques http://www.dsic.upv.es/workshops/secret08 Sunday, June 22, 2008, Pittsburgh, USA Affiliated workshop of the 21st IEEE Computer Security Foundations Symposium (CSF) and the 23rd IEEE Symposium on Logic In Computer Science (LICS) IMPORTANT DATES Abstract Submission March 31, 2008 Full Paper Submission April 6, 2008 Acceptance Notification May 12, 2008 Camera Ready May 26, 2008 Workshop June 22, 2008 SCOPE The aim of this workshop is to bring together rewriting researchers and security experts, in order to foster their interaction and develop future collaborations in this area, provide a forum for presenting new ideas and work in progress, and enable newcomers to learn about current activities in this area. The workshop focuses on the use of rewriting techniques in all aspects of security. Specific topics include: authentication, encryption, access control and authorization, protocol verification, specification of policies, intrusion detection, integrity of information, control of information leakage, control of distributed and mobile code, etc. Previous instances of SecRet were held in 2006 (S. Servolo, Venice, Italy), and 2007 (Paris, France). LOCATION SecReT'08 will be held at Carnegie Mellon University in Pittsburgh, Pennsylvania, USA. The workshop is associated with the 21st IEEE Computer Security Foundations Symposium (CSF'08) and the 23rd IEEE Symposium on Logic in Computer Science (LICS'08). SUBMISSION PROCEDURE Submission is web-based via a link available in the main web page. Submissions must be received by April 6, 2008. In addition, a title and abstract must be submitted by March 31, 2008. Submitted papers should be at most 15 pages in the ENTCS style, and should include an abstract and the author's information. See the author's instructions of ENTCS style at http://www.entcs.org. PUBLICATION Accepted papers will be published in a preliminary volume available during the workshop. After the workshop, a final version of the proceedings will be published in the Elsevier series Electronic Notes in Theoretical Computer Science (ENTCS). INVITED SPEAKERS Hubert Comon Cachan, France Jonathan Millen MITRE, USA PROGRAM CO-CHAIRS Daniel Dougherty Worcester Polytechnic Institute, USA Santiago Escobar Technical University of Valencia, Spain PROGRAM COMMITTEE Pierpaolo Degano Pisa, Italy Daniel Dougherty Worcester, USA Santiago Escobar Valencia, Spain Maribel Fernandez King's College London, UK Thomas Genet IRISA Rennes, France Joshua Guttman MITRE, USA Catherine Meadows NRL, USA Monica Nesi L'Aquila, Italy Michael Rusinowitch Lorraine, France Ralf Treinen Paris-7, France ********************************************************************

1 0

Unicode advice request
by László Kálmán 14 Mar '08

14 Mar '08

Excuse me if this question is misplaced or too trivial. I'm writing a CGI program in Haskell (CGI/HDBC/Sqlite3), the database contains UTF-8 strings. If I use HDBC.fetchRow() to retrieve the data, then HDBC.fromSql() to convert the data to Haskell, then Text.XHtml constructs to dsplay it, I get wrong results in the browser (ASCII rendering of UTF-8 characters, which looks like garbage). What is the way to do this correctly? Thanks -- L. Kalman -- Laszlo Kalman Theoretical Linguistics Program, kalman(a)nytud.hu Budapest University (ELTE) Research Institute for Linguistics, Room 209 P.O. Box 701/518, 1399 Budapest, Hungary (+36-1) 351 4830 x148, fax: (+36-1) 322 9297 http://budling.nytud.hu/~kalman "Me die? That'll be the last thing I do!"

2 2

Passing typeclasses as parameters?
by Ville Tirronen 14 Mar '08

14 Mar '08

Hi all. I managed to paint myself in a corner where I did this: > data ShowDynamic = forall a . (Show a) => SD Dynamic a > toShowDyn a = SD (toDyn a) a > fromShowDyn (SD d a) = fromDynamic d > instance Show ShowDynamic where ... Then I began to wonder if there was any hack to do: > data AnyDynamic X = forall a . (X a) => AD Dynamic a which could be kinda neat, but I saw no obvious way to do this. Ideas? - Ville (bound to be slain by curiosity)

2 1

Advert: Software Technology Master at Utrecht University
by Andres Loeh 14 Mar '08

14 Mar '08

Haskell enthusiasts looking for an interesting and challenging Master program should consider the "Software Technology" program at Utrecht University. The Master Program Software Technology studies techniques that are employed in the production of software. We start from sound theoretical foundations, with a strong focus on real applicability. The program includes courses on programming methodology, programming formalisms (languages), programming tools, software architectures, component based programming, specification formalisms and verification techniques (correctness proofs, theorem proving). Almost all of our courses use Haskell as the main implementation language, and we have many courses that are specifically targeted at functional programmers such as "Implementation of Programming Languages", "Advanced Functional Programming" and "Generic Programming". Furthermore, we have regular seminars on topics such as "Type Systems", "Dependently-Typed Programming", "Program Analysis" or "Advanced Compiler Construction". The Master Program is internationally oriented: the program is open to foreign students, and courses are taught in English. Students have the opportunity to follow courses and do projects at foreign universities and institutes. The program caters for students with a desire to obtain a Ph.D. position or a research position in a company, and for students who are interested in jobs as software designer in industry. The program results in a degree Master of Science in Computer Science. The program is offered by the Center for Software Technology of the Institute of Information and Computing Sciences at Utrecht University. For more information, see http://www.cs.uu.nl/wiki/Master http://www.cs.uu.nl/wiki/Master/MasterCourses -- Andres Loeh, Universiteit Utrecht mailto:andres@cs.uu.nl mailto:mail@andres-loeh.de http://www.andres-loeh.de

1 0

CfP: LOPSTR 2008
by mh＠informatik.uni-kiel.de 13 Mar '08

13 Mar '08

====================================================================== CALL FOR PAPERS 18th International Symposium on International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2008 http://www.informatik.uni-kiel.de/~mh/lopstr08/ July 17-18, 2008, Valencia, Spain (co-located with SAS 2008, PPDP 2008, and PLID 2008) ====================================================================== Objectives: The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium, so authors can incorporate this feedback in the published papers. Topics: Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Papers describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: specification synthesis verification transformation analysis optimisation composition security reuse applications and tools component-based software development software architectures agent-based software development program refinement Survey papers, that present some aspect of the above topics from a new perspective, and application papers, that describe experience with industrial applications, are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). IMPORTANT DATES AND SUBMISSION GUIDELINES: Paper/extended abstract submission: May 7, 2008 Notification (for pre-proceedings): June 8, 2008 Camera-ready (for pre-proceedings): June 29, 2008 Symposium: July 17-18, 2008 Submissions can either be (short) extended abstracts or (full) papers whose length should not exceed 9 and 15 pages (including references), respectively. Submissions must be formatted in the Springer LNCS style (excluding well-marked appendices not intended for publication). Referees are not required to read the appendices, and thus papers should be intelligible without them. Short papers may describe work-in-progress or tool demonstrations. Both accepted short and full papers will appear in the pre-proceedings. The full papers will automatically appear in the formal proceedings that will be published by Springer-Verlag in the LNCS series. In addition, after the symposium, the programme committee will select those short papers to be considered for formal publication. These authors will be invited to revise and extend their submissions in the light of the comments of the reviewers and the feedback solicited at the meeting. Then after another round of reviewing, the revised papers which are accepted will be also published in the formal proceedings. Papers should be submitted either in PDF or PostScript via the web page of LOPSTR 2008. Program Committee: Slim Abdennadher German University Cairo Danny De Schreye K.U.Leuven, Belgium Wlodek Drabent Polish Academy of Sciences, Poland / Linkoeping Univ., Sweden Gopal Gupta University of Texas at Dallas, USA Michael Hanus University of Kiel, Germany (Chair) Patricia Hill University of Leeds, UK Andy King University of Kent, UK Michael Leuschel University of Duesseldorf, Germany Torben Mogensen DIKU, University of Copenhagen, Denmark Mario Ornaghi Universita degli Studi di Milano, Italy Etienne Payet Universite de La Reunion, France Alberto Pettorossi University of Rome Tor Vergata, Italy German Puebla Technical University of Madrid, Spain C.R. Ramakrishnan SUNY at Stony Brook, USA Sabina Rossi Universita Ca' Foscari di Venezia, Italy Chiaki Sakama Wakayama University, Japan Josep Silva Technical University of Valencia, Spain Wim Vanhoof University of Namur, Belgium Eelco Visser Delft University of Technology, The Netherlands ----------------------------------------------------------------------

1 0

[Haskell] Reminder: 4th Haskell Hackathon, April 11-13 in Gothenburg
by Bjorn Bringert 12 Mar '08

12 Mar '08

------------------------------------------------------------------------ Hac4 4th Haskell Hackathon April 11-13, 2008 Gothenburg, Sweden http://haskell.org/haskellwiki/Hac4 Sponsored by Credit Suisse and Galois. ------------------------------------------------------------------------ This is a reminder to register for the 4th Haskell Hackathon. The event will be held over 3 days, April 11-13, at Chalmers University of Technology in Gothenburg, Sweden. == NEWS == * Lunches and at least one dinner for the Hackathon attendees will be provided through our generous sponsors Credit Suisse and Galois. * If you plan to start a new project on community.haskell.org, please request an account and project in advance, so as to save valuable Hackathon time. See http://community.haskell.org/admin/ for more details. == What it is == The plan is to hack on Haskell infrastructure, tools, libraries and compilers. To attend please register, and get ready to hack those lambdas! Code to hack on: * Hackage * Cabal * Porting foreign libraries * Bug squashing * You decide! Before you attend, do start thinking and familiarizing yourself with 1 or 2 projects you wish to work on, to ensure no wasted effort during the Hackathon. A list of possible projects is available on the website. == Registration == We ask that you register your interest. Follow the instructions on the registration page: http://haskell.org/haskellwiki/Hac4/Register Once you've registered, do add your info to the attendees self-organizing page, http://haskell.org/haskellwiki/Hac4/Attendees if you are looking to share costs, or meet up prior to the hackathon, with other attendees. N.B. if you already expressed interest via the wiki, do confirm by registering `officially' anyway. == Important dates == Hackathon: April 11-13, 2008 == Organizers == Björn Bringert (local) Thomas Schilling (local) Lennart Kolmodin (local) Krasimir Angelov (local) Jean-Philippe Bernardy (local) Ian Lynagh Duncan Coutts

1 0

ML Workshop 2008 call for papers
by Eijiro Sumii 11 Mar '08

11 Mar '08

[Dear Haskell mailing list subscribers: Please note the last paragraph in "GOALS OF THE WORKSHOP".] CALL FOR PAPERS The 2008 ACM SIGPLAN Workshop on ML Sunday, September 21, 2008 Victoria, British Columbia, Canada To be held in conjunction with ICFP 2008 http://www.kb.ecei.tohoku.ac.jp/ml2008/ IMPORTANT DATES: Submission deadline: Monday, June 23, 2008 Notification of acceptance: Friday, July 18, 2008 Final revision due: Monday, July 28, 2008 Workshop: Sunday, September 21, 2008 GOALS OF THE WORKSHOP: ML is a family of programming languages that includes dialects known as Standard ML, Objective Caml, and F#. The development of these languages has inspired a large amount of computer science research, both practical and theoretical. This workshop aims to build on previous occasions (recent instances are ML 2005 in Tallinn, Estonia, 2006 in Portland, Oregon, and 2007 in Freiburg, Germany), providing a forum to encourage discussion and research on ML and related technology. The 2008 Workshop on ML will be held in conjunction with the 13th ACM SIGPLAN International Conference on Functional Programming (ICFP 2008) in Victoria, British Columbia, Canada on Sunday, September 21, 2008. This year we extend the scope of the workshop from ML itself to technologies closely related to ML (higher-order, typed, or strict languages) and invite high-quality papers in all areas of crucial importance for the future of ML. SUBMISSION GUIDELINES: We seek papers on topics related to ML, including (but not limited to): * applications * extensions: objects, classes, concurrency, distribution and mobility, semi-structured data handling, etc. * type systems (static and dynamic): inference, effects, overloading, error reporting, contracts, specifications and assertions, etc. * implementation: compilers, interpreters, partial evaluators, garbage collectors, etc. * environments: libraries, tools, editors, debuggers, cross-language interoperability, functional data structures, etc. * semantics Submitted papers should describe new ideas, experimental results, ML-related projects, or informed positions regarding proposals for next-generation ML languages. In order to encourage lively discussion, submitted papers may describe work in progress. All papers will be judged on a combination of correctness, significance, novelty, clarity, and interest to the community. All paper submissions must be at most 12 pages total length in the standard ACM SIGPLAN two-column conference format (9pt): http://www.acm.org/sigs/sigplan/authorInformation.htm Accepted papers will be published by the ACM and will appear in the ACM Digital Library. More details about the submission procedure will be announced later on the web page: http://www.kb.ecei.tohoku.ac.jp/ml2008/ PROGRAM CHAIR: Eijiro Sumii (Tohoku University) PROGRAM COMMITTEE: Sylvain Conchon (Paris-Sud University / INRIA Saclay-Ile-de-France) Karl Crary (Carnegie Mellon University) Andrzej Filinski (DIKU) Robby Findler (The University of Chicago) Cormac Flanagan (University of California at Santa Cruz) Alain Frisch (LexiFi) Dan Grossman (University of Washington) Didier Remy (INRIA Paris-Rocquencourt) Claudio Russo (Microsoft Research Cambridge) Eijiro Sumii (Tohoku University) Hongwei Xi (Boston University)

1 0