http://permalink.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 th 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 ty 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 >com 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 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: 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