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

Automatic build of new commits and pull-requests
by Marc Feeley 18 Sep '14

18 Sep '14

Hello. I have setup the Gambit github repo so that on every new commit and pull-request the whole system will be built on travis-ci.com . The result of the latest build will be shown on the main github repo page. That way it will be easy to see if any issues are present. For a detailed view of the builds, check the page: https://travis-ci.org/feeley/gambit/builds Marc

1 0

[ANN] *Extended Deadline* CFP for 2014 Scheme and Functional Programming Workshop
by Jason Hemann 03 Sep '14

03 Sep '14

The paper submission deadline has been extended one week, to Friday, Sept. 12 23:59 (UTC-12). [Apologies for duplication from cross-postings.] NEW DEADLINE: 12 September 2014, 23:59 (UTC-12) WEBSITE: http://homes.soic.indiana.edu/jhemann/scheme-14/ LOCATION: Washington, DC (co-located with Clojure/conj) DATE: 19 November 2014 The 2014 Scheme and Functional Programming Workshop is calling for submissions. Submissions related to Scheme and functional programming are welcome and encouraged. Topics of interest include but are not limiteThe paper submission deadline has been extended one week, to Friday, Sept. 12 23:59 (UTC-12). [Apologies for duplication from cross-postings.] NEW DEADLINE: 12 September 2014, 23:59 (UTC-12) WEBSITE: http://homes.soic.indiana.edu/jhemann/scheme-14/ LOCATION: Washington, DC (co-located with Clojure/conj) DATE: 19 November 2014 The 2014 Scheme and Functional Programming Workshop is calling for submissions. Submissions related to Scheme 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, and 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 papers related to dynamic or multiparadigmatic languages and programming techniques. Full papers are due 12 September 2014. Authors will be notified by 10 October 2014. Camera-ready versions are due 24 October 2014. All deadlines are 23:59 (UTC-12, "Anywhere on Earth"). For more information, please see: http://homes.soic.indiana.edu/jhemann/scheme-14/ Jason Hemann Organizer, Scheme '14 d to: - Program-development environments, debugging, testing - Implementation (interpreters, compilers, tools, benchmarks, etc) - Syntax, macros, and 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 papers related to dynamic or multiparadigmatic languages and programming techniques. Full papers are due 12 September 2014. Authors will be notified by 10 October 2014. Camera-ready versions are due 24 October 2014. All deadlines are 23:59 (UTC-12, "Anywhere on Earth"). For more information, please see: http://homes.soic.indiana.edu/jhemann/scheme-14/ Jason Hemann Organizer, Scheme '14

1 0

Flat Namespace on OSX/iOS
by Álvaro Castro-Castilla 02 Sep '14

02 Sep '14

Hi, As can be seen in makefiles, the options -flat_namespace and -undefined suppress are forced in the build. Apparently, these options cause some trouble in certain situations (see this https://lists.macosforge.org/pipermail/macports-dev/2008-October/006266.html ) Do we need these options in the Gambit build or should we thing about removing them? Best regards, Álvaro

1 0

Third call for papers, IFL 2014
by publicityifl＠gmail.com 02 Sep '14

02 Sep '14

Hello, Please, find below the third call for papers for IFL 2014. The submission page is now open. The submission date has been delayed to Sep. 8 2014 anywhere on the world. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage --- CALL FOR PAPERS 26th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - IFL 2014 NORTHEASTERN UNIVERSITY/BOSTON, USA OCTOBER 1-3, 2014 http://ifl2014.github.io We are pleased to announce that the 26th edition of the IFL series will be held at Northeastern University in Boston, USA. The symposium will be held from 1st to 3rd of October 2014. Scope ----- The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2014 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming. Following the IFL tradition, IFL 2014 will use a post-symposium review process to produce the formal proceedings. All participants of IFL 2014 are invited to submit either a draft paper or an extended abstract describing work to be presented at the symposium. At no time may work submitted to IFL be simultaneously submitted to other venues; submissions must adhere to ACM SIGPLAN's republication policy: http://www.sigplan.org/Resources/Policies/Republication The submissions will be screened by the program committee chair to make sure they are within the scope of IFL, and will appear in the draft proceedings distributed at the symposium. Submissions appearing in the draft proceedings are not peer-reviewed publications. Hence, publications that appear only in the draft proceedings do not count as publication for the ACM SIGPLAN republication policy. After the symposium, authors will be given the opportunity to incorporate the feedback from discussions at the symposium and will be invited to submit a revised full article for the formal review process. From the revised submissions, the program committee will select papers for the formal proceedings considering their correctness, novelty, originality, relevance, significance, and clarity. Submission Details ------------------ Submission deadline draft papers: September 8 Notification of acceptance for presentation: September 10 Early registration deadline: September 11 Late registration deadline: September 17 Submission deadline for pre-symposium proceedings: September 24 26th IFL Symposium: October 1-3 Submission deadline for post-symposium proceedings: December 15 Notification of acceptance for post-symposium proceedings: January 31 2015 Camera-ready version for post-symposium proceedings: March 15 2015 Prospective authors are encouraged to submit papers or extended abstracts to be published in the draft proceedings and to present them at the symposium. All contributions must be written in English. Papers must adhere to the standard ACM two columns conference format. For the pre-symposium proceedings we adopt a 'weak' page limit of 12 pages. For the post-symposium proceedings the page limit of 12 pages is firm. A suitable document template for LaTeX can be found at: http://www.acm.org/sigs/sigplan/authorInformation.htm Papers should be submitted online at https://easychair.org/conferences/?conf=ifl2014 Topics ------ IFL welcomes submissions describing practical and theoretical work as well as submissions describing applications and tools in the context of functional programming. If you are not sure whether your work is appropriate for IFL 2014, please contact the PC chair at samth(a)cs.indiana.edu. Topics of interest include, but are not limited to: • language concepts • type systems, type checking, type inferencing • compilation techniques • staged compilation • run-time function specialization • run-time code generation • partial evaluation • (abstract) interpretation • metaprogramming • generic programming • automatic program generation • array processing • concurrent/parallel programming • concurrent/parallel program execution • embedded systems • web applications • (embedded) domain specific languages • security • novel memory management techniques • run-time profiling performance measurements • debugging and tracing • virtual/abstract machine architectures • validation, verification of functional programs • tools and programming techniques • (industrial) applications Peter Landin Prize ------------------ The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honoured article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros. Programme committee ------------------- Sam Tobin-Hochstadt, Indiana University (Chair) Rinus Plasmeijer, Radboud University Nijmegen (Co-Chair) Atze Dijkstra, Utrecht University Colin Runciman, University of York Graham Hutton, University of Nottingham Mary Sheeran, Chalmers University of Technology Patricia Johann, Appalachian State University Matthew Fluet, Rochester Institute of Technology Josef Svenningsson, Chalmers University of Technology Małgorzata Biernacka, University of Wroclaw Peter Achten, Radboud Univerity Nijmegen Laura Castro, University of A Coruña Hai Paul Liu, Intel Labs Kathryn Gray, Cambridge University Lars Bergstrom, Mozilla Research Lindsey Kuper, Indiana University Nicolas Wu, Oxford T. Stephen Strickland, University of Maryland Xavier Clerc, INRIA Venue ----- The 26th IFL will be held in association with the College of Computer and Information Science at Northeastern University. It can be reached quickly and easily by public transport.

1 0

Gambit and event-based systems
by Álvaro Castro-Castilla 08 Aoû '14

08 Aoû '14

Hi, Specially in the mobile world, there are many platforms that force the developer to think and code its applications around events. Sometimes this is done with virtual functions or interface implementation, overriding methods, or plain C-style callbacks. The problem is, in any of these cases, generally the main loop is controlled by the application. Since Gambit runs within the ___setup(params) function, and then quits (expecting ___cleanup() to be called), there is no way to easily adapt to this architecture except for running in a separate thread and communicating through messages or shared data. Is there a better way to do this? Best regards, Álvaro Castro-Castilla Digital Experiences. -- visit The Blog <http://blog.fourthbit.com/> <http://fourthbit.com>

4 14

ICFP 2014 Final Call for Participation
by David Van Horn 01 Aoû '14

01 Aoû '14

[ Early registration ends 3 Aug; Invited speakers and conference program have been announced. ] ===================================================================== Final Call for Participation ICFP 2014 19th ACM SIGPLAN International Conference on Functional Programming and affiliated events August 31 - September 6, 2014 Gothenburg, Swedenhttp://icfpconference.org/icfp2014/ ===================================================================== ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries. A full week dedicated to functional programming: 1 conference, 1 symposium, 10 workshops, tutorials, programming contest results, student research competition * Program: http://icfpconference.org/icfp2014/program.html * Accepted Papers: http://icfpconference.org/icfp2014/accepted.html * Local arrangements (including travel and accommodation): http://icfpconference.org/icfp2014/local.html * Registration is available via: https://regmaster4.com/2014conf/ICFP14/register.php Early registration is due 3 August, 2014. * Programming contest, 25-28 July, 2014: http://icfpcontest.org/ * Follow @icfp_conference on twitter for the latest news: http://twitter.com/#!/icfp_conference Keynote speakers: * Kathleen Fisher (Tufts University): Using Formal Methods to Enable More Secure Vehicles: DARPA's HACMS Program * Robert Bruce Findler (Northwestern University): Behavioral Software Contracts * Stephanie Weirich (University of Pennsylvania): Depending on Types There are several events affiliated with ICFP: Sunday, August 31 ACM SIGPLAN Workshop on Generic Programming ACM SIGPLAN Workshop on Higher-order Programming with Effects Monday, September 1 – Wednesday, September 3 ICFP Thursday, September 4 ACM SIGPLAN Commercial Users of Functional Programming: Day 1, Tutorials ACM SIGPLAN Haskell Symposium: Day 1 ACM SIGPLAN Workshop on Functional High-Performance Computing ACM SIGPLAN ML Family Workshop Friday, September 5 ACM SIGPLAN Commercial Users of Functional Programming: Day 2, Tutorials ACM SIGPLAN Haskell Symposium: Day 2 ACM SIGPLAN OCaml Workshop ACM SIGPLAN Erlang Workshop Saturday, September 6 ACM SIGPLAN Commercial Users of Functional Programming: Day 3, Talks ACM SIGPLAN Haskell Implementors Workshop ACM SIGPLAN Workshop on Functional Art, Music, Modeling and Design Conference Organizers General Chair: Johan Jeuring, Utrecht University Program Chair: Manuel Chakravarty, University of New South Wales Local Arrangements Chair: Björn von Sydow, Chalmers University Industrial Relations Chair: Anil Madhavapeddy, University of Cambridge Workshop Co-Chairs: Tom Schrijvers, Ghent University Sam Tobin-Hochstadt, Indiana University Programming Contest Co-Chairs: Duncan Coutts, Well Typed LLP Nicolas Wu, University of Oxford Student Research Competition Chair: Meng Wang, Chalmers University Publicity Chair: David Van Horn, University of Maryland Video Chair: Iavor Diatchki, Galois Malcolm Wallace, Standard Chartered Bank Industrial partners: Platinum partners Jane Street Capital Gold partners Google Microsoft Research Mozilla Oracle Labs Standard Chartered Bank Silver partners Bloomberg Credit Suisse CyberPoint Erlang Solutions Facebook Galois Klarna Lexifi Twitter Bronze partners Alephcloud IntelliFactory Opera Software QuviQ Systeor Vest AS =====================================================================

1 0

LOPSTR 2014: Call for Participation
by Maurizio Proietti 24 Jul '14

24 Jul '14

===================== CALL FOR PARTICIPATION ============================= 24th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2014 http://www.iasi.cnr.it/events/lopstr14/ University of Kent, Canterbury, UK, September 9-11, 2014 Co-located with the 16th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2014) ========================================================================== Early registration by August 8, 2014 http://www.cs.kent.ac.uk/events/2014/ppdp-lopstr-14/registration.html Invited Speakers: Roberto Giacobazzi (University of Verona, Italy) "Obscuring Code -- Unveiling and Veiling Information in Programs" Viktor Kuncak (EPFL, Switzerland) Title to be announced Accepted papers - Nikita Danilenko Functional Kleene Closures - Amer Tahat and Ali Ebnenasir A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols - German Vidal Concolic Execution and Test-Case Generation in Prolog - Henning Christiansen and Maja Kirkeby Confluence Modulo Equivalence in Constraint Handling Rules - Remis Balaniuk Drill & Join: A method for inductive program synthesis - Minoru Kinoshita, Kohei Suenaga and Atsushi Igarashi Automatic Synthesis of Combiners in the MapReduce Framework - An Approach with Right Inverse - Daniel De Schreye, Vincent Nys and Colin Nicholson Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction - Daniel Gall and Thom Frühwirth A Formal Semantics for the Cognitive Architecture ACT-R - J. Robert M. Cornish, Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard and Peter J. Stuckey Analyzing array manipulating programs by program transformation - Nada Sharaf, Slim Abdennadher and Thom Frühwirth A Visualization Tool for Constraint Handling Rules - Salvador Lucas, Jose Meseguer and Raúl Gutiérrez Extending the 2D DP Framework for CTRSs - Ahmed Nagah, Amira Zaki and Slim Abdennadher Exhaustive Execution of CHR through Source-to-Source Transformation - Sandra Alves, Anatoli Degtyarev and Maribel Fernandez Access control and obligations in the category-based metamodel: A rewrite-based semantics - James Lipton, Emilio Jesús Gallego Arias and Julio Mariño A Declarative Compilation of Constraint Logic Programming - Jose F. Morales and Manuel V. Hermenegildo Pre-indexed Terms for Prolog - Norbert Preining, Kokichi Futatsugi and Kazuhiro Ogata Liveness properties in CafeOBJ - a case study for meta-level specifications - Wlodzimierz Drabent On completeness of logic programs - Ranjeet Singh and Andy King Partial Evaluation for Java Malware Detection - Raul Gutierrez and Salvador Lucas Below Frozen Positions - Md Solimul Chowdhury, Jia-Huai You, Wu Chen, Arash Karimi and Fangfang Liu Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies ============================================================================= Program Co-Chairs: Maurizio Proietti, IASI-CNR, Italy (maurizio.proietti(a)iasi.cnr.it) Hirohisa Seki, Nagoya Institute of Technology, Japan (seki(a)nitech.ac.jp ) Symposium Co-Chairs: Olaf Chitil and Andy King School of Computing, University of Kent, UK ({O.Chitil,A.M.King}(a)kent.ac.uk) Organizing Committee: Emanuele De Angelis, University of Chieti-Pescara and IASI-CNR, Italy Fabrizio Smith, IASI-CNR, Italy

1 0

[ANN] Gambit-C v4.7.3 released
by gambit＠iro.umontreal.ca 23 Jul '14

23 Jul '14

1 0

ICFP Programming Contest 2014
by Nicolas Wu 23 Jul '14

23 Jul '14

===================================================================== Call for Participation The 17th ICFP Programming Contest http://www.icfpcontest.org Friday 25 July 2014 at 12:00 UTC ===================================================================== The ICFP Programming Contest 2014 is starting at the end of this week! It's nearly time to roll up your sleeves, and gain fame and glory for your programming language of choice: prepare for sleepless nights and hours of fun! The full details of the contest specification will appear on the contest website at http://www.icfpcontest.org on Friday 25 July 2014 at 12:00 UTC. No registration is required: just roll up and have some fun! For more announcements, stay tuned on our twitter feed at: https://twitter.com/icfpcontest2014 Good luck to all participants, Nicolas Wu

1 0

Modifying
by Bradley Lucier 22 Jul '14

22 Jul '14

Marc: I'd like to modify ##wr-structure in _io.scm to write Meroon objects. Conceptually, writing a structure and writing a meroon object are very similar, but ##wr-structure seems to assume a lot of low-level detail about how structures are laid out, etc. What do you think needs to be changed to achieve writing Meroon objects the same way as structures? Brad

1 0