[plt-scheme] Reference for PLT-Scheme for paper

On Mon, Jul 20, 2009 at 6:14 PM, Matthias Felleisen<matthias at ccs.neu.edu> wrote:
>
> Paul? Peter? Penny? :-)
>
> This is indeed, a mistake. We should simply use et alii.
>
>

Problem is, afaik, the use of "et all" in bibtex doesn't depend on the
user but on the style the conference supports. Unless you write et
all, somehow directly on the bib. However, writing:
author = {Matthew Flatt et all},

makes the author: et all, M.F.

>
> On Jul 20, 2009, at 11:56 AM, Paulo J. Matos wrote:
>
>> On Sat, Jul 4, 2009 at 3:22 PM, Robby
>> Findler<robby at eecs.northwestern.edu> wrote:
>>>
>>> The journal followup to that is the right reference for DrScheme (just
>>> the PDE bit), but probably the best reference nowadays is probably one
>>> of these:
>>>
>>> http://www.plt-scheme.org/techreports/
>>>
>>
>> I have to say I find it a bit strange that if you use the posted bib:
>> @techreport{plt-tr2009-reference-v4.2,
>>  author = {Matthew Flatt and PLT Scheme},
>>  title = {Reference: {PLT} Scheme},
>>  number = {PLT-TR2009-reference-v4.2},
>>  type = {Reference Manual},
>>  institution = {PLT Scheme Inc.},
>>  month = {June},
>>  year = {2009},
>>  url = {http://download.plt-scheme.org/doc/4.2/pdf/reference.pdf},
>>  note = {\url{http://plt-scheme.org/techreports/}}
>> }
>>
>> you end up with a line:
>> Flatt, M., Scheme, P.: Reference: PLT scheme. Reference Manual PLT-TR2009-
>> reference-v4.2, PLT Scheme Inc. (June 2009)
>> http://plt-scheme.org/techreports/.
>>
>>
>> I looked at the line and wondered for several seconds who Scheme, P. is?
>>
>>> Robby
>>>
>>> On Sat, Jul 4, 2009 at 9:07 AM, Paulo J. Matos<pocmatos at gmail.com> wrote:
>>>>
>>>> Hi all,
>>>>
>>>> I am preparing a paper for ICFEM'09 regarding the implementation of an
>>>> explicit model checker for Event-B completely written in PLT Scheme.
>>>> What's the best reference for PLT-Scheme? It seems that the first
>>>> occurence of PLT-Scheme / DrScheme is:
>>>> http://dblp.uni-trier.de/rec/bibtex/conf/plilp/FindlerFFKF97
>>>>
>>>> but I am not so sure that this is the current best reference for the
>>>> PLT Scheme project.
>>>> Any suggestions?
>>>>
>>>> Cheers,
>>>>
>>>> --
>>>> Paulo Jorge Matos - pocmatos at gmail.com
>>>> http://www.pmatos.net
>>>> _________________________________________________
>>>>  For list-related administrative tasks:
>>>>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>>>>
>>>
>>
>>
>>
>> --
>> Paulo Jorge Matos - pocmatos at gmail.com
>> http://www.pmatos.net
>> _________________________________________________
>>  For list-related administrative tasks:
>>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>
>



-- 
Paulo Jorge Matos - pocmatos at gmail.com
http://www.pmatos.net