2007 Archives by date

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

Starting: Wed Jan 3 10:25:34 MEST 2007
Ending: Mon Dec 31 19:12:06 MEST 2007
Messages: 399

• [clean-list] declaration order   Arjen van Weelden
• [clean-list] Help in clean and c, create dll   Marco Kesseler
• [clean-list] Call for Papers: Workshop on Modeling in Software Engineering @ ICSE 2007 (MISE 2007)   Steffen Zschaler
• [clean-list] CfP: QUATIC 2007   Ricardo J. Machado
• [clean-list] CAV 2007: 2nd Call for Papers   CAV 2007 Announce
• [clean-list] CFP: 23rd International Conference on Logic Programming (ICLP 2007)   ICLP07 publicity
• [clean-list] ICLP 2007: Call for Workshop Proposals   ICLP07 publicity
• [clean-list] ESSLLI 2007 Student Session - Final Call for Papers   Ville Nurmi
• [clean-list] CFP UPGRADE-CN'07   Giancarlo Fortino
• [clean-list] RTA'07: Final Call for Papers   Ashish Tiwari
• [clean-list] ICFP07 Call for Papers   Matthew Fluet (ICFP Publicity Chair)
• [clean-list] FunctionType question   Jigang Sun
• [clean-list] FunctionType question   Edsko de Vries
• [clean-list] Help in clean and c, create dll   Fabricio Leonard
• [clean-list] Help in clean and c, create dll   John van Groningen
• [clean-list] CFP: SPAC 07 - Software Patterns: Addressing Challenges   eduardo segura
• [clean-list] Call for participation and abstracts: BCTCS, Oxford, 2-5 Apr   Jeremy.Gibbons at comlab.ox.ac.uk
• [clean-list] CFP: ICLP 2007 Doctoral Consortium   ICLP07 publicity
• [clean-list] Final Call for Papers: TFP 2007, New York, USA   TFP 2007
• [clean-list] [Scheme Steering Committee announcements] Scheme: Second R6RS draft published   Mitchell Wand
• [clean-list] CFP: SPAC 07 - Software Patterns: Addressing Challenges   eduardo segura
• [clean-list] MCU 2007 - Call for papers   Jérôme DURAND-LOSE
• [clean-list] RTA'07: LAST CFP: Submission Deadline Jan 26   Ashish Tiwari
• [clean-list] IFM2007 Final call for contributions   Jeremy.Gibbons at comlab.ox.ac.uk
• [clean-list] CfPart: MOMPES 2007   Ricardo J. Machado
• [clean-list] CAV 2007: Final Call for Papers   CAV 2007 Announce
• [clean-list] FunctionType question   Jigang Sun
• [clean-list] CFP: SPAC 07 - Software Patterns: Addressing Challenges   eduardo segura
• [clean-list] freopen fails   Erik Zuurbier
• [clean-list] freopen fails   Arjen van Weelden
• [clean-list] freopen fails   Arjen van Weelden
• [clean-list] freopen fails   Arjen van Weelden
• [clean-list] GPCE'07 Call for Papers   Emir Pasalic
• [clean-list] Calculemus 2007: 3rd Call for Papers / Deadline Extension   Manuel Kauers
• [clean-list] GPCE'07: Calls for Tutorials/Workshops   Emir Pasalic
• [clean-list] FMCAD 2007 Call for Papers   Jason Baumgartner
• [clean-list] Second Call for Papers: TestCom / Fates 2007   Jan Tretmans
• [clean-list] Positions at Oxford: refactoring tools   Oege.de.Moor at comlab.ox.ac.uk
• [clean-list] CfP: WS-MaTe 2007 (Web Services - Modeling and Testing)   Lars Frantzen
• [clean-list] Second CFP: 23rd International Conference on Logic Programming (ICLP 2007)   ICLP07 publicity
• [clean-list] A bug?   Jigang Sun
• [clean-list] A bug?   Arjen
• [clean-list] DSD'2007 submission reminder   Hana Kubatova
• [clean-list] Clean distributions   Matthew Naylor
• [clean-list] Clean distributions   Edsko de Vries
• [clean-list] Clean distributions   Matthew Naylor
• [clean-list] POPL 2008 - CALL FOR WORKSHOPS AND CO-LOCATED EVENT PROPOSALS   Sorin Lerner
• [clean-list] (no subject)   Timothy Hochberg
• [clean-list] CFP: WRS 2007 (Reduction Strategies in Rewriting and Programming)   Juergen Giesl
• [clean-list] CfP: 2nd CEFP Functional Programming School, June 23-30, 2007   HORVATH Zoltan
• [clean-list] ExtendedArith with Clean22 on Linux   j.romildo at gmail.com
• [clean-list] Final CFP: 23rd International Conference on Logic Programming (ICLP 2007)   ICLP07 publicity
• [clean-list] (no subject)   John van Groningen
• [clean-list] ExtendedArith with Clean22 on Linux   Isaac Gouy
• [clean-list] ExtendedArith with Clean22 on Linux   Isaac Gouy
• [clean-list] ExtendedArith with Clean22 on Linux   John van Groningen
• [clean-list] ExtendedArith with Clean22 on Linux   Isaac Gouy
• [clean-list] array update example in language report   T.Yamauchi
• [clean-list] CFP - Deadline Extension - SPAC 2007   E. Segura
• [clean-list] Second CFP: ICLP 2007 Doctoral Consortium   ICLP07 publicity
• [clean-list] Calling Clean from Python   Timothy Hochberg
• [clean-list] MCU 2007 - Extended Dead-Line: 18 March   Jérôme DURAND-LOSE
• [clean-list] windowsTcpIp.obj missing from Hilde   Timothy Hochberg
• [clean-list] LADS'007 - Call for Papers - Workshop on Languages, methodologies and Development tools for multi-agent Systems   LADS'007 Co-organisers
• [clean-list] CfP: Special Session on Behavioural Models for Embedded Systems (SIES 2007)   João Paulo Barros
• [clean-list] DSD'2007 submission deadline extended to March 25   Hana Kubatova
• [clean-list] ICFP07 Final CFP & Note from the Program Chair   Matthew Fluet (ICFP Publicity Chair)
• [clean-list] array update example in language report   John van Groningen
• [clean-list] windowsTcpIp.obj missing from Hilde   John van Groningen
• [clean-list] UNIF'07 first call for papers   Evelyne Contejean
• [clean-list] Call for Papers: Generative Programming and Component Engineering (GPCE'07)   Emir Pasalic
• [clean-list] Deadline extension: POPL Call for Event Proposals   Yitzhak Mandelbaum
• [clean-list] Directory library for Linux   lethevert
• [clean-list] 2nd CFP: WRS 2007 (Reduction Strategies in Rewriting and Programming)   Juergen Giesl
• [clean-list] Directory library for Linux   John van Groningen
• [clean-list] Directory library for Linux   lethevert
• [clean-list] Directory library for Linux   T.Yamauchi
• [clean-list] Invitation: 2nd SASA 2007   m.fayad at sjsu.edu
• [clean-list] Invitation: 2nd SSW 2007 -- 9(2)   m.fayad at sjsu.edu
• [clean-list] LOPSTR 2007 Call for Papers   A.M.King
• [clean-list] Close the console   Fabricio Leonard
• [clean-list] Close the console   Peter Hercek
• [clean-list] ICTAC 2007: Final call for papers   Chris George
• [clean-list] a local function typing question in function composition   Jigang Sun
• [clean-list] a local function typing question in function composition   TK
• [clean-list] Close the console   TK
• [clean-list] a local function typing question in function composition   Jigang Sun
• [clean-list] a local function typing question in function composition   Edsko de Vries
• [clean-list] a local function typing question in function composition   Arjen van Weelden
• [clean-list] a local function typing question in function composition   Philip Matthews
• [clean-list] a local function typing question in function composition   Edsko de Vries
• [clean-list] a local function typing question in function composition   Philip Matthews
• [clean-list] a local function typing question in function composition   Edsko de Vries
• [clean-list] a local function typing question in function composition   Philip Matthews
• [clean-list] Last CFP: WRS 2007 (Reduction Strategies in Rewriting and Programming)   Juergen Giesl
• [clean-list] a local function typing question in function composition   Edsko de Vries
• [clean-list] a local function typing question in function composition   Philip Matthews
• [clean-list] a local function typing question in function composition   Edsko de Vries
• [clean-list] a local function typing question in function composition   Philip Matthews
• [clean-list] a local function typing question in function composition   Edsko de Vries
• [clean-list] ADDCT'07: CFP: Abstract Submission Deadline May 4   Ashish Tiwari
• [clean-list] OpenGL   Arjen van Weelden
• [clean-list] POPL 08 Call for Papers   Sorin Lerner
• [clean-list] FMCAD 2007 Second Call for Papers [Apologies for duplicate postings]   jasonb at austin.ibm.com
• [clean-list] UNIF'07 second call for papers   Evelyne Contejean
• [clean-list] operator with one argument   Jigang Sun
• [clean-list] operator with one argument   Jigang Sun
• [clean-list] operator with one argument   Edsko de Vries
• [clean-list] ICTAC07: deadline extended to 4 May   Chris George
• [clean-list] ICFP Programming Contest 2007   Matthew Fluet (ICFP Publicity Chair)
• [clean-list] reference type   lethevert
• [clean-list] how to disambiguate records in a list comprehension ?   Isaac Gouy
• [clean-list] questions from a beginner   Markó Csaba
• [clean-list] questions from a beginner   Edsko de Vries
• [clean-list] how to disambiguate records in a list comprehension ?   Arjen
• [clean-list] questions from a beginner   lethevert
• [clean-list] questions from a beginner   Arjen
• [clean-list] questions from a beginner   lethevert
• [clean-list] Calculemus 2007: Call for Participation   Manuel Kauers
• [clean-list] questions from a beginner   Markó Csaba
• [clean-list] CFP: ISMM'07   Greg Morrisett
• [clean-list] LOPSTR 2007 Call for Papers   A.M.King
• [clean-list] ADDCT'07: LAST CFP: Abstract Submission Deadline May 4   Ashish Tiwari
• [clean-list] TestCom/Fates 2007: Call for Participation   Jan Tretmans
• [clean-list] CfP: Scheme and Functional Programming 2007   Danny Dubé
• [clean-list] RDP'07 First Call for Participation   Ralf Treinen
• [clean-list] Synonym type and Universal type   lethevert
• [clean-list] Deadline extention: ICLP 2007 Doctoral Consortium   ICLP07 publicity
• [clean-list] Integrated Formal Methods 2007: Call for participation   Jeremy.Gibbons at comlab.ox.ac.uk
• [clean-list] Call for Participation: CAV 2007   CAV 2007 Announce
• [clean-list] CFP: CICLOPS 2007   Salvador Abreu
• [clean-list] IEEE ICTAI-2007: Final Call for Papers   Spiros Sirmakessis
• [clean-list] Synonym type and Universal type   John van Groningen
• [clean-list] Functional Programming School + PhD workshop, June 23-30, 2007   HORVATH Zoltan
• [clean-list] Synonym type and Universal type   lethevert
• [clean-list] Call for Contributions: Integrated Formal Methods, Doctoral Symposium   Eerke Boiten
• [clean-list] "unique" dual to "final"?   Carlos Aya
• [clean-list] Re: "unique" dual to "final"?   Carlos Aya
• [clean-list] building the profiler under Linux   Andre Kuehne
• [clean-list] Synonym type and Universal type   John van Groningen
• [clean-list] building the profiler under Linux   John van Groningen
• [clean-list] Synonym type and Universal type   TK
• [clean-list] RDP'07 Registration open until May 31   Ralf Treinen
• [clean-list] LOPSTR 2007 Final Call for Papers   A.M.King
• [clean-list] Synonym type and Universal type   John van Groningen
• [clean-list] relationship between uniqueness types and single-threaded lambda calculus?   Adam Megacz
• [clean-list] Fractal Benchmark   Jonas MG
• [clean-list] Synonym type and Universal type   TK
• [clean-list] OpenGL Binding   Alexsandro Soares
• [clean-list] CfP: TTSS'07 - Harnessing Theories for Tool Support in Software   Volker Stolz
• [clean-list] ICCIMA’07 - FINAL CALL FOR PAPERS   DSD 2006
• [clean-list] OpenGL Binding   Arjen van Weelden
• [clean-list] relationship between uniqueness types and single-threaded lambda calculus?   Edsko de Vries
• [clean-list] Synonym type and Universal type   John van Groningen
• [clean-list] relationship between uniqueness types and single-threaded lambda calculus?   John van Groningen
• [clean-list] relationship between uniqueness types and single-threaded lambda calculus?   Edsko de Vries
• [clean-list] relationship between uniqueness types and single-threaded lambda calculus?   TK
• [clean-list] Re: relationship between uniqueness types and single-threaded lambda calculus?   Adam Megacz
• [clean-list] Re: relationship between uniqueness types and single-threaded lambda calculus?   Edsko de Vries
• [clean-list] Just starting out problem   Chris Saunders
• [clean-list] Just starting out problem   Pieter Koopman
• [clean-list] Just starting out problem   Arjen van Weelden
• [clean-list] Just starting out problem   Chris Saunders
• [clean-list] Just starting out problem   Chris Saunders
• [clean-list] Re: relationship between uniqueness types and single-threaded lambda calculus?   TK
• [clean-list] Synonym type and Universal type   TK
• [clean-list] clean on linux: Floating point exception   Adam Megacz
• [clean-list] clean on linux: Floating point exception   lethevert
• [clean-list] Re: clean on linux: Floating point exception   Adam Megacz
• [clean-list] Re: clean on linux: Floating point exception   Edsko de Vries
• [clean-list] IEEE ICTAI-2007: Submission Extended   Spiros Sirmakessis
• [clean-list] Re: relationship between uniqueness types and single-threaded lambda calculus?   Adam Megacz
• [clean-list] ESSLLI 2008: Call for Course and Workshop Proposals   Carlos Areces
• [clean-list] Re: relationship between uniqueness types and single-threaded lambda calculus?   TK
• [clean-list] Re: relationship between uniqueness types and single-threaded lambda calculus?   Adam Megacz
• [clean-list] Re: clean on linux: Floating point exception   Adam Megacz
• [clean-list] Re: clean on linux: Floating point exception   Isaac Gouy
• [clean-list] Re: relationship between uniqueness types and single-threaded lambda calculus?   lethevert
• [clean-list] Re: relationship between uniqueness types and single-threaded lambda calculus?   Edsko de Vries
• [clean-list] Re: relationship between uniqueness types and single-threaded lambda calculus?   Adam Megacz
• [clean-list] Re: relationship between uniqueness types and single-threaded lambda calculus?   Pieter Koopman
• [clean-list] Re: relationship between uniqueness types and single-threaded lambda calculus?   Edsko de Vries
• [clean-list] CFP: ASP2007 - 4th International Workshop on Answer Set Programming   ICLP07 publicity
• [clean-list] Re: relationship between uniqueness types and single-threaded lambda calculus?   Adam Megacz
• [clean-list] Re: relationship between uniqueness types and single-threaded lambda calculus?   Edsko de Vries
• [clean-list] Re: relationship between uniqueness types and single-threaded lambda calculus?   Adam Megacz
• [clean-list] Re: relationship between uniqueness types and single-threaded lambda calculus?   lethevert
• [clean-list] Re: relationship between uniqueness types and single-threaded lambda calculus?   Edsko de Vries
• [clean-list] Re: relationship between uniqueness types and single-threaded lambda calculus?   Adam Megacz
• [clean-list] IFL 2007: Symposium on Implementation and Application of Functional Languages   Olaf Chitil
• [clean-list] Re: relationship between uniqueness types and single-threaded lambda calculus?   Edsko de Vries
• [clean-list] Re: relationship between uniqueness types and single-threaded lambda calculus?   Adam Megacz
• [clean-list] CFP: 5th Worskhop on "Methods for Modalities" (M4M-5)   Carlos Areces
• [clean-list] ADDCT'07: Call for Participation: Early Reg. Deadline Jun 10   Ashish Tiwari
• [clean-list] CAV 2007: 2nd Call for Participation   CAV 2007 Announce
• [clean-list] Last CFP: Functional Programming School + PhD workshop, with LNCS post.conf. proc. : June 23-30, 2007   HORVATH Zoltan
• [clean-list] ICLP07: call for participation   ICLP07 publicity
• [clean-list] Second CFP: CICLOPS 2007   Salvador Abreu
• [clean-list] SAS 2007: Call for Participation   Terkel K. Tolstrup
• [clean-list] ICFP07 Accepted Papers   Matthew Fluet (ICFP Publicity Chair)
• [clean-list] PhD on refactoring at Oxford   Oege.de.Moor at comlab.ox.ac.uk
• [clean-list] Help in clean and c, create dll   Joseph Battelle
• [clean-list] Help in clean and c, create dll   John van Groningen
• [clean-list] Final Call for Tutorial: IEEE/WIC/ACM WI-IAT'07   Jia Hu
• [clean-list] String and dll in clean   Ombusdan Man
• [clean-list] String and dll in clean   Ombusdan Man
• [clean-list] PADL 2008: Call for Papers   Gopal Gupta
• [clean-list] Help in clean and c, create dll   John van Groningen
• [clean-list] FinalCFP: ASP2007 - 4th International Workshop on Answer Set Programming   ICLP07 publicity
• [clean-list] [isaim2008] CFP: Tenth International Symposium on AI and Math (ISAIM 2008)   Mehran Sahami
• [clean-list] CGI in Clean   lethevert
• [clean-list] FAQ for new Clean users?   Jeff φ
• [clean-list] Track on Constraint Solving and Programming - ACM SAC call for paper   Stefano Bistarelli
• [clean-list] FASE'08: abstracts due October 5   José Luiz Fiadeiro
• [clean-list] Compiler dies with "Run time error"   vag
• [clean-list] Re: clean on linux: Floating point exception   vag
• [clean-list] IFL 2007: Symposium on Implementation and Application of Functional Languages   Olaf Chitil
• [clean-list] PEPM 2008   Oege.de.Moor at comlab.ox.ac.uk
• [clean-list] ICFP07 Call for Participation   Matthew Fluet (ICFP Publicity Chair)
• [clean-list] Compiler dies with "Run time error"   John van Groningen
• [clean-list] foreign export for linux?   David C. Norris
• [clean-list] 65537 on Linux   lethevert
• [clean-list] foreign export for linux?   John van Groningen
• [clean-list] 65537 on Linux   John van Groningen
• [clean-list] Need help with trivial question: uswap :: A.a: Int Int *{*{a}} -> *{*{a}}   vag
• [clean-list] Need help with trivial question: uswap :: A.a: Int Int *{*{a}} -> *{*{a}}   lethevert
• [clean-list] Need help with trivial question: uswap :: A.a: Int Int *{*{a}} -> *{*{a}}   vag
• [clean-list] I have ported Clean to FreeBSD six months ago, it seems to be working. Anyone interested in?   vag
• [clean-list] Stack overflow patch for linux   John van Groningen
• [clean-list] Need help with trivial question: uswap :: A.a: Int Int *{*{a}} -> *{*{a}}   John van Groningen
• [clean-list] Concurrent programming in Clean 2.2   Carter Cheng
• [clean-list] Linking frameworks on Mac OS X   Shivkumar Chandrasekaran
• [clean-list] Linking frameworks on Mac OS X   Shivkumar Chandrasekaran
• [clean-list] fopen of named pipe fails with "IO Error: FOpen: seek to end of file failed"   David C. Norris
• [clean-list] Re: Linking frameworks on Mac OS X   Shivkumar Chandrasekaran
• [clean-list] Linking frameworks on Mac OS X   John van Groningen
• [clean-list] Re: Linking frameworks on Mac OS X   John van Groningen
• [clean-list] GPCE'07: CALL FOR PARTICIPATION   Emir Pasalic
• [clean-list] Concurrent programming in Clean 2.2   John van Groningen
• [clean-list] fopen of named pipe fails with "IO Error: FOpen: seek to end of file failed"   John van Groningen
• [clean-list] Wish list =+ New *World   Shivkumar Chandrasekaran
• [clean-list] Wish list =+ New *World   Edsko de Vries
• [clean-list] Bugs in StdOverloadedList   Shivkumar Chandrasekaran
• [clean-list] Wish list =+ New *World   Shivkumar Chandrasekaran
• [clean-list] Call for Papers -- PLAC 2007 @ OOPSLA 2007 [10-1]   Mohamed Fayad
• [clean-list] Wish list =+ New *World   Andrew Butterfield
• [clean-list] foreign export for linux?   John van Groningen
• [clean-list] Wish list =+ New *World   Shivkumar Chandrasekaran
• [clean-list] Wish list =+ New *World   Edsko de Vries
• [clean-list] Wish list =+ New *World   Andrew Butterfield
• [clean-list] Wish list =+ New *World   Peter Achten
• [clean-list] Wish list =+ New *World   Shivkumar Chandrasekaran
• [clean-list] Wish list =+ New *World   lethevert
• [clean-list] ACM SAC Track on Constraint Solving and Programming - final call for paper   Stefano Bistarelli
• [clean-list] Re: Linking frameworks on Mac OS X   Shivkumar Chandrasekaran
• [clean-list] CfParticipation: Scheme and FP 2007   Danny Dubé
• [clean-list] segmentation fault   lethevert
• [clean-list] Bugs in StdOverloadedList   John van Groningen
• [clean-list] segmentation fault   John van Groningen
• [clean-list] Re: Linking frameworks on Mac OS X   Shivkumar Chandrasekaran
• [clean-list] Bugs in StdOverloadedList   Shivkumar Chandrasekaran
• [clean-list] stack overflow while compiling   Peter Hercek
• [clean-list] FMCAD 2007 Call for Participation   jasonb at austin.ibm.com
• [clean-list] stack overflow while compiling   John van Groningen
• [clean-list] ACM SAC - Constraint Solving and Programming Track: extended deadline   Stefano Bistarelli
• [clean-list] ISMM'07: call for participation   Greg Morrisett
• [clean-list] Software Rendering in Clean   TK
• [clean-list] Clean 2.2 Installation Problems on Mac OS X   Suresh Manandhar
• [clean-list] [ IDE ] Escape Sequences in Replace   TK
• [clean-list] CAV 2008: Call for Workshops   Aarti Gupta
• [clean-list] PEPM 2008: abstracts due Oct 12   Oege.de.Moor at comlab.ox.ac.uk
• [clean-list] [isaim2008] Final CFP: Tenth International Symposium on AI and Math (ISAIM 2008)   Mehran Sahami
• [clean-list] CAV 2008: Call for Papers   Aarti Gupta
• [clean-list] Clean 2.2 Installation Problems on Mac OS X   John van Groningen
• [clean-list] GPCE'07: UPDATED CALL FOR PARTICIPATION   Emir Pasalic
• [clean-list] [ IDE ] Escape Sequences in Replace   John van Groningen
• [clean-list] [ IDE ] Escape Sequences in Replace   TK
• [clean-list] Interfacing Clean with C code (or other languages)   Chris Khoo
• [clean-list] Foreign export of void function with a single output parameter?   David C. Norris
• [clean-list] Foreign export of void function with a single output parameter?   John van Groningen
• [clean-list] Interfacing Clean with C code (or other languages)   John van Groningen
• [clean-list] PSSE 2007: registration deadline approaching - two weeks to go   Ana Cavalcanti
• [clean-list] CFP: RV'08   Martin Leucker
• [clean-list] CfP: MOMPES 2008 (published by IEEE CS Press)   Ricardo Jorge Silvério Magalhães Machado
• [clean-list] CfP: MOMPES 2008 (published by IEEE CS Press)   Ricardo Jorge Silvério Magalhães Machado
• [clean-list] ECOOP 2008 Call for Papers   Dave Clarke
• [clean-list] FLOPS 2008 - Second Call for Papers - Deadline: October 10   flops2008 at clip.dia.fi.upm.es
• [clean-list] FLOPS 2008 - Second Call for Papers - Deadline: October 10   flops2008 at clip.dia.fi.upm.es
• [clean-list] FMCAD 2007 Early Registration   jasonb at austin.ibm.com
• [clean-list] Parametrizing instance declarations   David C. Norris
• [clean-list] Re: relationship between uniqueness types and single-threaded lambda calculus?   Adam Megacz
• [clean-list] Re: relationship between uniqueness types and single-threaded lambda calculus?   Edsko de Vries
• [clean-list] Internal overloading and unboxed arrays   David C. Norris
• [clean-list] Parametrizing instance declarations   John van Groningen
• [clean-list] Internal overloading and unboxed arrays   John van Groningen
• [clean-list] Program compiles and runs, with unpredictable result   David C. Norris
• [clean-list] Program compiles and runs, with unpredictable result   John van Groningen
• [clean-list] CFP: JOURNAL OF LOGIC, LANGUAGE AND INFORMATION   Carlos Areces
• [clean-list] final CFP ESOP 2008 - abstract due 5th October   Sophia Drossopoulou
• [clean-list] MPC 2008: FIRST CALL FOR PAPERS   Christine Paulin
• [clean-list] PEPM 2008: abstracts due Oct 12   Oege.de.Moor at comlab.ox.ac.uk
• [clean-list] Macro facility able to encode program transformation?   David C. Norris
• [clean-list] Extended submission deadlnie: FOOL2008   Atsushi Igarashi
• [clean-list] FLOPS 2008 - Final CFP - Deadline: Oct 10 / Oct 17 (extended!)   Manuel Hermenegildo
• [clean-list] [MACOSX] yet another installation question ...   Mateusz Berezecki
• [clean-list] Macro facility able to encode program transformation?   John van Groningen
• [clean-list] IJCAR Call for Papers, and Workshop and Tutorial Proposals   geoff at cs.miami.edu
• [clean-list] CFP - DAMP 2008 - Declarative Aspects of Multicore Programming   Manuel Hermenegildo
• [clean-list] ARCS-08 Call for papers   John E. Edward
• [clean-list] WGT 2008 Call for Papers   Workshop on Generative Technologies
• [clean-list] [ Functional Fragments ] version for Clean 2 2   TK
• [clean-list] IEEE ISQED 2008 Call for Papers   Lech Jozwiak
• [clean-list] [ Functional Fragments ] version for Clean 2 2   Marco Kesseler
• [clean-list] ICFP 2008 Call for Workshop Proposals   Michael Sperber
• [clean-list] 2 vacant PhD positions + postion for scientific programmer   Rinus Plasmeijer
• [clean-list] DAMP2008 Declarative Aspects of Multicore Programming - Deadline Oct26   Manuel Hermenegildo
• [clean-list] CFP: 5th Worskhop on "Methods for Modalities" (M4M-5)   Carlos Areces
• [clean-list] [ Functional Fragments ] version for Clean 2 2   TK
• [clean-list] DAMP2008 Decl. Aspects of Multicore Prog, - *extended* deadline Oct31   Manuel Hermenegildo
• [clean-list] [ Compiler ] Fusion status   TK
• [clean-list] [ Functional Fragments ] version for Clean 2 2   TK
• [clean-list] [ Functional Fragments ] version for Clean 2 2   Marco Kesseler
• [clean-list] (no subject)   Jigang Sun
• [clean-list] (no subject)   Edsko de Vries
• [clean-list] (no subject)   Marco Kesseler
• [clean-list] Call for CAV Award Nominations (CAV 2008)   Aarti Gupta
• [clean-list] Positions in EU FP7 project at CWI, Amsterdam   Farhad Arbab
• [clean-list] DL08 Call for Papers   Carsten Lutz
• [clean-list] Call for Papers -- TESTCOM/FATES 2008   Ulrich, Andreas
• [clean-list] Type Expression Grammar question   Jigang Sun
• [clean-list] Type Expression Grammar question   Pieter Koopman
• [clean-list] QAPL 2008 Call for Papers   QAPL 2008
• [clean-list] CONCUR 2008 Call for Workshop Proposals   Richard Trefler
• [clean-list] ECOOP 2008 Call for Workshops   Patrick Eugster
• [clean-list] CfP - A-MOST 2008   lf at cs.ru.nl
• [clean-list] [isaim2008] Call for Participation: Tenth Int'l Symp. on AI and Math (ISAIM 2008)   Mehran Sahami
• [clean-list] Ph.D. in Symbolic Computation at RISC-Linz   Guenter Landsmann
• [clean-list] ISMM 2008 Call for Papers   R.E.Jones
• [clean-list] uniqueness attribute derivation/specification inconsistency   TK
• [clean-list] ICSR 2008 - Beijing: Final Call for Paper.   lig at sei.pku.edu.cn
• [clean-list] uniqueness attribute derivation/specification inconsistency   John van Groningen
• [clean-list] First Call for Papers TFP 2008, The Netherlands   Peter Achten
• [clean-list] How can I define an equality test ?   Ferreira Maurizio
• [clean-list] How can I define an equality test ?   jerzy.karczmarczuk at info.unicaen.fr
• [clean-list] How can I define an equality test ?   Ben Lippmeier
• [clean-list] How can I define an equality test ?   Pieter Koopman
• [clean-list] WGT 2008 Second Call for Papers   Workshop on Generative Technologies
• [clean-list] FinalCFP: RV'08 - Runtime Verification   Martin Leucker
• [clean-list] A question..   Philippos Apolinarius
• [clean-list] MingW library with Clean   Philippos Apolinarius
• [clean-list] 1st CfP -- ESSLLI 2008 Student Session   Kata Balogh
• [clean-list] IJCAR Call for Papers, and Workshop and Tutorial Proposals   geoff at cs.miami.edu
• [clean-list] Compiling under Linux   Philippos Apolinarius
• [clean-list] StdString's instance == {#Char} conflicts with instance == {#Real}   David C. Norris
• [clean-list] QAPL 2008 Second Call for Papers   QAPL 2008
• [clean-list] Compiling under Linux   John van Groningen
• [clean-list] import StdString prevents declaring instance == {#Real}   David C. Norris
• [clean-list] import StdString prevents declaring instance == {#Real}   John van Groningen
• [clean-list] 3 PhD stipends in Functional Programming and Many-Cores   Sven-Bodo Scholz
• [clean-list] Postdoctoral position in Functional Programming and Many-Cores   Sven-Bodo Scholz
• [clean-list] PADL'08: Call for Participation (Early Reg. Deadline: Dec 13)   Gopal Gupta
• [clean-list] WGT 2008 Final Call for Papers   Workshop on Generative Technologies
• [clean-list] CFP: RV'08 EXTENDED DEADLINE   Martin Leucker
• [clean-list] WRS 2008 - 1st Call for Papers   aart.middeldorp at uibk.ac.at
• [clean-list] stupid question   David Minor
• [clean-list] stupid question   Cristian Baboi
• [clean-list] stupid question   David Minor
• [clean-list] stupid question   TK
• [clean-list] stupid question   Arie Groeneveld
• [clean-list] ACA 2008: Call for Sessions   ACA 2008
• [clean-list] stupid question   TK
• [clean-list] stupid question   Arie Groeneveld
• [clean-list] stupid question   jgogolin at tampabay.rr.com
• [clean-list] CAV Award: Call for Nominations   Aarti Gupta
• [clean-list] CAV 08: 2nd Call for Papers   Aarti Gupta
• [clean-list] stupid question   TK
• [clean-list] Fusion crash -- "collectVariables [BoundVar] (transform, 1227)"   TK
• [clean-list] Re: stupid question   Carlos Aya
• [clean-list] Serious bug in the type system   Edsko de Vries
• [clean-list] Serious bug in the type system   Cristian Baboi
• Fwd: Re: [clean-list] Serious bug in the type system   Cristian Baboi
• Fwd: Re: [clean-list] Serious bug in the type system   Cristian Baboi
• [clean-list] 'nother 'newbie 'question   David Minor
• [clean-list] 'nother 'newbie 'question   David Minor
• [clean-list] 13th Estonian Winter School in Computer Science, 2nd Call for Partic.   Tarmo Uustalu
• [clean-list] 'nother 'newbie 'question   Cristian Baboi
• [clean-list] 'nother 'newbie 'question   Cristian Baboi
• [clean-list] Why drastically different performance of these two implementations?   David C. Norris
• [clean-list] Multi platform library organization   Bas Lijnse
• [clean-list] Why tail-recursive convolution 4x slower than array comprehension?   David C. Norris
• [clean-list] Fusion crash -- "collectVariables [BoundVar] (transform, 1227)"   John van Groningen
• [clean-list] Serious bug in the type system   John van Groningen
• [clean-list] Fusion crash -- "collectVariables [BoundVar] (transform, 1227)"   TK
• [clean-list] Special issue of the Journal of Symbolic Computation on "Automated Deduction: Decidability, Complexity, Tractability''   Viorica Sofronie-Stokkermans
• [clean-list] MPC 2008: SECOND CALL FOR PAPERS   Christine Paulin
• [clean-list] concept misunderstanding   Jigang Sun
• [clean-list] PEPM 2008 Call For Participation -- ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (with POPL 2008)   John Hatcliff
• [clean-list] Postdoc opening in Nancy (France)   Claire Gardent
• [clean-list] (EC)^2: Call for Position Papers   EC2

Last message date: Mon Dec 31 19:12:06 MEST 2007
Archived on: Wed Jan 2 14:51:06 MEST 2008

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