- Haskell - Haskell.org

Post-doc position in Martin Odersky's group, EPFL, Switzerland
by Martin Odersky 12 Apr '05

12 Apr '05

EPFL Lausanne Programming Methods Group Prof. Martin Odersky We have an open position for a postdoctoral researcher in the Programming Methods Group at EPFL. The research of our group is centered on Scala, a new programming language which fuses functional and object-oriented programming and which interoperates at the same time with Java and .NET. Scala pushes the state of the art in type systems for component abstractions and composition. It also provides many new concepts for web programming. Here are some of our current research directions: - Further developments in the Scala language design - High-level optimizations - Type systems for object-oriented and functional languages - Programming language support for XML - Component technology. - Reliable software, verification, testability. If you work in some of these research areas and are interested in both system building and theory, you will find an active and friendly research environment at Lausanne. The appointment is for one year initially with renewals possible up to three years. The position is open from June, 2005, but later starting dates can also be considered. Compensation is competitive at CHF 80K+ (1 CHF ~~ 0.83 U.S$), depending on age and experience. Informal inquiries about the position may be addressed to martin.odersky(a)epfl.ch. Formal applications should be sent by e-mail to the following address: Mme Yvette Dubuis yvette.dubuis(a)epfl.ch Tel. +41 21 693 5202 Fax +41 21 693 6660 To be guaranteed full consideration, applications should be received by May 15th, 2000. Applications should consist of a curriculum vitae, a publication list, and the names of three personal references. Please ask your references to send their letters directly to yvette.dubuis(a)epfl.ch. EPFL Lausanne is one of two federal universities in Switzerland. It has one of the most nationally diverse research, teaching and learning communities in Europe. Lausanne is situated in very attractive surroundings in the French-speaking part of Switzerland, on the shore of Lake Geneva, in close proximity to the Alps.

1 0

GTTSE Summer School: Early registration deadline April 15
by Joost Visser 12 Apr '05

12 Apr '05

This is a reminder that the deadline for early registration for the Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2005), to be held in Braga, Portugal, from July 4 to 8, 2005, is: *** Early Registration Deadline: April 15, 2005 *** Online registration can be done via the GTTSE website at: http://www.di.uminho.pt/GTTSE2005 For more details, please consult the website or the call for participation below. -- Dr. ir. Joost Visser | Departamento de Informática phone +351-253-604461 | Universidade do Minho fax +351-253-604471 | mailto:Joost.Visser@di.uminho.pt mobile +351-91-6253618 | http://www.di.uminho.pt/~joost.visser ------------- Summer School on Generative and Transformational Techniques in Software Engineering 4 - 8 July, 2005, Braga, Portugal http://www.di.uminho.pt/GTTSE2005 SCOPE AND FORMAT The summer school brings together PhD students, lecturers, technology presenters, as well as other researchers and practitioners who are interested in the generation and the transformation of programs, data, models, meta-models, and documentation. This concerns many areas of software engineering: software reverse and re-engineering, model-driven approaches, automated software engineering, generic language technology, to name a few. These areas differ with regard to the specific sorts of meta-models (or grammars, schemas, formats etc.) that underly the involved artifacts, and with regard to the specific techniques that are employed for the generation and the transformation of the artifacts. The tutorials are given by renowned representatives of complementary approaches and problem domains. Each tutorial combines foundations, methods, examples, and tool support. The program of the summer school also features invited technology presentations, which present setups for generative and transformational techniques. These presentations complement each other in terms of the chosen application domains, case studies, and the underlying concepts. Furthermore, the program of the school also features a participants workshop. All students of the summer school will be invited to give a presentation about their ongoing work. They will be asked to submit a title and an abstract beforehand. The senior researchers present at the summer school will provide the students with feedback on their presentations. All summer school material will be collected in proceedings that are handed out to the participants. Formal proceedings will be compiled after the summer school, where all contributions are subjected to additional reviewing. The formal proceedings will be published in the Lecture Notes in Computer Science series of Springer. TUTORIALS * Don Batory (The University of Texas at Austin): Feature Oriented Programming * Ira Baxter (Semantic Designs Inc.): Compiling Fast XML reader/writers from DTDs using Program Transformations * Jean Bezivin (INRIA, LINA, University of Nantes): Metamodelling and Model Driven Software Development * Shigeru Chiba (Tokyo Institute of Technology): Program Transformation With Reflective and Aspect-Oriented Programming * Jean-Luc Hainaut (University of Namur): The Transformational Approach to Database Engineering * Zhenjiang Hu (University of Tokyo): Program Optimization and Transformation in Calculational Forms * Erik Meijer (Microsoft, Redmond): Object, relational, and XML mapping * Tom Mens (University of Mons-Hainaut): On the Use of Graph Transformations for Model Refactoring TECHNOLOGY PRESENTATIONS The purpose of the technology presentations is to supplement the theoretical knowledge acquired in the tutorials with practical knowledge of how generative and transformational tool support can be instrumental in solving software engineering problems. Technology presentations can include, but are not limited to demonstration of the features of a single tool. Rather, they include: * Reference to the concepts behind the technology * Application of the technology to a case study of non-trivial scale * Clear statement of benefits and limitations of the technology The participants will have ample opportunity to interact in informal manner with the technology presenters. Confirmed technology presentations: (Note: titles and authors abbreviated) * Mark van den Brand (CWI & HvA, The Netherlands) et al.: Applications of the ASF+SDF Meta-Environment * Martin Bravenboer (Utrecht University, The Netherlands) et al.: Domain-specific Language Embedding using Stratego/XT and MetaBorg * Thomas R. Dean (Queen's University, Canada): Applications of Agile Parsing To Web Services * Helena Galhardas (IST Tagus Park, Portugal): Data cleaning and transformation using te AJAX framework * Dirk Heuzeroth (sd&m AG, Germany) et al.: A Tool Suite for Invasive Software Composition * Frederic Jouault (UniversitÈ de Nantes, France): Model Transformation and Weaving Tools in the AMMA Platform * Guenter Kniesel (University of Bonn): Refactoring based on Composable Conditional Program Transformations * Victor Winter (University of Nebraska at Omaha, USA): Software transformation with HATS' Higher-Order Transformation * Albert Zuendorf (University of Kassel, Germany): Model Driven Software Development with Fujaba * Mohammed El-Ramly (University of Leicester, UK) Forms2.NET - Migrating Oracle Forms to Microsoft .NET VENUE The summer school will be held in the northern region of Portugal, known as the Costa Verde. The region is known for its attractiveness in terms of climate, prices, and culture. The region is served by the Oporto international airport, providing direct flights to many major European cities. The event will take place in Hotel da Falperra, situated in the hills overlooking the city of Braga. Hotel da Falperra is a four star hotel that provides splendid seminar and leisure facilities including a swimming pool. The hotel is situated in a quiet and somewhat isolated mountain area, which promotes the interaction between senior and junior researchers. The hotel has good connections to the Braga city center (approx. 10 min). DEADLINES AND FEES * Early registration until April 15, registration fee EUR 450. * Late registration until June 1, registration fee EUR 600. The registration fee includes: * accommodation in double room in the 4 star Hotel da Falperra * breakfasts, lunch, and coffee breaks (5 days) * dinners, reception, and banquet (5 evenings) * social programme * tutorial material * airport shuttles Participants are expected to arrive on Sunday, July 3, and to be present during the entire summer school, which ends in the late afternoon of Friday, July 8. PARTICIPANT SELECTION The number of participants is limited to 100. We want to ensure a diverse, well-matched, and well motivated set of participants. Therefore, participants will be selected on the basis of the information they supply on their registration form. In particular, we will take into consideration the relevance of the summer school topics to your area of research and to those of your group. After receiving your registration form, you will receive notification of acceptance within two weeks, or you will be asked to provide some additional information. Together with the notification of acceptance, you will receive detailed payment instructions. When payment has been received, your registration will be confirmed. SUMMER SCHOOL CHAIRS * Ralf Laemmel (Program Chair), Microsoft Corp., Redmond, U.S.A. * Joao Saraiva (Program Chair), Universidade do Minho, Braga, Portugal. * Joost Visser (Organizing Chair), Universidade do Minho, Braga, Portugal. WEB SITE INCLUDING REGISTRATION http://www.di.uminho.pt/GTTSE2005 SPONSORS * Fundação Oriente * Fundação para a Ciência e a Tecnologia * Springer-Verlag * Microsoft * Enabler * Software Improvement Group -------------

1 0

Second Call for Papers for International Workshop on Foundations of Software Engineering (FSEN'05)
by fsen05＠ipm.ir 12 Apr '05

12 Apr '05

Our apologies if you have received multiple copies. ------------------------------------------------------------------------- Second Call for Papers IPM International Workshop on Foundations of Software Engineering (FSEN 2005) 1-3 October 2005, Tehran, Iran. http://cs.ipm.ac.ir/FSEN05 FSEN 2005 is an international workshop organized by the Institute for Studies in Theoretical Physics and Mathematics (IPM) in Iran (http://www.ipm.ac.ir) Workshop goals -------------- The aim of the workshop is to bring together researchers and practitioners working on different aspects of formal methods in software engineering. The specific goal is to facilitate transfer of experience, adaptation of methods, and where possible, collaboration between different groups. The topics may cover any aspect in formal methods, especially those related to advancing the application of formal methods in software industry and promoting their integration with practical engineering techniques. Topics of interest ------------------ The topics of this workshop include, but are not restricted to, the following: * Models of programs and systems * Software specification, validation and verification * Software architectures and their description languages * Object and multi-agent systems * Coordination and feature interaction * Integration of formal and informal methods * Integration of different formal methods * Component-based development * Service-oriented development * Model checking and theorem proving * Software and hardware verification * CASE tools and tool integration * Application to industrial cases Proceedings ----------- Accepted papers will be available at the workshop in a pre-proceedings published by IPM. A post-proceedings will be published in the Elsevier's ENTCS conference series. Selected papers will also be published in a special issue of a journal (to be confirmed). Best Paper Award ---------------- There will be an award for the best paper. Important Dates --------------- * June 1, 2005: Submissions deadline * July 15, 2005: Notification of authors * August 1, 2005: Camera ready copies deadline * October 1-3, 2005: FSEN workshop Submissions ----------- The length of each paper including figures and references must not exceed the maximum size of 15 ENTCS style pages. All papers must be submitted in PDF or postscript format. Papers are to be sent to the following email address: fsen05(a)ipm.ir. Submissions should explicitly state their contribution and their relevance to the theme of the workshop. Other criteria for selection will be originality, significance, correctness, and clarity. Simultaneous or similar submissions to other conferences or journals are not allowed. Workshop Chair -------------- Ali Movaghar Sharif University of Technology, Iran IPM, Iran PC Chairs --------- Farhad Arbab CWI, Netherlands Leiden University, Netherlands University of Waterloo, Canada Marjan Sirjani Tehran University, Iran IPM, Iran Local Organization Chair ------------------------ Marjan Sirjani Tehran University, Iran IPM, Iran Program committee ----------------- * Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands; University of Waterloo, Canada * Mohammad Ardeshir - Sharif University of Technology, Iran * Christel Baier - University of Bonn, Germany * Frank de Boer - CWI, Netherlands; Leiden University, Netherlands * Marcello Bonsangue - Leiden University, Netherlands * Franck van Breugel - York University, Canada * James C. Browne - Texas University, USA * Michael Butler - University of Southampton, UK * Marsha Chechik - University of Toronto, Canada * Dennis Dams - Bell Labs, USA * Nancy Day - University of Waterloo, Canada * Maurizio Gabbrielli - University of Bologna, Italy * Yuri Gurevich - Microsoft Research, USA * Joost Kok - Leiden University, Netherlands * Marta Kwiatkawska, University of Birmingham, UK * Mohammad Reza Meybodi - AmirKabir University of Technology, Iran * Seyyed Hassan Mirian - Sharif University of Technology, Iran * Ali Movaghar - Sharif University of Technology, Iran; IPM, Iran * Andrea Omicini - University of Bologna, Italy * George Papadopoulos - University of Cyprus, Cyprus * Willem-Paul de Roever - University of Kiel, Germany * Jan Rutten - CWI, Netherlands; Vrije University Amsterdam, Netherlands * Mohsen Sharifi, Iran University of Science and Technology, Iran * Sandeep Shukla- Virginia Tech, USA * Marjan Sirjani - Tehran University, Iran; IPM, Iran * Alan Wassyng - McMaster University, Canada Invited Speakers ---------------- (to be confirmed)

1 0

Formal Methods 2005: Call for Participation
by events-admin＠fmeurope.org 11 Apr '05

11 Apr '05

(With apologies for multiple copies) Formal Methods 2005 (FM'05) 18-22 July 2005 Newcastle upon Tyne, UK First Call for Participation www.csr.ncl.ac.uk/fm05 It is our pleasure to invite you to attend FM'05, the leading international conference for researchers and practitioners in formal methods for the development of computing systems. This year, the conference is being held at the University of Newcastle upon Tyne, UK on 18-22 July. Formal methods continue to have a major impact on systems and software engineering, especially in areas where dependability, security and trust matter. FM'05 aims to publish the latest developments of interest to researchers and practitioners alike. The outstanding programme of tutorials and workshops (listed overleaf) covers the range from circuit design, through high integrity programming to fault tolerance, architectures and automated reasoning. Wednesday 20th July is a special Industry Day, with a series of invited talks on experiences of formal methods going mainstream. The programme of around 30 research papers, announced in mid-April, will provide an opportunity to get up to date in all these areas and more. Alongside the tutorials, workshops and research symposium, there will be displays of tools, products, research projects and publishers. FM'05 is being held in one of England's most dynamic cities, famous for its captivating welcome, and situated at the heart of an historic and beautiful region. There will be plenty of opportunity for informal discussion: social activities include a reception at the Hatton Gallery and conference dinner in Alnwick Castle and Gardens. We look forward to welcoming you to Newcastle in July! John Fitzgerald, General Chair Ian Hayes, Andrzej Tarlecki, Programme Chairs TO REGISTER download a registration form from www.csr.ncl.ac.uk/fm05 or contact the Organiser: Claire Smith, Tel: +44 (0) 191 222 7999 Fax: +44 (0) 191 222 8788 Email:claire.smith@ncl.ac.uk --- --- --- --- --- --- --- --- OUTLINE OF EVENTS Full Scientific Programme 20-22 July Invited Speakers: Mathai Joseph (Tata Research & Development, Pune, India) Marie-Claude Gaudel (Université de Paris-Sud, France) Chris Johnson (University of Glasgow, UK) Industry Day 20 July: Formal Methods Going Mainstream - Costs, Benefits and Experiences contributions from Microsoft, Intel, Embedded Systems Institute, ETH Zürich and Verum Consultants. Industry Day is sponsored by SAP Research. Co-located Conferences (18-19 July): Calculemus 2005 Formal Aspects of Security and Trust (FAST) 2005 Workshops (18-19 July): Grand Challenge Workshop on Dependable Systems Evolution Web Languages and Formal Methods (WLFM 2005) Overture - the future of VDM and VDM++ Practical Applications of Stochastic Modelling (PASM 2005) Workshop on Rigorous Engineering of Fault Tolerant Systems (REFT 2005) The Railway Domain (TRain 2005) Tutorials (18-19 July): The Spec# Programming System: an Overview Formal Aspects of Software Architecture Increasing Dependability of Smart Card Based Systems Perfect Developer SPARK Petri-nets and Role Models as Intermediate Level Tools for Asynchronous Circuit & Systems Design Verifying Industrial Control System Software Formal Engineering Methods for Industrial Software Development Modelling Languages Spectrum Formal Methods as a Unifying Basis for Electrical and Computer Engineering Design by Contract and Automatic Verification for Java with JML and ESC/Java 2 Introduction to CSP and FDR TO REGISTER download a registration form from www.csr.ncl.ac.uk/fm05 or contact the Organiser: Claire Smith, Tel: +44 (0) 191 222 7999 Fax: +44 (0) 191 222 8788 Email:claire.smith@ncl.ac.uk _______________________________________________ events mailing list events(a)fmeurope.org http://www.fmeurope.org/mailman/listinfo/events

1 0

Darcs and Haskell in practical use
by Chuan-kai Lin 11 Apr '05

11 Apr '05

Hi all, Some of you may have heard about the darcs distributed revision control system (http://abridgegame.org/darcs/) which is written in Haskell. Recently Linus Torvalds, the creator of Linux, had decided to abandon the BitKeeper revision control system in favor of using an open-source system to manage his kernel source tree. Among the contenders are monotone, GNU Arch, svk, and darcs. >From reading the postings in the Linux kernel mailing list [1], I think darcs is pretty well regarded for its capabilities. After all, complex symbolic manipulations is one of Haskell's strong points. Some people complained that darcs is relatively difficult to build, but that is not a big problem either. The real show-stopper turns out to be performance: the Linux kernel tree is huge, and the intense development activities put a lot of stress on the revision control system, so the (slow) execution speed and (large) memory footprint of darcs makes it unsuitable for such purposes. Needless to say, having darcs host Linus' kernel tree would be an excellent exposure for our favorite language. BitKeeper went from obscure to well-known in a few years solely because of its use in the Linux kernel development effort. Maybe someone in the list would be interested in helping David Roundy out in tuning darcs? Regards, -- Chuan-kai Lin http://www.cs.pdx.edu/~cklin/

2 1

RA position at Royal Holloway, Univ of London
by Zhaohui Luo 11 Apr '05

11 Apr '05

RESEARCH ASSISTANT Department of Computer Science Royal Holloway, University of London Applications are invited for the post of Research Assistant to join a team working on the EPSRC-funded project: "Pythagoras: Machine Support for Semi-formalised Proof Oriented Mathematics". This is an appointment for 12 months, commencing on 1 June 2005. The successful candidate will work with Professor Zhaohui Luo and is expected to have a PhD or to obtain a PhD degree soon in computer science, mathematics, or a related area. A strong background in one or more of the following areas would be of advantages, though not necessary: theorem proving type theory and associated proof assistants functional programming mathematics education The salary for the post is £22,674 per annum inclusive of London Allowance. Information on the Department may be found at www.cs.rhul.ac.uk. Informal enquiries may be directed to Prof Zhaohui Luo (email: Zhaohui.Luo(a)cs.rhul.ac.uk; tel: +44-(0)1784-443431; URL: http://www.cs.rhul.ac.uk/~zhaohui/ ). Further details and an application form can be obtained from The Personnel Department, Royal Holloway, University of London, Egham, Surrey TW20 0EX; fax: 01784 473527; tel: 01784 414241; email http://www.rhul.ac.uk/Personnel/JobVacancies.htm. Please quote reference KB/004286. The closing date for receipt of applications is Friday 29th April 2005.

1 0

[ANNOUNCE] First release of Haste (Haskell TurboEdit), an IDE for Haskell
by David Waern 10 Apr '05

10 Apr '05

Hi there! We are a group of students at Chalmers University of Technology who are developing an IDE for Haskell called Haste (short for Haskell TurboEdit) as our third-year project. We have made the first release of the IDE available. If you are using Windows, you can simply get it by downloading a binary version from our homepage. If you are using some other OS, you must compile the source, which you can also find if you go to our homepage. The address is: http://haste.dyndns.org:8080 Note that this is an early pre-alpha build, so there are lots of things that still need to be fixed and added. Also, the IDE has so far only been tested on Windows and Linux. Details of the implementation: ------------------------------ For the GUI, we are using wxHaskell. For the editor component, we have ported and integrated the wxStyledTextCtrl from wxWidgets into wxHaskell. It might be included in the next release of wxHaskell if Daan Leijen has enough time. If you want to help: -------------------- We would relly appreciate if anyone is interested in contributing to this project. However, since it is a school project we have to be careful about how we let other people contribute. If you want to help us, you must work on your _own_, somewhat isolated component in the editor so that it is clear what we have done and what you have done on the project. Other than that, there are no problems with contributing. If you are interested, just contact us and we will supply you with a Subversion account. Cheers, David Waern

1 0

ICTCS'05 Conference: Deadline Extension
by g. michele pinna 10 Apr '05

10 Apr '05

Apologies if you receive multiple copies ________________________________________________________________ Ninth Italian Conference on Theoretical Computer Science (ICTCS'05) Certosa di Pontignano (Siena), Italy October 12 - 14, 2005 http://ictcs05.dsmi.unisi.it DEADLINE EXTENSION: APRIL 25 Call for Papers The Ninth Italian Conference on Theoretical Computer Science will take place at the Certosa di Pontignano (Siena), Italy. Papers presenting original contributions in any area of theoretical computer science are being sought. A special issue of the journal Theory of Computing Systems (formerly Mathematical System Theory) containing full versions of papers selected from the conference is planned. Details of this special issue will be provided to the authors of those papers that are accepted for presentation at the conference. Topics include (but are not limited to): analysis and design of algorithms, computability, computational complexity, cryptography, formal languages and automata, foundations of programming languages and program analysis, foundations of artificial intelligence and knowledge representation, foundations of web programming natural computing paradigms (quantum computing, bioinformatics), parallel and distributed computation, program specification and verification, term rewriting, theory of concurrency, theory of data bases, theory of logical design and layout, type theory, security, symbolic and algebraic computation, Program Committee: Michele Bugliesi (Venezia), Mario Coppo (Torino, Co-Chair), Pierluigi Crescenzi (Firenze), Giulia Galbiati (Pavia) Luisa Gargano (Salerno), Giorgio Ghelli (Pisa), Roberto Grossi (Pisa), Benedetto Intrigila (L'Aquila), Nicola Leone (Cosenza), Elena Lodi (Siena, Co-Chair), Flaminia Luccio (Trieste), Andrea Masini (Verona), Giancarlo Mauri (Milano-Bicocca), Corrado Priami (Trento), Geppino Pucci (Padova), Davide Sangiorgi (Bologna). Organizing Committee: Sara Brunetti (Siena), G. Michele Pinna (Cagliari - Siena, Chair), Elisa B.P. Tiezzi (Siena). Invited Speakers: Luca Cardelli (Microsoft Research, Cambridge, United Kingdom) Giuseppe Castagna (LIENS - École Normale Supérieure, Paris, France) Nicola Santoro (School of Computer Science, Carleton University, Ottawa, Canada) Dates and Deadlines: Submission Deadline (extended): 25 April 2005 Acceptance Notification: 7 June 2005 Camera-ready deadline: 2 July 2005 Early registration deadline: 16 September 2005 Conference: 12-14 October 2005 Submissions: Authors are invited to submit electronically one copy of their draft paper, not exceeding fifteen pages. The paper should clearly indicate the results achieved, their significance, and their relation to other work in the area. Extended proofs can be placed in a clearly marked appendix. It is planned to publish the proceedings in the Springer Lecture Notes in Computer Science series. To uniform the submissions the authors are encouraged to use Latex and the Springer LNCS style (www.springer.de/comp/lncs) The web-based submission form is available at the page ictcs05.dsmi.unisi.it/submission.html. In case electronic submission is not possible, the authors should contact: Mario Coppo Dipartimento di Informatica, Universita' di Torino Corso Svizzera 185 I-10149 Torino, Italy email: coppo(a)di.unito.it Conference Page: This Call For Papers is available online at the conference web page ictcs05.dsmi.unisi.it Registration Details: The registration form will be reachable from the conference web page. A limited number of grants for students and young researchers covering the registration fees are available. Details for the applications are in the conference web page.

1 0

Post-Doc offers at Inria
by luc.maranget＠inria.fr 08 Apr '05

08 Apr '05

Hello, The moscova team at Inria Rocquencourt offers two Post-Doc positions. One is haskell-related (I also include the second offer, has little connection with Haskell). Candidates should hold a doctorate or Ph.D. for less than one year or be about to obtain one (ie, before September 1, 2005) Aplication deadline is April 22 (position starting in September). More information on the adminsitrative nature of the offer is available at <http://www.inria.fr/travailler/opportunites/postdoc/postdoc.en.html> As regards scientific matters, we offer two subjects. Interested candidates are invited to consult the web pages specified in the following abstracts for additional information, and to contact us. --Luc Maranget Pattern Matching Warnings for Haskell ************************************* Since Ocaml 1.05, Ocaml features an efficient and complete detection algorithm for pattern-matching anomalies such as useless match clauses and non-exhautive matchings. The corresponding theory is described in http://pauillac.inria.fr/~maranget/papers/warn.ps It also handles disjunctive patterns, without exponential explosion in practice. The post-doctorant will implement the detection algorithm in, for instance, GHC. She or he will demonstrate and document the work in order to make it available in a standard Haskell release. See <http://www-rocq.inria.fr/fr/actualites/recrutement/post-doc/moscova2.htm> Jocaml3 ******* Jocaml is an extension of Ocaml based on the Join-calculus, see http://join.inria.fr. There are already two releases of the Join-calculus and Jocaml. A third version, simplified and better integrated to the Ocaml compiler, is under development. It remains to implement remote communication in distributed settings, which represents a good third of the whole Jocaml implementation. As a final result, we want to get a release of Jocaml, accessible on the web and compatible with successive releases of Ocaml. See <http://www-rocq.inria.fr/fr/actualites/recrutement/post-doc/moscova.htm>

1 0

how to use GHC's prof tools
by haitao.wu＠yale.edu 08 Apr '05

08 Apr '05

Hi, I developed a program based on wxHaskell but it has serious performance problem. So I tried to compile the program using "-prof" in GHC. If I use "ghc --make -fglasgow-exts -package wx -prof Main.lhs", it always reports that it cannot find modules defined in wxHaskell like WXCore. However, if I compile it without the "-prof" option, it works well and can generate "a.out". Anyone can give any help? Thank you, Haitao

2 1