Fourth quarter 2007 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Wed Oct 3 09:15:33 EDT 2007
Ending: Sat Dec 29 17:36:43 EST 2007
Messages: 162

• [PRL] "spiel" session with J Moore @ 10:30   Matthias Felleisen
• [PRL] "Threads Considered Harmful" in the news   Greg Pettyjohn
• [PRL] ACL2 Workshop   Pete Manolios
• [PRL] an interview with Dijkstra   Dimitris Vardoulakis
• [PRL] ANN: Larceny v0.95 "First Safety"   William D Clinger
• [PRL] ANN: Larceny v0.95 "First Safety"   William D Clinger
• [PRL] ANN: Larceny v0.96 "Fluoridation"   William D Clinger
• [PRL] Another PL for spreadsheets   Paul A. Steckler
• [PRL] Another PL for spreadsheets   Mitchell Wand
• [PRL] Bourne Shell Server Pages   Mitchell Wand
• [PRL] Bourne Shell Server Pages   Shriram Krishnamurthi
• [PRL] Bourne Shell Server Pages   Peter Dillinger
• [PRL] Bourne Shell Server Pages   Peter Dillinger
• [PRL] Bourne Shell Server Pages   Shriram Krishnamurthi
• [PRL] Brinch Hansen   Dave Herman
• [PRL] Brownies in 308   Carl Eastlund
• [PRL] Chicken Chicken: Chicken Chicken Chicken (a scientific presentation)   Carl Eastlund
• [PRL] Code's Worst Enemy   Mitch
• [PRL] Code's Worst Enemy   Matthias Felleisen
• [PRL] Code's Worst Enemy   Riccardo Pucella
• [PRL] Code's Worst Enemy   William D Clinger
• [PRL] Code's Worst Enemy   Matthias Felleisen
• [PRL] Code's Worst Enemy   Mitchell Wand
• [PRL] Code's Worst Enemy   Peter Dillinger
• [PRL] Code's Worst Enemy   Matthias Felleisen
• [PRL] Code's Worst Enemy   William D Clinger
• [PRL] Code's Worst Enemy   Matthias Felleisen
• [PRL] Code's Worst Enemy   Matthias Felleisen
• [PRL] Code's Worst Enemy   William D Clinger
• [PRL] Code's Worst Enemy   Matthias Felleisen
• [PRL] Comments about today's roundtable   Richard Cobbe
• [PRL] Comments about today's roundtable   Matthias Felleisen
• [PRL] Computer science `education'   Joe Marshall
• [PRL] Computer science `education'   Peter Dillinger
• [PRL] Computer science `education'   John Clements
• [PRL] Computer science `education'   Carl Eastlund
• [PRL] Computer science `education'   Eli Barzilay
• [PRL] Computer science `education'   Joe Marshall
• [PRL] Computer science `education'   Joe Marshall
• [PRL] Computer science `education'   Sam TH
• [PRL] DB as a Web Service from Amazon: schema-less, and powered by Erlang   Mitchell Wand
• [PRL] Demeter Seminar on Structure-Shy Programming   Karl Lieberherr
• [PRL] Demeter Seminar on Structure-Shy Programming   Karl Lieberherr
• [PRL] Demeter Seminar on Structure-Shy Programming   Karl Lieberherr
• [PRL] DVD copying?   Mitchell Wand
• [PRL] DVD copying?   Dave Herman
• [PRL] Emacs 22 follies   Mitchell Wand
• [PRL] Excel 2007 Multiplication Bug   Dave Herman
• [PRL] F# hits the big time   Paul A. Steckler
• [PRL] Flexible Software by Favoring Implicit Calls over Explicit Calls   Karl Lieberherr
• [PRL] Fridge in room 308   Carl Eastlund
• [PRL] Fwd: 2009 ACL2 workshop dates   Carl Eastlund
• [PRL] Fwd: [Colloq] Talk on Monday, Nov. 26 - Professor Laszlo Barabasi   Mitchell Wand
• [PRL] Fwd: Call for NEPLS participation (Oct 18) -- schedule and new format   Pete Manolios
• [PRL] Fwd: CFP - DAMP 2008 - Declarative Aspects of Multicore Programming   Mitchell Wand
• [PRL] Fwd: Demeter Seminar on Structure-Shy Programming   Karl Lieberherr
• [PRL] Fwd: Demeter Seminar on Structure-Shy Programming   Bryan Chadwick
• [PRL] Fwd: Demeter Seminar on Structure-Shy Programming   Karl Lieberherr
• [PRL] Fwd: ES4 News and Opinion   Mitchell Wand
• [PRL] Fwd: Introducing F# Asynchronous Workflows   Mitchell Wand
• [PRL] Fwd: J Moore's visit   Matthias Felleisen
• [PRL] Fwd: Lambdacats   Mitchell Wand
• [PRL] Fwd: NAS-NRC Research Associate Fellowships   Matthias Felleisen
• [PRL] Fwd: PARC Internship opportunity -- info, application, flyer   Mitchell Wand
• [PRL] Fwd: Parrot and Multi-threading   Mitchell Wand
• [PRL] Fwd: possible visit   Mitchell Wand
• [PRL] Fwd: Posters/Board of Trustees   Mitchell Wand
• [PRL] Fwd: Seminars Digest, Vol 58, Issue 22   Mitchell Wand
• [PRL] Fwd: TP Msg. #824 Eleven Things You Could Start Doing Today for the Benefit of Your Students' Writing   Matthias Felleisen
• [PRL] Fwd: TP Msg. #824 Eleven Things You Could Start Doing Today for the Benefit of Your Students' Writing   Mitchell Wand
• [PRL] Fwd: TP Msg. #824 Eleven Things You Could Start Doing Today for the Benefit of Your Students' Writing   Riccardo Pucella
• [PRL] Guy Steele at PRL/ACM   Matthias Felleisen
• [PRL] Help need for Remedial Scheme Lab 11/6 and 11/13   Mitchell Wand
• [PRL] Help need for Remedial Scheme Lab 11/6 and 11/13   Dimitris Vardoulakis
• [PRL] How to know you know   Mitch
• [PRL] How to know you know   Greg Pettyjohn
• [PRL] How to know you know   William D Clinger
• [PRL] How to know you know   Mitchell Wand
• [PRL] How to know you know   Paul A. Steckler
• [PRL] How to know you know   Dave Herman
• [PRL] How to know you know   Vasileios Koutavas
• [PRL] How to know you know   Riccardo Pucella
• [PRL] How to know you know   Greg Pettyjohn
• [PRL] How to know you know   Dimitris Vardoulakis
• [PRL] In case you're in Sweden mid-December   Paul A. Steckler
• [PRL] J Moore's grad student spiel   Pete Manolios
• [PRL] J Moore's visit   Pete Manolios
• [PRL] Jim Waldo seminar at Harvard TODAY   Mitchell Wand
• [PRL] Job opportunity   Pete Manolios
• [PRL] join calculus papers   Vasileios Koutavas
• [PRL] Larceny by Scheme   Dave Herman
• [PRL] Larceny by Scheme   John Clements
• [PRL] Lecture 7 is out   Mitchell Wand
• [PRL] Lecture 7 is out   Dave Herman
• [PRL] Lecture 7 is out   Mitchell Wand
• [PRL] Mac OS X Leopard: Scheme Inside   Riccardo Pucella
• [PRL] many students still missing   Felix S Klock II
• [PRL] many students still missing   Matthias Felleisen
• [PRL] many students still missing   Peter Dillinger
• [PRL] Mitch   Matthias Felleisen
• [PRL] Multicore talk at MIT Th 11/8/07   Mitchell Wand
• [PRL] NEPLS tomorrow   Riccardo Pucella
• [PRL] NEPLS tomorrow   Daniel Brown
• [PRL] NEPLS VS. ACL2s   Christine Hang
• [PRL] New England Symposium on Formal Hardware Verification   Pete Manolios
• [PRL] New England Symposium on Formal Hardware Verification   Pete Manolios
• [PRL] No Demeter Seminar tomorrow   Karl Lieberherr
• [PRL] Pie!   David Fisher
• [PRL] possible visit   Mitchell Wand
• [PRL] Possibly interesting talk   Mitchell Wand
• [PRL] Practice talk(s) reminder (today @ noon, TOMORROW AT 9:00AM)   Carl Eastlund
• [PRL] Princeton lost the DARPA Grand Challenge because of a C# memory leak   Mitchell Wand
• [PRL] PRL Digest, Vol 57, Issue 3   Pete Manolios
• [PRL] Refactoring EOPL programs with DemeterF   Karl Lieberherr
• [PRL] Relevant History: Word spacing, silent reading, and cyborgs   Mitchell Wand
• [PRL] Richard Hamming "You and your research"   Dimitris Vardoulakis
• [PRL] Schedule for ACM talks   Mitchell Wand
• [PRL] scratch   Matthias Felleisen
• [PRL] scratch   Dave Herman
• [PRL] scratch   Mitchell Wand
• [PRL] scratch   Viera K. Proulx
• [PRL] Several interestings talks at MIT   Mitchell Wand
• [PRL] Talk: Greg Malewicz on MapReduce, Wednesday, Oct. 24, 10:30am   Mitchell Wand
• [PRL] Teaching Collaborative Revision   Mitchell Wand
• [PRL] The choice uncertainty principle   Riccardo Pucella
• [PRL] The choice uncertainty principle   William D Clinger
• [PRL] The Manticore Project | Lambda the Ultimate   Mitchell Wand
• [PRL] The Manticore Project | Lambda the Ultimate   Riccardo Pucella
• [PRL] the simplest universal turing machine   Dimitris Vardoulakis
• [PRL] the simplest universal turing machine   Carl Eastlund
• [PRL] the simplest universal turing machine   Paul A. Steckler
• [PRL] the simplest universal turing machine   Felix S Klock II
• [PRL] the simplest universal turing machine   Peter R. Douglass
• [PRL] the simplest universal turing machine   Carl Eastlund
• [PRL] the simplest universal turing machine   Dimitris Vardoulakis
• [PRL] Torture Chamber: Tomorrow (Friday), 2pm   Carl Eastlund
• [PRL] Torture Chamber: Tomorrow (Friday), 2pm   Carl Eastlund
• [PRL] Torture chambers tomorrow (Tuesday)   Carl Eastlund
• [PRL] Type question...   Bryan Chadwick
• [PRL] Type question...   Carl Eastlund
• [PRL] Type question...   Riccardo Pucella
• [PRL] Type question...   Sam TH
• [PRL] Type question...   Felix S Klock II
• [PRL] Type question...   Riccardo Pucella
• [PRL] Type question...   Mitchell Wand
• [PRL] Type question...   Felix S Klock II
• [PRL] Type question...   Mitchell Wand
• [PRL] Type question...   Matthias Felleisen
• [PRL] Type question...   Riccardo Pucella
• [PRL] Type question...   Mitchell Wand
• [PRL] Type question...   Matthias Felleisen
• [PRL] Type question...   Mitchell Wand
• [PRL] Type question...   Dave Herman
• [PRL] Type question...   Riccardo Pucella
• [PRL] Type question...   Matthias Felleisen
• [PRL] Type question...   Matthias Felleisen
• [PRL] webpages   Felix S Klock II
• [PRL] webpages   Matthias Felleisen
• [PRL] Where there's muck, there's brass   Mitch
• [PRL] Workshop on Decision Procedures for Verification   Pete Manolios
• [PRL] Yet another blog   Riccardo Pucella
• [PRL] Young chimp beats college students   Ahmed Abdelmeged

Last message date: Sat Dec 29 17:36:43 EST 2007
Archived on: Sat Dec 29 17:59:48 EST 2007

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...