From rossberg at mpi-sws.org Tue May 12 10:09:38 2009 From: rossberg at mpi-sws.org (Andreas Rossberg) Date: Tue May 12 10:09:53 2009 Subject: [MLton-user] ML 2009: Deadline Extension Message-ID: <4A09AD52.6060605@mpi-sws.org> 3rd CALL FOR PAPERS The 2009 ACM SIGPLAN Workshop on ML To be held in conjunction with ICFP 2009 on Sunday, August 30, 2009 in Edinburgh, Scotland, UK http://www.mpi-sws.org/~rossberg/ml2009/ ------------------------------- DEADLINE EXTENDED until May 17! ------------------------------- 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 provide a forum to encourage discussion and research on ML and related technology (higher-order, typed, or strict languages). The 2009 Work shop on ML will be held in conjunction with the 14th ACM SIGPLAN International Conference on Functional Programming (ICFP 2009) in Edinburgh, Scotland, UK. Previous instances were ML 2005 in Tallinn, Estonia, ML 2006 in Portland, Oregon, USA, ML 2007 in Freiburg, Germany, and ML 2008 in Victoria, British Columbia, Canada). IMPORTANT DATES Submission: Sunday, May 17, 2009 (EXTENDED!) Notification: Friday, May 29, 2009 Final revision: Monday, June 15, 2009 Workshop: Sunday, August 30, 2009 SUBMISSION GUIDELINES We seek papers on topics related to ML, including, but not limited to: * applications: case studies, experience reports, pearls, etc. * extensions: higher forms of polymorphism, generic programming, objects, concurrency, distribution and mobility, semi-structured data handling, etc. * type systems: inference, effects, overloading, modules, contracts, specifications and assertions, dynamic typing, error reporting, etc. * implementation: compilers, interpreters, type checkers, partial evaluators, runtime systems, garbage collectors, etc. * environments: libraries, tools, editors, debuggers, cross-language interoperability, functional data structures, etc. * semantics: operational, denotational, program equivalence, parametricity, mechanization, etc. Submitted papers should describe new ideas, experimental results, ML-related projects, or informed positions regarding proposals for next-generation ML-style 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 in English and at most 12 pages total length in the standard ACM SIGPLAN two-column conference format (9pt). 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 Workshop web page. PROGRAM CHAIR Andreas Rossberg (Max Planck Institute for Software Systems) PROGRAM COMMITTEE Umut Acar (Toyota Technological Institute at Chicago) Damien Doligez (INRIA Paris-Rocquencourt) Neal Glew (Intel) Andrew Gordon (Microsoft Research Cambridge) Patricia Johann (University of Strathclyde) Oleg Kiselyov (FNMOC) Neelakantan Krishnaswami (Carnegie Mellon University) David MacQueen (University of Chicago) Yasuhiko Minamide (University of Tsukuba) Norman Ramsey (Tufts University) STEERING COMMITTEE See the ML Workshop series home page at: http://www.tti-c.org/blume/ml-workshop/ From blume at tti-c.org Wed May 13 13:57:37 2009 From: blume at tti-c.org (Matthias Blume) Date: Wed May 13 13:57:42 2009 Subject: [MLton-user] FLOPS 2010: Preliminary Call for Papers Message-ID: <88067A8F-8BE3-4CDD-83D8-BEB083F5F60F@tti-c.org> ---------------------------------------------------------------------------- PRELIMINARY CALL FOR PAPERS Tenth International Symposium on Functional and Logic Programming (FLOPS 2010) April 19-21, 2010 Sendai, Japan http://www.kb.ecei.tohoku.ac.jp/flops2010 Submission deadline: October 16, 2009 FLOPS is a forum for research on all issues concerning declarative programming, including functional programming and logic programming, and aims to promote cross-fertilization and integration between the two paradigms. Previous FLOPS meetings were held in Fuji Susono (1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo (2001), Aizu (2002), Nara (2004), Fuji Susono (2006), and Ise (2008). TOPICS FLOPS solicits original papers in all areas of functional and logic programming, including (but not limited to): Declarative Pearls: new and excellent declarative programs with illustrative applications. Language issues: language design and constructs, programming methodology, integration of paradigms, interfacing with other languages, type systems, constraints, concurrency and distributed computing. Foundations: logic and semantics, rewrite systems and narrowing, type theory, proof systems. Implementation issues: compilation techniques, memory management, program analysis and transformation, partial evaluation, parallelism. Applications: case studies, real-world applications, graphical user interfaces, Internet applications, XML, databases, formal methods and model checking. The proceedings are expected to be published as an LNCS volume. The proceedings of the previous meeting (FLOPS 2008) were published as LNCS 4989. INVITED SPEAKERS TBD PC CO-CHAIRS Matthias Blume (TTI, Chicago, USA) German Vidal (Technical University of Valencia, Spain) CONFERENCE CHAIR Naoki Kobayashi (Tohoku University, Sendai, Japan) PC MEMBERS Nick Benton (Microsoft Research, Cambridge, UK) Manuel Chakravarty (University of New South Wales, Australia) Michael Codish (Ben-Gurion University of the Negev, Israel) Bart Demoen (Katholieke Universiteit Leuven, Belgium) Agostino Dovier (University of Udine, Italy) John P. Gallagher (Roskilde University, Denmark) Maria Garcia de la Banda (Monash University, Australia) Michael Hanus (University of Kiel, Germany) Atsushi Igarashi (Kyoto University, Japan) Patricia Johann (Rutgers University, USA) Shin-ya Katsumata (Kyoto University, Japan) Michael Leuschel (University of Dusseldorf, Germany) Francisco Lopez-Fraguas (Complutense University of Madrid, Spain) Paqui Lucio (University of the Basque Country, Spain) Yasuhiko Minamide (University of Tsukuba, Japan) Frank Pfenning (Carnegie Mellon University, USA) Francois Pottier (INRIA, France) Tom Schrijvers (Katholieke Universiteit Leuven, Belgium) Chung-chieh "Ken" Shan (Rutgers University, USA) Zhong Shao (Yale University, USA) Jan-Georg Smaus (University of Freiburg, Germany) Nobuko Yoshida (Imperial College London, UK) LOCAL CHAIR Eijiro Sumii (Tohoku University, Sendai, Japan) SUBMISSION Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. Submissions should fall into one of the following categories: Regular research papers: they should describe new results and will be judged on originality, correctness, and significance. System descriptions: they should contain a link to a working system and will be judged on originality, usefulness, and design. All submissions must be written in English and can be up to 15 proceedings pages long. Authors are strongly encouraged to use LaTeX2e and the Springer llncs class file, available at http://www.springer.de/comp/lncs/authors.html Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g., a link to a web page, or an appendix). Papers should be submitted electronically at http://www.easychair.org/conferences/?conf=flops2010 IMPORTANT DATES Submission deadlines: - Abstract: October 16, 2009 - Paper: October 23, 2009 Author notification: December 21, 2009 Camera-ready copy: January 24, 2010 Conference: April 19-21, 2010 PLACE Sendai, Japan Some previous FLOPS: FLOPS 2008, Ise: http://www.math.nagoya-u.ac.jp/~garrigue/FLOPS2008/ FLOPS 2006, Fuji Susono: http://hagi.is.s.u-tokyo.ac.jp/FLOPS2006/ FLOPS 2004, Nara FLOPS 2002, Aizu: http://www.ipl.t.u-tokyo.ac.jp/FLOPS2002/ FLOPS 2001, Tokyo: http://www.ueda.info.waseda.ac.jp/flops2001/ SPONSOR TBA IN COOPERATION with TBA ---------------------------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mlton.org/pipermail/mlton-user/attachments/20090513/d3ef23a1/attachment.htm From icfp.publicity at googlemail.com Wed May 27 21:46:25 2009 From: icfp.publicity at googlemail.com (Matthew Fluet (ICFP Publicity Chair)) Date: Wed May 27 21:46:58 2009 Subject: [MLton-user] DEFUN09: Final Call for Talks & Tutorials (co-located w/ ICFP09) Message-ID: <53ff55480905272146i2cf08d6fsa6c14ca481aafb49@mail.gmail.com> Call for Talks and Tutorials ACM SIGPLAN 2009 Developer Tracks on Functional Programming http://www.defun2009.info/ Edinburgh, Scotland, September 3 and 5, 2009 The workshop will be held in conjunction with ICFP 2009 http://www.cs.nott.ac.uk/~gmh/icfp09.html Important dates Proposal Deadline: June 5, 2009 Notification: June 19, 2009 This is a second invitation to submit talk and tutorial proposals for DEFUN 2009, the ICFP 2009 Developer Tracks. The deadline for submissions is next Friday, June 5. We want to know about your favorite programming techniques, powerful libraries, and engineering approaches you've used that the world should know about and apply to other projects. We want to know how to be productive using functional programming, write better code, and avoid common pitfalls. DEFUN is contiguous with CUFP 2009, the goal of which is to build a community for users of functional programming languages and technology. DEFUN provides the more technical, teaching-oriented parts of functional programming, while CUFP focuses on the commercial, management, and software engineering aspects. For more details of the kinds of proposals we would like to see, and how to submit, please see our original call for proposals at http://www.defun2009.info/blog/call-for-talks-and-tutorials/ From jhr at cs.uchicago.edu Sat May 30 12:31:32 2009 From: jhr at cs.uchicago.edu (John Reppy) Date: Sat May 30 12:31:43 2009 Subject: [MLton-user] bug with floating-point division on x86/Mac OS X Message-ID: <1C160990-EFD1-4D6A-AF67-E63540E96C77@cs.uchicago.edu> The code generation for floating-point division is broken in certain situations on the x86 (Mac OS X). Here is a small program that demonstrates the bug: structure R = Real64 (* or Real32 *) fun f (a, b) = let val c = a / b in print(concat[R.toString a, "/", R.toString b, " = ", R.toString c, "\n"]) end; val _ = List.app f [(0.5, 2.0), (0.5, 130.0)]; It prints: 0.5/2 = 4 0.5/130 = 260 when it should print something like 0.5/2 = 0.25 0.5/130 = 0.00384615384615 The MLton version is revision 7103 from svn and I'm running on Mac OS X 10.5.7. The bug affects both 32 and 64-bit floats. - John From vesa.a.j.k at gmail.com Sun May 31 06:00:14 2009 From: vesa.a.j.k at gmail.com (Vesa Karvonen) Date: Sun May 31 06:00:48 2009 Subject: [MLton-user] bug with floating-point division on x86/Mac OS X In-Reply-To: <1C160990-EFD1-4D6A-AF67-E63540E96C77@cs.uchicago.edu> References: <1C160990-EFD1-4D6A-AF67-E63540E96C77@cs.uchicago.edu> Message-ID: <9e43b9a0905310600j71dbe048te5142ad7330846b@mail.gmail.com> Fixed in the SVN: http://mlton.org/pipermail/mlton-commit/2009-May/003108.html . -Vesa Karvonen On Sat, May 30, 2009 at 10:31 PM, John Reppy wrote: > The code generation for floating-point division is broken in certain > situations > on the x86 (Mac OS X). ?Here is a small program that demonstrates the bug: > > ?structure R = Real64 (* or Real32 *) > > ?fun f (a, b) = let > ? ? ? ?val c = a / b > ? ? ? ?in > ? ? ? ? ?print(concat[R.toString a, "/", R.toString b, " = ", R.toString c, > "\n"]) > ? ? ? ?end; > > ?val _ = List.app f [(0.5, 2.0), (0.5, 130.0)]; > > It prints: > > ?0.5/2 = 4 > ?0.5/130 = 260 > > when it should print something like > > ?0.5/2 = 0.25 > ?0.5/130 = 0.00384615384615 > > The MLton version is revision 7103 from svn and I'm running on Mac OS X > 10.5.7. > The bug affects both 32 and 64-bit floats. > > ? ? ? ?- John > > > _______________________________________________ > MLton-user mailing list > MLton-user@mlton.org > http://mlton.org/mailman/listinfo/mlton-user >