http://blog.gmane.org/gmane.comp.lang.lightweight hourly 1 1901-01-01T00:00+00:00 http://gmane.org/img/gmane-25t.png http://gmane.org http://permalink.gmane.org/gmane.comp.lang.lightweight/4524 Heh, okay, I wrote my request too casually. There's no need for everyone to send a blank email to the list to verify it still works, merely, whenever you do send mail to the list, please use the same address you are subscribed with. :-) On 6/9/08, Matt Knox <matthewknox< at >gmail.com> wrote: Trevis Rothwell 2008-06-09T15:29:00 http://permalink.gmane.org/gmane.comp.lang.lightweight/4523 Matt Knox 2008-06-09T15:24:14 http://permalink.gmane.org/gmane.comp.lang.lightweight/4522 K Kelleher 2008-06-08T23:26:55 http://permalink.gmane.org/gmane.comp.lang.lightweight/4521 Hi all, The ll-discuss list has been almost entirely dormant for a couple of years, but with the recent flurry of activity, I humbly request that you please send mail to the list using the same email address that you are subscribed with. Otherwise, I need to rescue your message out of the potential-spam queue before it gets delivered to the list, which tends to delay your message from getting to the list for about 0 - 48 hours. Thanks! -- Trevis Rothwell ll-discuss administrator Trevis Rothwell 2008-06-08T21:38:52 http://permalink.gmane.org/gmane.comp.lang.lightweight/4512 Hi -- Video recordings of all talks given at the S3 Workshop on Self-sustaining Systems (held May 15-16 at the Hasso-Plattner-Institute in Potsdam, Germany) are available online via the tele-TASK system at http://www.swa.hpi.uni-potsdam.de/s3/program/. Best, Robert Robert Hirschfeld 2008-05-21T11:20:37 http://permalink.gmane.org/gmane.comp.lang.lightweight/4510 LAST CALL FOR PAPERS Second Workshop on Programming Languages for Mechanized Mathematics (PLMMS 2008) http://events.cs.bham.ac.uk/cicm08/workshops/plmms/ As part of CICM / Calculemus 2008 Birmingham, UK, 28-29 July 2008 This workshop is focused on the intersection of programming languages (PL) and mechanized mathematics systems (MMS). The latter category subsumes present-day computer algebra systems (CAS), interactive proof assistants (PA), and automated theorem provers (ATP), all heading towards fully integrated mechanized mathematical assistants that are expected to emerge eventually (cf. the objective of Calculemus). The two subjects of PL and MMS meet in the following topics, which are of particular interest to this workshop: * Dedicated input languages for MMS: covers all aspects of languages intended for the user to deploy or extend the system, both algorithmic and declarative ones. Typical examples are tactic definition languages such as Ltac in Coq, mathematical proof languages as in Mizar or Isar, or specialized programming languages built into CA systems. Of particular interest are the semantics of those languages, especially when current ones are untyped. * Mathematical modeling languages used for programming: covers the relation of logical descriptions vs. algorithmic content. For instance the logic of ACL2 extends a version of Lisp, that of Coq is close to Haskell, and some portions of HOL are similar to ML and Haskell, while Maple tries to do both simultaneously. Such mathematical languages offer rich specification capabilities, which are rarely available in regular programming languages. How can programming benefit from mathematical concepts, without limiting mathematics to the computational worldview? * Programming languages with mathematical specifications: covers advanced "mathematical" concepts in programming languages that improve the expressive power of functional specifications, type systems, module systems etc. Programming languages with dependent types are of particular interest here, as is intentionality vs extensionality. * Language elements for program verification: covers specific means built into a language to facilitate correctness proofs using MMS. For example, logical annotations within programs may be turned into verification conditions to be solved in a proof assistant eventually. How need MMS and PL to be improved to make this work conveniently and in a mathematically appealing way? These issues have a very colorful history. Many PL innovations first appeared in either CA or proof systems first, before migrating into more mainstream programming languages. Some examples include type inference, dependent types, generics, term-rewriting, first-class types, first-class expressions, first-class modules, code extraction etc. However, such innovations were never aggressively pursued by builders of MMS, but often reconstructed by programming language researchers. This workshop is an opportunity to present the latest innovations in MMS design that may be relevant to future programming languages, or conversely novel PL principles that improve upon implementation and deployment of MMS. We also want to critically examine what has worked, and what has not. Why are all the languages of mainstream CA systems untyped? Why are the (strongly typed) proof assistants so much harder to use than a typical CAS? What forms of polymorphism exist in mathematics? What forms of dependent types may be used in mathematical modeling? How can MMS regain the upper hand on issues of "genericity" and "modularity"? What are the biggest barriers to using a more mainstream language as a host language for a CAS or PA/ATP? Invited Talk ------------ Conor McBride (Alta Systems, Northern Ireland) will give an invited talk "Theorem Proving for the Lazy Programmer" Submission ---------- Submission works through EasyChair http://www.easychair.org/conferences/?conf=plmms2008 Two kinds of papers will be considered: * Full research papers may be up to 12 pages long. Authors of accepted papers are expected to present their work on the workshop in a regular talk. * Position papers may be up to 4 pages long. The workshop presentation of accepted position papers consists of two parts: a stimulating statement of certain issues or challenges by the author, followed by a discussion in the plenum. Papers should use the usual ENTCS style http://www.entcs.org/prelim.html (11 point version), and will be reviewed by the program committee. Informal workshop proceedings will be circulated as a technical report. Moreover there will be post-workshop proceedings of improved research papers, or position papers that have been completed into full papers, to appear in a special issue of the Journal of Automated Reasoning. There will be a separate submission and review phase for this, where papers from both PLMMS 2007 and 2008 will be considered. Programme Committee ------------------- Jacques Carette (Co-Chair) (McMaster University, Canada) John Harrison (Intel Corporation, USA) Hugo Herbelin (INRIA, Ecole polytechnique, France) James McKinna (Radboud University Nijmegen, Netherlands) Ulf Norell (Chalmers University, Sweden) Bill Page Christophe Raffalli (Universite de Savoie, France) Josef Urban (Charles University, Czech Republic) Stephen Watt (ORCCA, University of Western Ontario, Canada) Makarius Wenzel (Co-Chair) (Technische Universitaet Muenchen, Germany) Freek Wiedijk (Radboud University Nijmegen, Netherlands) Important Dates --------------- * Submission deadline - 5 May 2008 * Notification of acceptance - 6 June 2008 * Final version - 7 July 2008 (approximately) * Workshop - 28-29 July 2008 Jacques Carette 2008-04-23T19:53:25 http://permalink.gmane.org/gmane.comp.lang.lightweight/4509 A recording of Gilad Bracha's talk on "The Newspeak Programming Language" (Hasso-Plattner-Institute, Potsdam, March 11, 2008) is now online at http://www.tele-task.de/page50_lecture3490.html Best, Robert Robert Hirschfeld 2008-04-19T19:06:37 http://permalink.gmane.org/gmane.comp.lang.lightweight/4508 ---------------------------------------------------------------------- Call for Participation *** Workshop on Self-sustaining Systems (S3) 2008 *** May 15-16, 2008 Hasso-Plattner-Institut Potsdam, Germany http://www.swa.hpi.uni-potsdam.de/s3/ ---------------------------------------------------------------------- [ Important dates ] * Early registration: April 20, 2008 * S3 workshop: May 15-16, 2008 [ Program ] * 3 invited talks * 6 technical papers * http://www.swa.hpi.uni-potsdam.de/s3/program/ [ Invited speakers ] * Ian Piumarta (Viewpoints) * Dan Ingalls (Sun Labs) * Richard P. Gabriel (IBM Research) [ Registration ] * http://www.swa.hpi.uni-potsdam.de/s3/registration/ We hope to see you in Potsdam, Kim Rose and Robert Hirschfeld ---------------------------------------------------------------------- Robert Hirschfeld 2008-04-12T13:22:04 http://permalink.gmane.org/gmane.comp.lang.lightweight/4507 ************************************************************************ * * * 1st European Lisp Symposium (ELS 2008) * * * * http://prog.vub.ac.be/~pcostanza/els08 * * * * Bordeaux, France, May 22-23, 2008 * * LaBRI, Université Bordeaux 1 * * * ************************************************************************ News: We have published the list of accepted papers that will be presented at the 1st European Lisp Symposium (ELS 2008) in Bordeaux/France on May 23. We have papers about temporal reasoning, context-oriented programming, visual programming, object-relational mappings, clim presentation types, custom specializers for object-oriented lisp, binary methods programming in CLOS. See http://prog.vub.ac.be/~pcostanza/els08/page9/page9.html for the programme of the symposium. We have also provided information about Bordeaux and about the social events programme accompanying the symposium. There will be a cocktail party, a dinner, and an optional excursion to the atlantic coast. See http://prog.vub.ac.be/~pcostanza/els08/page7/page7.html for the information about Bordeaux, including how to reach Bordeaux by plane and by train. See http://prog.vub.ac.be/~pcostanza/els08/page8/page8.html for details about the social programme. Registration for the symposium and for the optional excursion is open! Please take advantage of the reduced registration fees before the early registration deadline, April 25, 2008. Registering early helps us in planning the details of the symposium better. The early registration fee is 50€ for students and 120€ for regular participants. See http://prog.vub.ac.be/~pcostanza/els08/page4/page4.html for the registration page. You have to take care of accommodation yourself. We have provided a list of recommended hotels. For some of them, accounts for symposium participants are available. See http://prog.vub.ac.be/~pcostanza/els08/page10/page10.html for the list of recommended hotels. Looking forward to seeing you in Bordeaux, Pascal Costanza Pascal Costanza 2008-04-09T10:26:03 http://permalink.gmane.org/gmane.comp.lang.lightweight/4506 Dear friends, I thought you that some of you might be interested in the monthly Boston Lisp Meeting I'm organizing. It will a hour long conference followed by a (hopefully sponsored) dinner, usually on the last Monday of every month at 6pm, probably at MIT or at ITA (both in Cambridge near Kendall Sq). The conference won't have to be about Lisp stricto sensu, but it probably will have to be about programming programming languages in general. See the call for speakers and participation below: http://fare.livejournal.com/120393.html Lacking a dedicated website for the moment, the URL for the event is: http://fare.livejournal.com/tag/boston,lisp,meetings I apologize for your receiving such an announcement more than once, and at the same time request that you forward this message to people you think might be interested and yet not have heard of it. If you know someone around Boston you'd like to hear at such a meeting, if you yourself have something to say, please contact boston-lisp-organizers< at >common-lisp.net. While I'm at it, I shall mention other related events that may be of interest: * The International Lisp Conference, ILC'09, next year at MIT. * The Google Summer of Code, for which LispNYC is registered as a mentoring organization, and is looking for students to intern this summer at writing free software Lisp code. [ François-René ÐVB Rideau | Reflection&Cybernethics | http://fare.tunes.org ] *EULA: By reading or responding to this message you agree that all my stated or unstated opinions are correct.* "EULA" -- patent pending. Faré 2008-03-20T02:37:21 http://permalink.gmane.org/gmane.comp.lang.lightweight/4505 Hi everybody, There is a new article about Context-oriented Programming in the Journal of Object Technology, and it can be viewed and downloaded athttp://www.jot.fm/issues/issue_2008_03/article4/ It discusses context-oriented extensions for Smalltalk, Common Lisp and Java, namely ContextS, ContextL and ContextJ, with new examples for all the presented languages. Here are links for more information and/or downloads for the discussed language extensions: - ContextS: http://www.swa.hpi.uni-potsdam.de/cop/ - ContextL: http://common-lisp.net/project/closer/contextl.html - ContextJ: http://prog.vub.ac.be/~pcostanza/contextj.html Please feel free to send feedback and suggestions. Best, Pascal Pascal Costanza 2008-03-13T11:35:02 http://permalink.gmane.org/gmane.comp.lang.lightweight/4504 Hi there, I'm in Amherst but intend to come out for the meetings. I'd be happy to talk, help organize, carry water or whatever. (and thanks for making the effort to keep the Lisp fire alive!) -- Gary Warren King, metabang.com Cell: (413) 559 8738 Fax: (206) 338-4052 gwkkwg on Skype * garethsan on AIM Gary King 2008-02-23T00:07:15 http://permalink.gmane.org/gmane.comp.lang.lightweight/4503 I'd like to organize a monthly Boston Lisp Meeting. http://fare.livejournal.com/120393.html Those amongst you who are in the Boston area, or may come by, are invited to participate or give a talk. I am also particularly looking for co-organizers, and potential speakers. If there are people you'd like to hear, please help me contact them. [ François-René ÐVB Rideau | Reflection&Cybernethics | http://fare.tunes.org ] Whatever says the law, it is only ever forbidden but to get caught. Faré 2008-02-22T22:46:38 http://permalink.gmane.org/gmane.comp.lang.lightweight/4502 Please note that the deadline for paper submissions to the Workshop on Self-sustaining Systems (S3) 2008 has been extended. The new submission deadline in now *** February 24, 2008 *** For more information on S3, please visit http://www.swa.hpi.uni-potsdam.de/s3/ Regards, Kim Rose and Robert Hirschfeld -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= [Call for Papers] *** Workshop on Self-sustaining Systems (S3) 2008 *** May 15-16, 2008 Potsdam, Germany http://www.swa.hpi.uni-potsdam.de/s3/ Robert Hirschfeld 2008-02-15T00:15:27 http://permalink.gmane.org/gmane.comp.lang.lightweight/4501 Hi, Please note that we have extended the submission deadline for original papers for the European Lisp Symposium 2008. The submission deadline is now February 25, 2008. Find more information about the European Lisp Symposium at http://prog.vub.ac.be/~pcostanza/els08/ Best, Pascal Pascal Costanza 2008-02-10T14:09:29 http://permalink.gmane.org/gmane.comp.lang.lightweight/4500 CALL FOR PAPERS *** Dynamic Languages Symposium (DLS) 2008 *** July 8, 2008 (Tuesday) Co-located with ECOOP 2008, Paphos, Cyprus Sponsored by ACM SIGPLAN http://www.swa.hpi.uni-potsdam.de/dls/dls08/ ------------------------------- IMPORTANT DATES ------------------------------- Submission deadline: April 25, 2008 (hard deadline) Author notification: May 23, 2008 Camera-ready copy due: June 6, 2008 DLS 2008: July 8, 2008 ------------------------------- ABOUT DLS ------------------------------- The Dynamic Languages Symposium (DLS) at ECOOP 2008 in Paphos, Cyprus, is a forum for discussion of dynamic languages, their implementation and application. While mature dynamic languages including Smalltalk, Lisp, Scheme, Self, Prolog, and APL continue to grow and inspire new converts, a new generation of dynamic scripting languages such as Python, Ruby, PHP, Tcl, and JavaScript are successful in a wide range of applications. DLS provides a place for researchers and practitioners to come together and share their knowledge, experience, and ideas for future research and development. DLS 2008 invites high quality papers reporting original research, innovative contributions or experience related to dynamic languages, their implementation and application. Accepted Papers will be published in the ACM Digital Library. ------------------------------- TOPICS OF INTEREST ------------------------------- Areas of interest include but are not limited to: - Innovative language features and implementation techniques - Development and platform support, tools - Interesting applications - Domain-oriented programming - Very late binding, dynamic composition, and runtime adaptation - Reflection and meta-programming - Software evolution - Language symbiosis and multi-paradigm languages - Dynamic optimization - Hardware support - Experience reports and case studies - Educational approaches and perspectives - Object-oriented, aspect-oriented, and context-oriented programming ------------------------------- SUBMISSION GUIDELINES ------------------------------- We invite original contributions that neither have been published previously nor are under review by other refereed events or publications. Research papers should describe work that advances the current state of the art. Experience papers should be of broad interest and should describe insights gained from substantive practical applications. The program committee will evaluate each contributed paper based on its relevance, significance, clarity, and originality. Papers are to be submitted electronically at http://www.swa.hpi.uni-potsdam.de/dls/dls08/ in PDF format. Submissions must not exceed 12 pages and need to use the ACM format, templates for which can be found at http://www.acm.org/sigs/pubs/proceed/template.html. ------------------------------- PROCEEDINGS ------------------------------- Accepted Papers will be published in the ACM Digital Library. ------------------------------- PROGRAM COMMITTEE ------------------------------- Chair: Johan Brichau (Université catholique de Louvain, Belgium) Joe Armstrong (Ericsson AB, Sweden) Pierre Cointe (École des Mines de Nantes, France) William R. Cook (University of Texas at Austin, USA) Pascal Costanza (Vrije Universiteit Brussel, Belgium) Wolfgang De Meuter (Vrije Universiteit Brussel, Belgium) Maja D'Hondt (IMEC, Belgium) Robert Hirschfeld (Hasso-Plattner Institüt, Germany) Roberto Ierusalimschy (PUC-Rio, Brazil) Andy Kellens (Vrije Universiteit Brussel, Belgium) Michele Lanza (University of Lugano, Switzerland) Michael Leuschel (University of Düsseldorf, Germany) Oscar Nierstrasz (University of Berne, Switzerland) Kent Pitman (PTC, USA) Lynne Shaw (CheckFree Investment Services, USA) David Ungar (Sun Microsystems, USA) Peter Van Roy (Université catholique de Louvain, Belgium) Martin von Löwis (Hasso-Plattner Institüt, Germany) Daniel Weinreb (ITA Software, USA) Robert Hirschfeld 2008-01-25T07:50:50 http://permalink.gmane.org/gmane.comp.lang.lightweight/4499 [Call for Papers] *** Workshop on Self-sustaining Systems (S3) 2008 *** May 15-16, 2008 Potsdam, Germany http://www.swa.hpi.uni-potsdam.de/s3/ Robert Hirschfeld 2008-01-21T20:11:18 http://permalink.gmane.org/gmane.comp.lang.lightweight/4498 [Call for Papers] *** Workshop on Self-sustaining Systems (S3) 2008 *** May 15-16, 2008 Potsdam, Germany http://www.swa.hpi.uni-potsdam.de/s3/ Robert Hirschfeld 2007-12-13T12:39:36 http://permalink.gmane.org/gmane.comp.lang.lightweight/4497 ****************************************************************************** * * * 1st European Lisp Symposium (ELS 2008) * * * * http://prog.vub.ac.be/~pcostanza/ els08 * * * * Bordeaux, France, May 22-23, 2008 * * LaBRI, Université Bordeaux 1 * * * ****************************************************************************** Important Dates: **************** * Submission of research papers: February 11, 2008 * Work-in-progress papers: March 24, 2008 * Author notification: April 7, 2008 * First final versions due: April 28, 2008 Accepted research papers will be invited for a special issue of the Journal of Universal Computer Science (J.UCS). See symposium website for more details. Scope: ****** The European Lisp Symposium 2008 invites high quality papers about novel research results, insights and lessons learned from practical applications, and educational perspectives, all involving Lisp dialects, including Common Lisp, Scheme, ISLISP, Dylan, and so on. Topics include, but are not limited to: * Language design and implementation techniques * Language integration, interoperation and deployment * Experience reports and case studies * Reflection and meta-level architectures * Educational approaches * Software adaptation and evolution * Configuration management * Artificial intelligence * Large and ultra-large-scale systems * Development methodologies * Development support and environments * Persistent systems * Scientific computing * Parallel and distributed computing * Data mining * Semantic web * Dynamic optimization * Innovative applications * Hardware and virtual machine support * Domain-oriented programming We also encourage submissions about past approaches that have been largely forgotten about, as long as they are presented in a new setting. We invite submissions in two categories: original contributions and work-in-progress papers. *** Original contributions have neither been published previously nor are under review by other refereed events or publications. Research papers should describe work that advances the current state of the art, or presents old results from a new perspective. Experience papers should be of broad interest and should describe insights gained from substantive practical applications. The program committee will evaluate each contributed paper based on its relevance, significance, clarity, and originality. Accepted papers will be published in the Journal of Universal Computer Science (J.UCS). Authors of accepted papers are expected to present their work at the symposium main track in Bordeaux on May 23, 2008. *** Work in progress describes ongoing work that is not ready for publication yet, but would benefit strongly from feedback by other researchers, practitioners and educators. Such contributions will not be published in the symposium proceedings, but will be made available at the symposium website. The work-in-progress track will be organized as a series of writers' workshops where authors work together to improve their papers. Some authors who submit papers for the main track will be suggested to contribute their work in this track instead, if the program committee decides that their submission is not yet ready for a publication. The writers' workshops will take place at the symposium in Bordeaux on May 22, 2008. Submissions: ************ Papers for the main track must be submitted electronically, preferably as PDF or PostScript file (level 1 or 2). However, submissions in RTF or Word format are also accepted. Initial submissions may not exceed 15 pages in the J.UCS style, including all appendices. (Invited papers for the journal publication will have a page limitation of 25 pages in the same format.) See the symposium website for more details, including about the submission procedure. Papers for the work-in-progress track may be in PDF, PostScript level 1 or 2, RTF or Word, and may not exceed 25 pages. There are no further requirements on their format. Papers for the work-in-progress track must be sent via email to pascal.costanza< at >vub.ac.be. Program Chair: ************** * Pascal Costanza, Vrije Universiteit Brussel, Belgium Program Committee: ****************** * Marco Antoniotti, Universita Milano Bicocca, Italy * Marie Beurton-Aimar, Université Bordeaux 1, France * Jerry Boetje, College of Charlston, USA * Theo D'Hondt, Vrije Universiteit Brussel, Belgium * Irène Durand, Université Bordeaux 1, France * Marc Feeley, Université de Montréal, Canada * Erick Gallesio, Universite de Nice / Sophia Antipolis, France * Rainer Joswig, Independent Consultant, Germany * António Leitão, Technical University of Lisbon, Portugal * Henry Lieberman, MIT, USA * Scott McKay, ITA Software, Inc., USA * Ralf Möller, Hamburg University of Technology, Germany * Nicolas Neuss, Universität Karlsruhe, Germany * Kent Pitman, PTC, USA * Christophe Rhodes, Goldsmiths College, University of London, United Kingdom * Jeffrey Mark Siskind, Purdue University, USA * Didier Verna, EPITA Research and Development Laboratory, France Pascal Costanza 2007-12-05T22:17:10 http://permalink.gmane.org/gmane.comp.lang.lightweight/4496 The earliest citation for something close to cps -- described informally -- took place at a post-talk discussion, recorded for posterity by the secretary of the conference (imagine such backwardness of using a conference to get feedback on a paper!). It is from around 1961 or 1962 and discusses tail-jumping behavior. Around 1967-1969, several different accounts popped up in a number of contexts: L. Morris, a Polish guy whose name escapes me, Hewitt's actor stuff suggests it, Reynolds. A couple of years later formal descriptions showed up: Fischer and Abdali and Plotkin. Eventually you saw it used in denotational semantics by Strachey and Wadsworth (full jumps). John Reynolds once said to me "it was in the air, everyone knew about it." Or "the real question was back then, who hadn't come up with the trick yet." Matthias Felleisen 2007-11-29T21:18:12 http://permalink.gmane.org/gmane.comp.lang.lightweight/4495 On 29 Nov 2007, at 22:00, Joe Marshall wrote: :-D Neelakantan Krishnaswami sent me the link to a paper about "The Discoveries of Continuations" at http://citeseer.ist.psu.edu/ 261425.html which also covers CPS, and the first one was actually van Wijngaarden in 1964, but apparently it was also independently discovered by others later on... Pascal Pascal Costanza 2007-11-29T21:08:49 Search the mailing list at Gmane query http://search.gmane.org/?group=$group=gmane.comp.lang.lightweight