- Gambit-list - mailman.iro.umontreal.ca

[Agda] Final CFP: Workshop on Generic Programming 2015 - Deadline May 15
by Sebastian Erdweg 27 Avr '15

27 Avr '15

====================================================================== CALL FOR PAPERS WGP 2015 11th ACM SIGPLAN Workshop on Generic Programming Vancouver, Canada Sunday, August 30, 2015 http://www.wgp-sigplan.org/2015 Co-located with the International Conference on Functional Programming (ICFP 2015) ====================================================================== Goals of the workshop --------------------- Generic programming is about making programs more adaptable by making them more general. Generic programs often embody non-traditional kinds of polymorphism; ordinary programs are obtained from them by suitably instantiating their parameters. In contrast with normal programs, the parameters of a generic program are often quite rich in structure; for example they may be other programs, types or type constructors, class hierarchies, or even programming paradigms. Generic programming techniques have always been of interest, both to practitioners and to theoreticians, and, for at least 20 years, generic programming techniques have been a specific focus of research in the functional and object-oriented programming communities. Generic programming has gradually spread to more and more mainstream languages, and today is widely used in industry. This workshop brings together leading researchers and practitioners in generic programming from around the world, and features papers capturing the state of the art in this important area. We welcome contributions on all aspects, theoretical as well as practical, of * generic programming, * programming with (C++) concepts, * meta-programming, * programming with type classes, * programming with modules, * programming with dependent types, * type systems for generic programming, * polytypic programming, * adaptive object-oriented programming, * component-based programming, * strategic programming, * aspect-oriented programming, * family polymorphism, * object-oriented generic programming, * implementation of generic programming languages, * static and dynamic analyses of generic programs, * and so on. Program Committee ----------------- * Patrick Bahr (co-chair), University of Copenhagen * Sebastian Erdweg (co-chair), Technical University of Darmstadt * Edwin Brady, University of St Andrews * Edsko de Vries, Well-Typed LLP * Mauro Jaskelioff, National University of Rosario * Johan Jeuring, Utrecht University * Pieter Koopman, Radboud University Nijmegen * Bruno C. d. S. Oliveira, University of Hong Kong * Nicolas Pouillard, IT University of Copenhagen * Sukyoung Ryu, Korea Advanced Institute of Science and Technology * Sibylle Schupp, Hamburg University of Technology * Sam Tobin-Hochstadt, Indiana University Proceedings and Copyright ------------------------- We plan to have formal proceedings, published by the ACM. Accepted papers will be included in the ACM Digital Library. Authors must grant ACM publication rights upon acceptance (http://authors.acm.org/main.html) but may retain copyright if they wish. Authors are encouraged to publish auxiliary material with their paper (source code, test data, and so forth). The proceedings will be freely available for download from the ACM Digital Library from one week before the start of the conference until two weeks after the conference. Submission details ------------------ * Submission deadline: Fri, 15th May 2015 * Author notification: Fri, 26th June 2015 * Final version due: Sun, 19th July 2015 * Workshop: Sun, 30th August 2015 Submitted papers should fall into one of two categories: * Regular research papers (12 pages) * Short papers: case studies, tool demos, generic pearls (6 pages) Regular research papers are expected to present novel and interesting research results. Short papers need not present novel or fully polished results. Good candidates for short papers are those that report on interesting case studies of generic programming in open source or industry, present demos of generic programming tools or libraries, or discuss elegant and illustrative uses of generic programming ('pearls'). All submissions should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines (two-column, 9pt). Regular research papers must not exceed 12 pages. Short papers must not exceed 6 pages. If applicable, papers should be marked with one of the labels 'case study, 'tool demo' or 'generic pearl' in the title at the time of submission. Papers should be submitted via HotCRP at https://icfp-wgp15.hotcrp.com/ Travel Support -------------- Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC program, see its web page (http://www.sigplan.org/PAC.htm) History of the Workshop on Generic Programming ---------------------------------------------- Earlier Workshops on Generic Programming have been held in * Gothenburg, Sweden 2014 (affiliated with ICFP), * Boston, Massachusetts, US 2013 (affiliated with ICFP), * Copenhagen, Denmark 2012 (affiliated with ICFP), * Tokyo, Japan 2011 (affiliated with ICFP), * Baltimore, Maryland, US 2010 (affiliated with ICFP), * Edinburgh, UK 2009 (affiliated with ICFP), * Victoria, BC, Canada 2008 (affiliated with ICFP), * Portland 2006 (affiliated with ICFP), * Ponte de Lima 2000 (affiliated with MPC), * Marstrand 1998 (affiliated with MPC). Furthermore, there were a few informal workshops * Utrecht 2005 (informal workshop), * Dagstuhl 2002 (IFIP WG2.1 Working Conference), * Nottingham 2001 (informal workshop). There were also (closely related) DGP workshops in Oxford (June 3-4 2004), and a Spring School on DGP in Nottingham (April 24-27 2006, which had a half-day workshop attached). WGP Steering Committee ---------------------- * Andres Löh * Ronald Garcia * Jacques Carette * Jeremiah Willcock * José Pedro Magalhães * Tiark Rompf * Tarmo Uustalo * Stephanie Weirich * Fritz Henglein _______________________________________________ Agda mailing list Agda(a)lists.chalmers.se https://lists.chalmers.se/mailman/listinfo/agda

1 0

[ANN] Gambit-C v4.7.5 released
by gambit＠iro.umontreal.ca 20 Avr '15

20 Avr '15

1 0

[CFP] Scheme and Functional Programming Workshop 2015
by Andy Keep (akeep) 19 Avr '15

19 Avr '15

Call For Papers: Scheme and Functional Programming Workshop 2015 Vancouver, British Columbia, Canada (Co-located with ICFP 2015) http://andykeep.com/SchemeWorkshop2015/ ======================================================================== Submissions related to Scheme, Racket, Clojure, and functional programming are welcome and encouraged. Topics of interest include but are not limited to: * Program-development environments, debugging, testing * Implementation (interpreters, compilers, tools, benchmarks, etc.) * Syntax, macros, hygiene * Distributed computing, concurrency, parallelism * Interoperability with other languages, FFIs * Continuations, modules, object systems, types * Theory, formal semantics, correctness * History, evolution and standardization of Scheme * Applications, experience and industrial uses of Scheme * Education * Scheme pearls (elegant, instructive uses of Scheme) We also welcome submissions related to dynamic or multiparadigmatic languages and programming techniques. ======================================================================== Important Dates: May 22nd, 2015 - Paper deadline June 26th, 2015 - Author notification July 19th, 2015 - Camera-ready deadline September 4th, 2015 - Workshop ======================================================================== Submissions must be in ACM proceedings format, no smaller than 9-point type (10-point type preferred). Microsoft Word and LaTeX templates for this format are available at: http://www.acm.org/sigs/sigplan/authorInformation.htm Submissions should be in PDF and printable on US Letter. To encourage authors to submit their best work, this year we are encouraging shorter papers (around 6 pages, excluding references). This is to allow authors to submit longer, revised versions of their papers to archival conferences or journals. Longer papers (10--12 pages) are also acceptable, if the extra space is needed. There is no maximum length limit on submissions, but good submissions will likely be in the range of 6 to 12 pages. More information available at: http://andykeep.com/SchemeWorkshop2015/ ======================================================================== Organizers: Andy Keep, Cisco Systems Inc. (General Chair) Ryan Culpepper, Northeastern University (Program Chair) (Apologies for duplications from cross-posting.)

1 0

Gambit T-Shirt
by Marc Feeley 19 Avr '15

19 Avr '15

My youngest daughter thinks it would be cool to make some Gambit T-Shirts. She’s serious about her project and has made a Google Forms survey to figure out how many T-Shirts to make: https://docs.google.com/forms/d/1W69hjwXe4EoMzWfZ9AhlkOHz0VOcg69BtnpwwzBglR… This is just a survey… she will create the actual purchasing website later on. Please fill the survey if you want to support her project and have an awesome shirt! Marc

4 3

Gambit chatroom
by Marc Feeley 17 Avr '15

17 Avr '15

I discovered that github has a chatroom feature, so I have created one for Gambit. I have put a link on the Gambit wiki page, and one on the Gambit github repo. Here’s the link: https://gitter.im/feeley/gambit I hope it turns out to be a nice place for Gambit users to meet and exchange ideas. Marc

2 1

a simple question for optimization
by 김진우 10 Avr '15

10 Avr '15

Hi gambit users I am trying to verify that a program written in Gambit-C scheme is as fast as equivalent C program. I tried to make a scheme version of the following C++ program which is; *#include <iostream>* *#include <cmath>* *#include <cstdio>* *#include <ctime>* *#include <cstdlib>* *#include <iomanip> * *using namespace std;* *double f(double x);* *int main(int argc, char* argv[]) {* * clock_t start;* * start = clock();* * double duration;* * double sum = 0;* * long n = atoi(argv[1]);* * double x;* * for(long i = 1; i <= n ;i++) {* * x = (i - 0.5) / n;* * sum += 4.0/(1.0+x*x);* * }* * sum /= n;* * cout << setprecision(17) << sum << endl << endl;* * duration = ( clock() - start ) / (double) CLOCKS_PER_SEC;* * cout << duration <<'\n';* * return 0;* *}* *double f(double x) {* * return 4.0/(1.0 + x*x);* *}* and my best so far is *#!/usr/bin/env gsi-script* *(declare* * (not safe)* * (mostly-flonum))* *(define (main arg)* * (let ((k (string->number arg)))* * (pretty-print (time (cpi (exact->inexact k))))))* *(define (cpi n)* * (letrec ((rec (lambda (i sum)* * (let* ((x (fl/ (fl- i 0.5) n))* * (summand (fl/ 4.0 (fl+ 1.0 (fl* x x)))))* * (if (fl> i n)* * (fl/ sum n)* * (rec (fl+ i 1.0) (fl+ sum summand)))))))* * (rec 0.0 0.0)))* and the result is poor: 0.043s vs 0.145s *server@HP-Proliant-MicroServer:~/speedtest$ ls* *pi.cpp pi.scm* *server@HP-Proliant-MicroServer:~/speedtest$ g++ -o pi-cpp pi.cpp* *server@HP-Proliant-MicroServer:~/speedtest$ gsc -exe -o pi-scm pi.scm* *server@HP-Proliant-MicroServer:~/speedtest$ time ./pi-cpp 1000000* *3.1415926535897643* *0.038903* *real 0m0.043s* *user 0m0.042s* *sys 0m0.004s* *server@HP-Proliant-MicroServer:~/speedtest$ time ./pi-scm 1000000* *(time (cpi (exact->inexact k)))* * 128 ms real time* * 128 ms cpu time (127 user, 2 system)* * 182 collections accounting for 67 ms real time (72 user, 1 system)* * 224000448 bytes allocated* * 341 minor faults* * no major faults* *3.1415966535897644* *real 0m0.145s* *user 0m0.136s* *sys 0m0.009s* *server@HP-Proliant-MicroServer:~/speedtest$ * So.. I guess my scheme version is not equivalent to the original C++ program, but I'm having trouble figuring out why any help will be appreciated any comment, any suggestion..

2 2

Errors
by Steve Graham 06 Avr '15

06 Avr '15

Trying to make -j4 the latest version of Gambit from github, I get the following: I'm on Ubuntu 14.04 LTS. Thanks for the help. Steve

2 3

Can't upload files to wiki
by Bradley Lucier 01 Avr '15

01 Avr '15

Marc: I'm trying to upload a new version of Meroon to the wiki and I keep getting the message: Upload warning The upload directory (public) is not writable by the webserver. In fact, it appears nothing has been uploaded since November 2012. Can you get someone to look into this? Thanks. Brad

1 0

DSLDI: 3rd Workshop on Domain-Specific Language Design and Implementation (EXTENDED DEADLINE)
by Tijs van der Storm 01 Avr '15

01 Avr '15

********************************************************************* LAST CALL FOR TALK PROPOSALS DSLDI 2015 Third Workshop on Domain-Specific Language Design and Implementation July 7, 2015 Prague, Czech Republic Co-located with ECOOP http://2015.ecoop.org/track/dsldi-2015-papers ********************************************************************* EXTENDED Deadline for talk proposals: 9th of April, 2015 If designed and implemented well, domain-specific languages (DSLs) combine the best features of general-purpose programming languages (e.g., performance) with high productivity (e.g., ease of programming). *** Workshop Goal *** The goal of the DSLDI workshop is to bring together researchers and practitioners interested in sharing ideas on how DSLs should be designed, implemented, supported by tools, and applied in realistic application contexts. We are both interested in discovering how already known domains such as graph processing or machine learning can be best supported by DSLs, but also in exploring new domains that could be targeted by DSLs. More generally, we are interested in building a community that can drive forward the development of modern DSLs. *** Workshop Format *** DSLDI is a single-day workshop and will consist of a series of short talks whose main goal is to trigger exchange of opinion and discussions. The talks should be on the topics within DSLDI's area of interest, which include but are not limited to the following ones: * DSL implementation techniques, including compiler-level and runtime-level solutions * utilization of domain knowledge for driving optimizations of DSL implementations * utilizing DSLs for managing parallelism and hardware heterogeneity * DSL performance and scalability studies * DSL tools, such as DSL editors and editor plugins, debuggers, refactoring tools, etc. * applications of DSLs to existing as well as emerging domains, for example graph processing, image processing, machine learning, analytics, robotics, etc. * practitioners reports, for example descriptions of DSL deployment i a real-life production setting *** Call for Submissions *** We solicit talk proposals in the form of short abstracts (max. 2 pages). A good talk proposal describes an interesting position, demonstration, or early achievement. The submissions will be reviewed on relevance and clarity, and used to plan the mostly interactive sessions of the workshop day. Publication of accepted abstracts and slides on the website is voluntary. * _EXTENDED_ Deadline for talk proposals: April 9th, 2015 * Notification: May 8th, 2015 * Workshop: July 7th, 2015 * Submission website: https://easychair.org/conferences/?conf=dsldi2015 *** Workshop Organization *** Organizers * Tijs van der Storm (storm(a)cwi.nl) CWI, The Netherlands * Sebastian Erdweg (erdweg(a)informatik.tu-darmstadt.de) TU Darmstadt, Germany Follow us on Twitter at https://twitter.com/wsdsldi Program committee * Emilie Balland * Martin Bravenboer (LogicBlox) * Hassan Chafi (Oracle Labs) * William Cook (UT Austin) * Shriram Krishnamurthi (Brown University) * Heather Miller (EPFL) * Bruno Oliveira (University of Hong Kong) * Cyrus Omar (CMU) * Richard Paige (University of York) * Tony Sloane (Macquarie University) * Emma Söderberg (Google) * Emma Tosch (University of Massachusetts, Amherst) * Jurgen Vinju (CWI) -- Researcher Centrum Wiskunde & Informatica (CWI) Master of Software Engineering Universiteit van Amsterdam (UvA) Dr. Tijs van der Storm @ Centrum Wiskunde & Informatica (CWI) Office: L225 | Phone: +31 (0)20 5924164 | Address: Science Park 123 P.O. Box 94079 | Postal code: 1090 GB | Amsterdam, The Netherlands

1 0

[CfPart] ELS 2015, April 20-21 2015, London
by Didier Verna 01 Avr '15

01 Avr '15

ELS'15 - 8th European Lisp Symposium Goldsmiths College, London, UK April 20-21, 2015 http://www.european-lisp-symposium.org/ Sponsored by EPITA, Goldsmiths University of London, Franz Inc., Lispworks Ltd., Clozure Associates and Google Recent news: - A few seats left, still time to register! - Programme now online (schedule may still change a little) - Invited speakers announced: Zach Beane, Bodil Stokke, Martin Cracauer The purpose of the European Lisp Symposium is to provide a forum for the discussion and dissemination of all aspects of design, implementation and application of any of the Lisp and Lisp-inspired dialects, including Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP, Dylan, Clojure, ACL2, ECMAScript, Racket, SKILL, Hop and so on. We encourage everyone interested in Lisp to participate. The 8th European Lisp Symposium features 3 invited talks, one tutorial, 4 technical sessions and 2 lightning talks slots. The full programme is now available on the website: http://www.european-lisp-symposium.org/. Programme chair: Julian Padget, University of Bath, UK Local chair: Christophe Rhodes, Goldsmiths, University of London, UK Programme committee: Sacha Chua — Toronto, Canada Edmund Weitz — University of Applied Scicences, Hamburg, Germany Rainer Joswig — Hamburg, Germany Henry Lieberman — MIT, USA Matthew Flatt — University of Utah, USA Christian Queinnec — University Pierre et Marie Curie, Paris 6, France Giuseppe Attardi — University of Pisa, Italy Marc Feeley — University of Montreal, Canada Stephen Eglen — University of Cambridge, UK Robert Strandh — University of Bordeaux, France Nick Levine — RavenPack, Spain Search Keywords: #els2015, ELS 2015, ELS '15, European Lisp Symposium 2015, European Lisp Symposium '15, 8th ELS, 8th European Lisp Symposium, European Lisp Conference 2015, European Lisp Conference '15 -- My new Jazz CD entitled "Roots and Leaves" is out! Check it out: http://didierverna.com/records/roots-and-leaves.php Didier Verna <didier(a)elsaa.org> ELSAA, President

1 0