2008 Archives by thread

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

Starting: Tue Jan 1 22:29:54 MEST 2008
Ending: Mon Dec 29 15:02:56 MEST 2008
Messages: 394

• [clean-list] 2nd CfP -- ESSLLI 2008 Student Session   Kata Balogh
• [clean-list] understanding of leftmost innermost and rightmost innermost   Jigang Sun
• [clean-list] Serious bug in the type system   Edsko de Vries
  • [clean-list] Serious bug in the type system   John van Groningen
    • [clean-list] Serious bug in the type system   Edsko de Vries
      • [clean-list] Serious bug in the type system   John van Groningen
• [clean-list] ICLP'08 CALL FOR PAPERS   ICLP 08
• [clean-list] WADT 2008 - Call for Papers   Andrea Corradini
• [clean-list] DL2008 Second Call for Papers   Carsten Lutz
• [clean-list] in search of mac osx version   David Minor
  • [clean-list] in search of mac osx version   Philip Matthews
    • [clean-list] in search of mac osx version   佐原 伸
• [clean-list] A-MOST 2nd CfP - Extended Deadline - Special Issue   Lars Frantzen
• [clean-list] Re: clean-list Digest, Vol 38, Issue 4   Carlos Aya
• [clean-list] Interpreter for Research Purposes   TK
• [clean-list] RTA'08: Call For Papers   Ashish Tiwari
• [clean-list] QAPL 2008 Call for Presentations   QAPL 2008
• [clean-list] comments are welcome   Jigang Sun
• [clean-list] ISMM 2008: Call for papers deadline extended   R.E.Jones
• [clean-list] ISMM 2008: Call for papers deadline extended (CORRECTED)   R.E.Jones
• [clean-list] CORCS 2008: Call for Papers   Alexandre David
  • [clean-list] CORCS 2008: 2nd Call for Papers (extended deadline!)   Cristina Seceleanu
  • [clean-list] CORCS 2008: Call for Papers - extended deadline   Alexandre David
• [clean-list] ICFP2008 Call for Papers   Matthew Fluet (ICFP Publicity Chair)
• [clean-list] CFP for Erlang Workshop 2008 (ICFP)   HORVATH Zoltan
• [clean-list] SETP-08 Final call for papers   John Edward
• [clean-list] [plt-scheme] POPL 2009 Call for Workshop and Co-located Event Proposals   Yitzhak Mandelbaum
• [clean-list] Erice School on "Graph Theory, Algorithms and Applications"   Giuseppe F. Italiano
• [clean-list] IJCAR, last Call for Papers   geoff at cs.miami.edu
• [clean-list] Second Call for Papers TFP 2008, The Netherlands   Peter Achten
• [clean-list] Rebranding Clean   alex
  • [clean-list] Rebranding Clean   Peter Hercek
  • [clean-list] Rebranding Clean   Pieter Koopman
    • [clean-list] Rebranding Clean   alex
      • [clean-list] Rebranding Clean   Benjamin L. Russell
      • [clean-list] Rebranding Clean   zuurb078 at planet.nl
      • [clean-list] Rebranding Clean   Benjamin L. Russell
• [clean-list] 1st call for participation AFP 2008, The Netherlands   Peter Achten
• [clean-list] ICANN 2008: 2nd Call for Papers, Deadline is March 3, 2008   ICANN 2008
• [clean-list] CFP: 5th Workshop on Model Checking and AI   Doron Peled
• [clean-list] Draft paper submission deadline is extended: SETP-08   John Edward
• [clean-list] Rebranding Clean   Carlos Aya
• [clean-list] AITA08 CALL FOR PARTICIPATION   aita08 at krlab.cs.ttu.edu
• [clean-list] Rebranding Clean   Benjamin L. Russell
  • [clean-list] Rebranding Clean   Peter Hercek
• [clean-list] PPDP'08: Call for Papers   Elvira Albert
• [clean-list] New names for Clean..   Philippos Apolinarius
• [clean-list] Rebranding Clean   Benjamin L. Russell
  • [clean-list] Rebranding Clean   Philippos Apolinarius
• [clean-list] Re: Rebranding Clean   Carlos Aya
  • [clean-list] Re: Rebranding Clean   Richard A. O'Keefe
    • [clean-list] Re: Rebranding Clean   jerzy.karczmarczuk at info.unicaen.fr
  • [clean-list] Re: Rebranding Clean   rinus plasmeijer
• Res: [clean-list] Rebranding Clean   Alexsandro Soares
• [clean-list] SETP-08 Draft paper submission is deadline is just few days from now   John Edward
• [clean-list] Re: Rebranding Clean   Carlos Aya
• [clean-list] CFP: DTVCS 2008   Ka Lok Man
• [clean-list] PhD Studentships at Kent   A.M.King
• [clean-list] GPCE'08 First Call For Papers   Emir Pasalic
• [clean-list] Re: stupid question   TK
• [clean-list] PAuL 2008 Call for Papers   PAuL 2008
• [clean-list] CfP: TTSS'08 - Harnessing Theories for Tool Support in Software   Volker Stolz
• [clean-list] imprecise exceptions?   Janis Voigtlaender
  • [clean-list] imprecise exceptions?   John van Groningen
• [clean-list] Clean Wiki online   Bas Lijnse
  • [clean-list] Clean Wiki online   Benjamin L. Russell
    • [clean-list] Clean Wiki online   Bas Lijnse
• [clean-list] Third Call For Papers TFP 2008, The Netherlands (deadline extended march 10 2008)   Peter Achten
• [clean-list] 2nd call for participation AFP 2008, The Netherlands   Peter Achten
• [clean-list] Clean Wiki online (Bas Lijnse)   Carlos Aya
• [clean-list] CFP: DATICS 2008 - Design, Analysis and Tools for Integrated Circuits and Systems   SS DATICS
• [clean-list] ICFP08 Final CFP   Matthew Fluet (ICFP Publicity Chair)
• [clean-list] ICLP'08 CALL FOR PAPERS   ICLP 08
• [clean-list] Russell'08, final call, extended deadline   Ulrich Berger
• [clean-list] Summer School Announcement   Bertram Fronhöfer
• [clean-list] LaSh08 Call for Papers   Marc Denecker
• [clean-list] Updated Call for Papers: KR 2008   Tommie Meyer
• [clean-list] Call for CAV 08 Workshop Submissions   Aarti Gupta
• [clean-list] Special issue of the Journal of Symbolic Computation on "Automated Deduction: Decidability, Complexity, Tractability''   Viorica Sofronie-Stokkermans
• [clean-list] [DSD08] DSD08 - Paper Submission Deadline extended to March 17th, 2008   Luca Fanucci
• [clean-list] PLID'08: 1st Call for Contributions   Samir Genaim
• [clean-list] PPDP 2008 - 2nd Call for Papers   Elvira Albert
• [clean-list] 3rd International Compulog/ALP Summer School on Logic Programming and Computational Logic   announce at krlab.cs.ttu.edu
• [clean-list] WADT 2008 - Second Call for Papers   Andrea Corradini
• [clean-list] CFP: ICCL Summer School 2008 in COMPUTATIONAL LOGIC AND COGNITIVE SCIENCE   Luis Moniz Pereira
• [clean-list] EASSS'08 - European Agent Systems Summer School - Registration is Open   EASSS'08
• [clean-list] S-Hack 2008: Workshop on S-Net and SaC   Stephan Herhut
• [clean-list] FMCAD 2008 Call For Papers   Lee Pike
• [clean-list] newbie questions   HP Wei
  • [clean-list] newbie questions   Thomas van Noort
  • [clean-list] how-to questions   HP Wei
    • [clean-list] how-to questions   Bas Lijnse
• [clean-list] PPDP'08: Last Call for Papers   Elvira Albert
• [clean-list] PAuL 2008 2nd Call for Papers   PAuL 2008
• [clean-list] ICLP'08 CALL FOR WORKSHOP PROPOSALS *** CALL FOR WORKSHOP PROPOSALS ***   ICLP 08
• [clean-list] 3rd International Compulog/ALP Summer School on Logic Programming and C   announce at krlab.cs.ttu.edu
• [clean-list] (EC)^2: Final Call for Papers   EC2
• [clean-list] WADT 2008 - Final Call for Papers   Andrea Corradini
• [clean-list] ICLP'08 CALL FOR PAPERS   ICLP 08
• [clean-list] LPAR 2008 (Qatar) CFP   Geoff Sutcliffe
• [clean-list] DEFUN08: Call for Talks & Tutorials (co-located w/ ICFP08)   Matthew Fluet (ICFP Publicity Chair)
• [clean-list] WRS 2008 - 2nd CFP   aart.middeldorp at uibk.ac.at
• [clean-list] PhD or PostDoc opening in Dresden, Germany   Janis Voigtlaender
• [clean-list] First Call for Participation TFP 2008, The Netherlands (correct early registration date)   Peter Achten
• [clean-list] Third Call for Participation AFP 2008 (correct date early registration)   Peter Achten
• [clean-list] in search of mac osx version   Yi, Philip
  • [clean-list] in search of mac osx version   Thomas van Noort
• [clean-list] [MPC'08] First call for participation   MPC'08 Organizers
• [clean-list] WADT 2008 - Last Call for Papers [deadline extension]   Andrea Corradini
• [clean-list] PhD Studentship in Nancy (France)   Claire Gardent
• [clean-list] CFP: IWACO 2008   David.Clarke at cwi.nl
• [clean-list] Building Clean 2.2 on PS3   Michael Hogan
  • [clean-list] Fwd: Building Clean 2.2 on PS3   Michael Hogan
    • [clean-list] Fwd: Building Clean 2.2 on PS3   John van Groningen
• [clean-list] clean on mac osx and linux   ferriswheel
  • [clean-list] clean on mac osx and linux   Philip Matthews
• [clean-list] CFP: Asian Symposium on Programming Languages and Systems (APLAS 2008)   Ganesan Ramalingam
• [clean-list] ISMM 2008 Call for participation   R.E.Jones
• [clean-list] (no subject)   Samir Genaim
• [clean-list] PLID'08 - 2nd Call for Contributions   Samir Genaim
• [clean-list] PAuL 2008 CfP Deadline Extension   PAuL 2008
• [clean-list] Second Call for Participation TFP 2008, The Netherlands   Peter Achten
• [clean-list] Early Registration Deadline: 1 May 2008. ESSLLI 2008, Hamburg (Germany), 4-15 August 2008 (fwd)   ESSLLI 2008
• [clean-list] Haskell08: Call for papers (co-located w/ ICFP08)   Matthew Fluet (ICFP Publicity Chair)
• [clean-list] SNSC'08: Final SFB F013 Conference   SNSC 2008
• [clean-list] Update head of the list in-place?   Edsko de Vries
  • [clean-list] Update head of the list in-place?   John van Groningen
    • [clean-list] Update head of the list in-place?   Edsko de Vries
      • [clean-list] Update head of the list in-place?   John van Groningen
      • [clean-list] Update head of the list in-place?   Edsko de Vries
• [clean-list] clean-mode in emacs ?   HP Wei
  • [clean-list] clean-mode in emacs ?   Benjamin L. Russell
    • [clean-list] clean-mode in emacs ?   lethevert
• [clean-list] Termination of console programs under Windows   Norbert Zeh
  • [clean-list] Termination of console programs under Windows   lethevert
  • [clean-list] Termination of console programs under Windows   John van Groningen
    • [clean-list] Termination of console programs under Windows   Norbert Zeh
      • [clean-list] Termination of console programs under Windows   John van Groningen
• [clean-list] FMCAD 2008: FINAL Call for Papers   Lee Pike
• [clean-list] clean-mode in emacs ?   HP Wei
  • [clean-list] clean-mode in emacs ?   Bas Lijnse
  • [clean-list] term reading and writing   HP Wei
    • [clean-list] term reading and writing   Thomas van Noort
      • [clean-list] where to look for module-functions --- Re: term reading and writing   HP Wei
      • [clean-list] Re: where to look for module-functions --- Re: term reading and writing   Thomas van Noort
  • [clean-list] clean-mode in emacs ?   Benjamin L. Russell
• [clean-list] CfP: 2008 Scheme workshop   William D Clinger
• [clean-list] IJCAR Calls and Awards   Geoff Sutcliffe
• [clean-list] Automated Reasoning in Mathematics   Geoff Sutcliffe
• [clean-list] Updating unique structures in unique structures in unique structures   Norbert Zeh
  • [clean-list] Updating unique structures in unique structures in unique structures   John van Groningen
    • [clean-list] Updating unique structures in unique structures in unique structures   Norbert Zeh
• [clean-list] Parser, why three type variables   Carlos Aya
  • [clean-list] Parser, why three type variables   Erik Zuurbier
    • [clean-list] Parser, why three type variables   Pieter Koopman
      • [clean-list] Parser, why three type variables   zuurb078 at planet.nl
• [clean-list] GPCE'08: Final Call for Papers   Emir Pasalic
• [clean-list] ICLP'08 CALL FOR PAPERS   ICLP 08
• [clean-list] Parser, why three type variables   Carlos Aya
• [clean-list] CFP: 2008 International Conference on Computational Intelligence for Modelling, Control and Automation - CIMCA'08   cimca
  • [clean-list] CFP: 2008 International Conference on Computational Intelligence for Modelling, Control and Automation - CIMCA'08   Masoud.Mohammadian
• [clean-list] Workshop on Generic Programming: Call for Papers (co-located w/ ICFP08)   Matthew Fluet (ICFP Publicity Chair)
• [clean-list] why it doesn't work ... ?   Carlos Aya
• [clean-list] ICLP'08 CALL FOR APPLICATION PAPERS   ICLP 08
• [clean-list] Call for Participation -- CAV 2008   Aarti Gupta
• [clean-list] FMCAD 2008 CFP Deadline Extension! (May 19th)   Lee Pike
• (again) [clean-list] why it doesn't work ... ?   Carlos Aya
• [clean-list] Re: why it doesn't work ... ?   Carlos Aya
• [clean-list] ISMM 2008 Early registration closes 14 May   R.E.Jones
• [clean-list] CfP: IJCAR08 Workshop --- Combining Systems for Efficient and Scalable Reasoning   Dieter Hutter
• [clean-list] CFP SBMF 2008   Patricia Duarte de L Machado / Prof. DSC
• [clean-list] Call for Papers: FLOSS-FM & OpenCert 2008 Joint Workshop   Ralf Treinen
• [clean-list] Postdoc position in NL Generation, Nancy, France   Claire Gardent
• [clean-list] ICSSEA 2008 International Conference: Software & Systems Engineering an their Applications   Jean Claude Rault
• [clean-list] ECOOP 2008 Call for Participation   David.Clarke at cwi.nl
• [clean-list] KROW@KR2008: Final Call for Papers   Tommie Meyer
• [clean-list] LPAR Call for Papers   Geoff Sutcliffe
• [clean-list] CAV 08 CFP: Early Registration to CLOSE on May 27   Aarti Gupta
• [clean-list] EUROPEAN MASTERS PROGRAM IN COMPUTATIONAL LOGIC   Bertram Fronhöfer
• [clean-list] MSFP 2008: call for participation   Conor McBride
• [clean-list] ICLP'08 CALL FOR WORKSHOP PROPOSALS   ICLP 08
• [clean-list] PLID'08 - Last Call for Contributions   Samir Genaim
• [clean-list] ICLP'08 CALL FOR PAPERS   ICLP 08
• [clean-list] CFP: ACM SAC 09 Software Verification and Testing   Tamara.Rezk at sophia.inria.fr
• [clean-list] LPAR submission deadline extended   Geoff Sutcliffe
• [clean-list] PPDP'08: Call for Participation   Elvira Albert
• [clean-list] SOFSEM'09 Call for Papers   Frank D. Valencia
• [clean-list] ICLP'08 CFP: EXTENDED DEADLINES!   ICLP 08
• [clean-list] MPC 2008: SECOND CALL FOR PARTICIPATION   Christine Paulin
• [clean-list] Job announcement: 2 research engineers in dependable scientific computing & 1 PhD student in applied formal methods   Joseph Kiniry
• [clean-list] LaSh08 Call for Papers   Marc Denecker
• [clean-list] ICFP2008 Call for Poster proposals   Matthew Fluet (ICFP Publicity Chair)
• [clean-list] 2008 ICFP Programming Contest   Tim Chevalier
• [clean-list] 2008 ICLP Doctoral Consortium   ICLP 08
• [clean-list] VMCAI 2009: Call for Papers   Markus Mueller-Olm
• [clean-list] DEFUN08: Final Call for Talks & Tutorials (deadline: June 27)   Matthew Fluet (ICFP Publicity Chair)
• [clean-list] UTP08: call for work in progress papers   Andrew Butterfield
• [clean-list] Call for Papers - ASME/IEEE International Conference on Reconfigurable Mechanisms and Robots (ReMAR 2009)   Jian S Dai
• [clean-list] IJCAR 2008 in Australia   Geoff Sutcliffe
• [clean-list] CAV 08: Final CFP (Reg deadline June 21)   Aarti Gupta
• [clean-list] First Call for Papers: DSL WC   Emir Pasalic
• [clean-list] Middle Earth Programming Languages Seminar (MEPLS)   Emir Pasalic
• [clean-list] CfP: 1st International Conference on Software Language Engineering (SLE 2008)   Dragan Gasevic
• [clean-list] IFL 2008 Call for Papers   Sven-Bodo Scholz
• [clean-list] [ANNOUNCEMENT]: PhD Studentship at St Andrews   Kevin Hammond
• [clean-list] CfP- Models@Runtime   Freddy Munoz
• [clean-list] Clean Wiki FAQ updated   Benjamin L. Russell
  • [clean-list] Clean Wiki FAQ updated   Kirill Zaborski
    • [clean-list] Clean Wiki FAQ updated   Bas Lijnse
• [clean-list] Fwd: Extended deadline SYNASC 2008 symposium   Synasc 2008
• [clean-list] Lectureship in Functional Programming, Nottingham   Graham Hutton
• [clean-list] RDP'09: Call for Workshop Proposals   Ralf Treinen
• [clean-list] JELIA - registration opened   Bertram Fronhöfer
• [clean-list] LaSh08: Last Call for Papers   Joost Vennekens
• [clean-list] IJCAR in Australia, 1 month to go   Geoff Sutcliffe
• [clean-list] WLPE'08 -- Call for Papers   Puri Arenas
• [clean-list] LPAR'08 workshops   Geoff Sutcliffe
• [clean-list] Symposium on Practical Aspects of Declarative Languages (PADL'09)   Gopal Gupta
• [clean-list] ICLP'08 CALL FOR POSTER SUBMISSIONS   ICLP 08
• [clean-list] PhD Positions in Secure Software and Languages   David.Clarke at cwi.nl
• [clean-list] CC 2009: abstracts due Oct 2   Oege.de.Moor at comlab.ox.ac.uk
• [clean-list] CFP: CICLOPS 2008   ciclops-org at clip.dia.fi.upm.es
• [clean-list] Status of Famke   Kirill Zaborski
  • [clean-list] Status of Famke   John van Groningen
• [clean-list] VMCAI 2009: Submission is open   Markus Mueller-Olm
• [clean-list] Finalizer   Shivkumar Chandrasekaran
  • [clean-list] Finalizer   John van Groningen
• [clean-list] Deadline Extension - Models@Runtime   Cédric Jeanneret
• [clean-list] ICFP08 Call for Participation   Matthew Fluet (ICFP Publicity Chair)
• [clean-list] Lectureship in Functional Programming, Nottingham   Graham Hutton
• [clean-list] CfC: Workshop on Resource Analysis   Hans-Wolfgang Loidl
• [clean-list] DEFUN 2008 (Developer Tracks on Functional Programming): Call for participation   Matthew Fluet (ICFP Publicity Chair)
• [clean-list] 2nd call for papers IFL 2008   Sven-Bodo Scholz
• [clean-list] ICLP'08 *FINAL* CALL FOR POSTER SUBMISSIONS   ICLP 08
• [clean-list] 2008 ICLP Doctoral Consortium   ICLP 08
• [clean-list] An annoying feature   Philippos Apolinarius
• [clean-list] (+) is a binary function   terrence.x.brannon at jpmchase.com
  • [clean-list] (+) is a binary function   Thomas van Noort
• [clean-list] Admin request - archive this list at mail-archive.com and google groups   terrence.x.brannon at jpmchase.com
• [clean-list] Font size and world value   Philippos Apolinarius
• [clean-list] using the IDE to experiment with types ("string" versus 'string' versus ['string']   terrence.x.brannon at jpmchase.com
  • [clean-list] using the IDE to experiment with types ("string" versus 'string' versus ['string']   Thomas van Noort
• [clean-list] why is the notation for list and array indexing different?   terrence.x.brannon at jpmchase.com
  • [clean-list] why is the notation for list and array indexing different?   terrence.x.brannon at jpmchase.com
  • [clean-list] List index notation used on unboxed arrays in Language Report?   terrence.x.brannon at jpmchase.com
    • [clean-list] List index notation used on unboxed arrays in Language Report?   Pieter Koopman
  • [clean-list] why is the notation for list and array indexing different?   Pieter Koopman
• [clean-list] Arrays: type annotation and pattern matching   terrence.x.brannon at jpmchase.com
  • [clean-list] Arrays: type annotation and pattern matching   Pieter Koopman
• [clean-list] What does the L mean in the expression: : CloudsVertVisibility = L [CloudsVV] | SkyClear   metaperl
  • [clean-list] What does the L mean in the expression: : CloudsVertVisibility = L [CloudsVV] | SkyClear   metaperl
  • [clean-list] What does the L mean in the expression: :CloudsVertVisibility = L [CloudsVV] | SkyClear   Erik Zuurbier
• [clean-list] Computer Language Shoot Out   metaperl
• [clean-list] MetarParser.wordify - type signature   terrence.brannon
  • [clean-list] MetarParser.wordify - type signature   zuurb078 at planet.nl
    • [clean-list] MetarParser.wordify - type signature   terrence.brannon
    • [clean-list] MetarParser.wordify - type signature   terrence.brannon
      • [clean-list] MetarParser.wordify - type signature   terrence.brannon
• [clean-list] where are function type restrictions discussed?   terrence.brannon
  • [clean-list] where are function type restrictions discussed?   terrence.brannon
    • [clean-list] where are function type restrictions discussed?   Thomas van Noort
    • [clean-list] where are function type restrictions discussed?   Pieter Koopman
    • [clean-list] where are function type restrictions discussed?   Arthur Gold
• [clean-list] Documentation of parser combinators   terrence.brannon
  • [clean-list] Documentation of parser combinators   terrence.brannon
  • [clean-list] Documentation of parser combinators   zuurb078 at planet.nl
• [clean-list] understanding a right-associative parser combinator   terrence.brannon
  • [clean-list] Please answer this parsing question   metaperl
    • [clean-list] Please answer this parsing question   Thomas van Noort
• [clean-list] Final CFP and extended deadline IFL 2008   Sven-Bodo Scholz
• [clean-list] Does (<!?>) mean the element is optional?   metaperl
  • [clean-list] Does (<!?>) mean the element is optional?   metaperl
• [clean-list] FCfC: Workshop on Resource Analysis   Hans-Wolfgang Loidl
• [clean-list] Sanskrit Transliteration - Parsing into Abstract Syntax Trees   metaperl
• [clean-list] Parsing: to drill or not to drill, that is the question   metaperl
  • [clean-list] Parsing: to drill or not to drill, that is the question   zuurb078 at planet.nl
• [clean-list] CIDM'09 - Call for Special Activities   IEEE Data Mining Symposium
• [clean-list] BYTECODE09: 1st Call for Papers   Samir Genaim
• [clean-list] WLPE'08 - Call for Papers   WLPE-08
• [clean-list] ICFP09 Announcement   Matthew Fluet (ICFP Publicity Chair)
• [clean-list] GPCE'08 Call for Participation   Emir Pasalic
• [clean-list] PADL 09 Deadline Extension   Terrance Swift
• [clean-list] WLPE'08 - Call for Papers, deadline extended to Sep 21st   WLPE-08
• [clean-list] CC 2009: abstracts due Oct 2   Oege.de.Moor at comlab.ox.ac.uk
• [clean-list] GPCE'08 Second Call for Participation -- NEWS --   Pasalic Emir
• [clean-list] Workshop on Generic Programming: Call for Participation (co-located w/ ICFP08)   Matthew Fluet (ICFP Publicity Chair)
• [clean-list] CFP MEMOCODE 2009   memocode 2009
• [clean-list] fyi Clean in the Ubuntu benchmarks game   Isaac Gouy
• [clean-list] FMCAD'08: Call for Participation (Nov. 17-20, Portland, Oregon, USA)   Lee Pike
  • [clean-list] FMCAD'08: Early registration ends Oct. 16th (Call for Participation)   Lee Pike
• [clean-list] TERMGRAPH 2009 - First Call for Papers   Andrea Corradini
• [clean-list] Yet another compiler crash   Vag
  • [clean-list] Yet another compiler crash   Pieter Koopman
  • [clean-list] Yet another compiler crash   John van Groningen
• [clean-list] ICLP'08 CALL FOR PARTICIPATION   ICLP 08
• [clean-list] instance Array {#} a   zuurb078 at planet.nl
  • [clean-list] instance Array {#} a   John van Groningen
• [clean-list] Call for Participation - Models@Runtime   Cédric Jeanneret
• [clean-list] PEPM'09 -- Final Call for Papers   G. Puebla and G. Vidal
• [clean-list] DAMP 2009 CFP   Manuel Carro
• [clean-list] Minor but fun   Vag
  • [clean-list] Minor but fun   John van Groningen
• [clean-list] ICSSEA 2008 CALL FOR PARTICIPATION   Jean-Claude-Rault
• [clean-list] QAPL 2009 Call for Papers   QAPL 2009
• [clean-list] ReMAR 2009 : 2nd Call for Papers of the ASME/IEEE International Conference on Reconfigurable Mechanisms and Robots   ReMAR 2009
• [clean-list] CADE-22 first call for papers   Carsten Schürmann
• [clean-list] CADE-22 call for workshop and tutorial proposals   Carsten Schuermann
• [clean-list] TLCA'09 - Preliminary Call for Papers   Luca Paolini
• [clean-list] BYTECODE09: 2nd Call for Papers   Samir Genaim
• [clean-list] TLCA 09 - Call for Paper - Update   Luca Paolini
• [clean-list] ICFP09: Call for Workshop Proposals   Matthew Fluet (ICFP Publicity Chair)
• [clean-list] CfP: A-MOST 2009   Lars Frantzen
• [clean-list] RTA'09 1st CFP   Hitoshi Ohsaki
• [clean-list] ICLP'08 CALL FOR PARTICIPATION   ICLP 08
• [clean-list] Question on destructive array updates   Attila Ondi
• [clean-list] Question on destructive array updates   Carlos Aya
  • [clean-list] Question on destructive array updates   Pieter Koopman
• [clean-list] ICTAC'09: Call for Workshop Proposals   Martin Leucker
• [clean-list] SETP-09 call for papers   John Edward
• [clean-list] ALICS workshop at LPAR   Geoff Sutcliffe
• [clean-list] Question on destructive array updates   Carlos Aya
  • [clean-list] Question on destructive array updates   Pieter Koopman
  • [clean-list] Question on destructive array updates   Attila Ondi
    • [clean-list] Question on destructive array updates   Attila Ondi
• [clean-list] Re: Question on destructive array updates   Carlos Aya
  • [clean-list] Re: Question on destructive array updates   Attila Ondi
• [clean-list] RDP'09: 2nd Call for Workshop Proposals   Ralf Treinen
• [clean-list] ESSLLI Student Session - Call for papers   Thomas Icard
• [clean-list] FMICS 2009: First Call for Papers   FMICS 2009 workshop chair
• [clean-list] ECOOP 2009 Call for Papers   David.Clarke at cwi.nl
• [clean-list] Any scheduled release data for Clean 2.3?   Benjamin L. Russell
  • [clean-list] Re: Any scheduled release data for Clean 2.3?   Benjamin L. Russell
    • [clean-list] Re: Any scheduled release data for Clean 2.3?   Benjamin L. Russell
• [clean-list] TERMGRAPH 2009 - Second Call for Papers [Deadline: December 15]   Andrea Corradini
• [clean-list] Re: Any scheduled release data for Clean 2.3?   rinus plasmeijer
  • [clean-list] Re: Any scheduled release data for Clean 2.3?   Benjamin L. Russell
    • [clean-list] Re: Any scheduled release data for Clean 2.3?   jerzy.karczmarczuk at info.unicaen.fr
      • [clean-list] Re: Any scheduled release data for Clean 2.3?   Richard O'Keefe
      • [clean-list] Re: Any scheduled release data for Clean 2.3?   jerzy.karczmarczuk at info.unicaen.fr
      • [clean-list] Re: Any scheduled release data for Clean 2.3?   Janis Voigtlaender
      • [clean-list] Re: Any scheduled release data for Clean 2.3?   Thomas van Noort
      • [clean-list] Re: Any scheduled release data for Clean 2.3?   Peter Hercek
• [clean-list] ECOOP 2009 Call for Tutorials   David.Clarke at cwi.nl
• [clean-list] ECOOP 2009 Call for Workshops   David.Clarke at cwi.nl
• [clean-list] Assertion failed in backend library if Start w = Start w   Vag
  • [clean-list] Assertion failed in backend library if Start w = Start w   John van Groningen
    • [clean-list] Assertion failed in backend library if Start w = Start w   vag
      • [clean-list] Assertion failed in backend library if Start w = Start w   vag
      • [clean-list] Assertion failed in backend library if Start w = Start w   vag
      • [clean-list] Simplified uniqueness typing   Jari-Matti Mäkelä
      • [clean-list] Simplified uniqueness typing   zuurb078 at planet.nl
      • [clean-list] Simplified uniqueness typing   Marco Kesseler
• [clean-list] Ph.D. in Symbolic Computation at RISC-Linz   Guenter Landsmann
• [clean-list] [dsd2009-l] Call for papers Digital System Design 2009   Antonio Nunez DSD2009
• [clean-list] ISMM 2009 Call for Papers   Hillel Kolodner
• [clean-list] VMCAI 2009: Call for Participation   Markus Mueller-Olm
• [clean-list] QAPL 2009 Call for Papers   QAPL 2009
• [clean-list] CADE-22 final call for workshop and tutorial proposals   Carsten Schuermann
• [clean-list] PostDoc Positions in the Embedded System Unit of Fondazione Bruno Kessler   Marco Roveri
• [clean-list] ANNOUNCE: Haskell Communities and Activities Report (15th ed., November 2008)   Janis Voigtlaender
  • [clean-list] Re: [Haskell-cafe] ANNOUNCE: Haskell Communities and Activities Report (15th ed., November 2008)   Don Stewart
  • [clean-list] Re: ANNOUNCE: Haskell Communities and Activities Report (15th ed., November 2008)   Benjamin L. Russell
• [clean-list] 10 December: ReMAR 2009 Extended Deadline - The ASME/IFToMM International Conference on Reconfigurable Mechanisms and Robots (ReMAR 2009)   ReMAR 2009
• [clean-list] Help with trapping Special Keys   Neil Wallis
• [clean-list] PEPM'09 -- Call for Participation   G. Puebla and G. Vidal
• [clean-list] Call for Papers: MOMPES @ ICSE 2009   João Miguel Fernandes
• [clean-list] TLCA' 09: Final Call for Papers   Luca Paolini
• [clean-list] TERMGRAPH 2009 - Second Call for Papers [Deadline: December 15]   Andrea Corradini
• [clean-list] Finall Call For Papers (DSL WC)   Emir Pasalic
• [clean-list] Research Position on HermiT project at Oxford University Computing Laboratory   Ian.Horrocks at comlab.ox.ac.uk
• [clean-list] D.Phil (PhD) Studentship on ConDOR project at Oxford University Computing Laboratory   Ian.Horrocks at comlab.ox.ac.uk
• [clean-list] PADL'09: Call for Participation   Gopal Gupta
• [clean-list] Call for papers: POPL 2010   Swarat Chaudhuri
• [clean-list] RTA 2nd CFP (June 29 - July 1, 2009, Brasilia)   Hitoshi Ohsaki
• [clean-list] Tableaux 2009: Second CfP   Viorica Sofronie-Stokkermans
• [clean-list] BYTECODE09: Last Call for Papers   Samir Genaim
• [clean-list] [ANNOUNCEMENT]: SICSA Chairs, Lectureships and Research Fellowships at St Andrews   Kevin Hammond
• [clean-list] FroCoS'09 Call for Papers   Roberto Sebastiani
• [clean-list] QAPL 2009 Call for Papers   QAPL 2009
• [clean-list] CfP: ICTAC'09   Martin Leucker
• [clean-list] Updating unique structures in unique structures in unique structures   TK
  • [clean-list] Updating unique structures in unique structures in unique structures   John van Groningen
• [clean-list] ICFP09 Call for Papers   Matthew Fluet (ICFP Publicity Chair)
• [clean-list] ATVA 2009: Call for Workshop Proposals   Wang Xu
• [clean-list] TLCA'09 Last Call For Paper   Luca Paolini
• [clean-list] [TERMGRAPH 2009] Final CfP & Deadline extension, December 22   Andrea Corradini
• [clean-list] CFP for TFP 2009   Horváth Zoltán
• [clean-list] CADE-22 second call for papers   Carsten Schuermann
• [clean-list] PhD positions in ICT on Formal Verification via SMT available in Trento   Roberto Sebastiani
• [clean-list] MULTICONF-09 call for papers   Peter james
• [clean-list] Logic Programming: 25th International Conference CFP   Gopal Gupta
• [clean-list] DAMP'09 -- Call for Participation   list at clip.dia.fi.upm.es
• [clean-list] Summer School -- Screw-Theory based methods and their application in robotics   Rezia Molfino
• [clean-list] SETP-09 call for papers   John Edward

Last message date: Mon Dec 29 15:02:56 MEST 2008
Archived on: Mon Dec 29 15:03:17 MEST 2008

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