2006 Archives by subject

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

Starting: Tue Jan 3 15:41:57 MEST 2006
Ending: Tue Dec 26 01:55:05 MEST 2006
Messages: 330

• [clean-list] 'Heap Full' error   lethevert
• [clean-list] (CFP) Workshop on Logic-based Methods in Programming Environments   event at in.tu-clausthal.de
• [clean-list] *ALPSWS2006 Deadline Extended*   event at in.tu-clausthal.de
• [clean-list] *FMCAD 2006 Deadline Extended*   event at in.tu-clausthal.de
• [clean-list] .abc file information   lethevert
• [clean-list] .abc file information   lethevert
• [clean-list] .abc file information   Pieter Koopman
• [clean-list] 1st Asian Working Conference on Verified Software   Chris George
• [clean-list] 1st DASMOD Summer School: Computer Science, Modeling, and Applied Mathematics   event at in.tu-clausthal.de
• [clean-list] 2nd Call for Papers: CHR 2006   event at in.tu-clausthal.de
• [clean-list] 2nd CFP: 3rd International Verification Workshop, VERIFY'06   event at in.tu-clausthal.de
• [clean-list] 2nd CFP: Programming Languages and Analysis for Security (PLAS) 2006   Steve Zdancewic
• [clean-list] 2nd CFP: Qualitative Constraint Calculi -- Workshop @ KI 2006   event at in.tu-clausthal.de
• [clean-list] 2nd CFP: Web-based Support Systems (WSS'06)   JingTao Yao
• [clean-list] 2nd CFP: Workshop on Generic Programming 2006   Ralf Hinze
• [clean-list] 3rd Call for Papers RTA'06   Ralf Treinen
• [clean-list] 9th Symposium on Practical Aspects of Declarative Langs (Call for Participation)   Gopal Gupta
• [clean-list] [ Bug ] duplicate ClassOrGenericName in ClassContext -> compiler crash   TK
• [clean-list] [ Bug ] duplicate ClassOrGenericName in ClassContext -> compiler crash   Arjen van Weelden
• [clean-list] [ Bug ] duplicate ClassOrGenericName in ClassContext -> compiler crash   Arjen van Weelden
• [clean-list] [ standards design ] StdEnv StdList ( instance toString [x] ) -- possibly superfluous behavior   Arjen van Weelden
• [clean-list] [ standards design ] StdEnv StdList ( instance toString [x] ) -- possibly superfluous behavior   TK
• [clean-list] [ standards design ] StdEnv StdList ( instance toString [x] ) -- possibly superfluous behavior   Arjen van Weelden
• [clean-list] [Esslli2006.dist] FW: ESSLLI 2006: Call for participation   event at in.tu-clausthal.de
• [clean-list] ACL2 2006 Call for Papers   Panagiotis Manolios
• [clean-list] ACL2 2006 Call For Participation   Panagiotis Manolios
• [clean-list] ACM PPDP'06   event at in.tu-clausthal.de
• [clean-list] AOSD 2007   event at in.tu-clausthal.de
• [clean-list] aosd 2007   Oege.de.Moor at comlab.ox.ac.uk
• [clean-list] aosd 2007   Oege.de.Moor at comlab.ox.ac.uk
• [clean-list] AOSD 2007: final call   Oege.de.Moor at comlab.ox.ac.uk
• [clean-list] ARES 2007: Paper Submission System is ready - Submission Deadline 19-11-2006   Nguyen Manh Tho
• [clean-list] BigInt & GMP on Linux   Isaac Gouy
• [clean-list] BigInt & GMP on Linux   John van Groningen
• [clean-list] BigInt & GMP on Linux   Ronny Wichers Schreur
• [clean-list] BigInt & GMP on Linux   Isaac Gouy
• [clean-list] Calculemus 2007: First Call for Papers   Manuel Kauers
• [clean-list] Calculemus 2007: Second Call for Papers   Manuel Kauers
• [clean-list] Call for book chapters   Bhanu Prasad
• [clean-list] call for MSc research question   Jigang Sun
• [clean-list] call for MSc research question   Arjen van Weelden
• [clean-list] call for MSc research question   Marco Kesseler
• [clean-list] Call for papers   event at in.tu-clausthal.de
• [clean-list] Call for papers   Samuel Pyne
• [clean-list] Call for papers - CISIS 2007: First International Conference on Complex, Intelligent and Software Intensive Systems   Nguyen Manh Tho
• [clean-list] Call for papers - CISIS 2007: First International Conference on Complex, Intelligent and Software Intensive Systems   Nguyen Manh Tho
• [clean-list] Call for Papers - GPCE'06   Emir Pasalic
• [clean-list] Call for papers for B 2007 conference   Jacques Julliand
• [clean-list] CALL FOR PAPERS TFP2007   Marko van Eekelen
• [clean-list] Call for Papers: TESTCOM / FATES '07   Jan Tretmans
• [clean-list] Call for papers: FM-Ed'06 - Formal Methods in the Teaching Lab   J.N. Oliveira
• [clean-list] Call for papers: IEEE Second Symposium on Industrial Embedded Systems - SIES'2007, July 4-6, 2007, Lisbon, Portugal   Ricardo J. Machado
• [clean-list] Call For Papers: TACAS 2007   Grumberg + Huth
• [clean-list] Call for Papers: Workshop on Modeling in Software Engineering @ ICSE 2007 (MISE 2007)   Steffen Zschaler
• [clean-list] Call for papers: Workshop on Termination (WST 2006)   Harald Sondergaard
• [clean-list] Call for Participation RTA'06   Ralf Treinen
• [clean-list] Call for Participation: PLAS 2006   Steve Zdancewic
• [clean-list] Call for Participation: Scheme & Functional Programming Workshop 2006   Robby Findler
• [clean-list] Call for participation: Workshop on Generic Programming 2006   Ralf Hinze
• [clean-list] Calling C with side effects   Matthew Bromberg
• [clean-list] Calling C with side effects   John van Groningen
• [clean-list] Calling C with side effects   John van Groningen
• [clean-list] Calling C with side effects   Matthew Bromberg
• [clean-list] Calling C with side effects   John van Groningen
• [clean-list] Calling C with side effects   Matthew Bromberg
• [clean-list] CAV 2007: Call for Papers   CAV 2007 Announcements
• [clean-list] CAV 2007: Call for Workshop Proposals   CAV 2007
• [clean-list] CERTSOFT'06: CFP   Jeffery Zucker
• [clean-list] CERTSOFT'06: Revised CFP   Jeffery Zucker
• [clean-list] CFP for Practical Aspects of Declarative Languages: 9th Symposium   Gopal Gupta
• [clean-list] CFP IEEE Symposium on Industrial Embedded Systems - IES'2006, Antibes - France, October 2006   Luis Gomes
• [clean-list] CFP IFL 2006, Budapest, Sep 4-6, 2006   HORVATH Zoltan
• [clean-list] CFP2: Mathematically Structured Functional Programming   Conor McBride
• [clean-list] CFP2: Mathematically Structured Functional Programming   Conor McBride
• [clean-list] CfP: FACS'06 - Formal Aspects of Component Software   Vladimir Mencl
• [clean-list] CFP: Formal and Computational Cryptography (FCC 2006)   event at in.tu-clausthal.de
• [clean-list] CFP: IEEE in cooperated International Conference on Computational Intelligence for Modelling, Control and Automation   Mohammadian, Masoud
• [clean-list] CFP: LFMTP 2006   event at in.tu-clausthal.de
• [clean-list] CFP: Mathematically Structured Functional Programming   Conor McBride
• [clean-list] CfP: MOMPES 2007, published by IEEE CS Press   Ricardo J. Machado
• [clean-list] CfP: MOMPES 2007, published by IEEE CS Press   Ricardo J. Machado
• [clean-list] CFP: Partial Evaluation and Program Manipulation (PEPM'07)   Eelco Visser
• [clean-list] CFP: Programming Languages and Analysis for Security (PLAS) 2006   Steve Zdancewic
• [clean-list] CFP: Workshop on Generic Programming 2006   Ralf Hinze
• [clean-list] CFV'06: Call for Papers   Miroslav Velev
• [clean-list] Clean 2.1.1 Linux installation problem   Juraj Hercek
• [clean-list] Clean 2.1.1 Linux installation problem   John van Groningen
• [clean-list] Clean 2.1.1 Linux installation problem   Juraj Hercek
• [clean-list] Clean 2.2 available for Windows, PowerMacintosh, Linux and Solaris   Clean Support
• [clean-list] Clean 2.2 available for Windows, PowerMacintosh, Linux and Solaris   Philip Matthews
• [clean-list] Clean 2.2 available for Windows, PowerMacintosh, Linux and Solaris   John van Groningen
• [clean-list] Clean compiler and Linux x86_64   malaquias at iceb.ufop.br
• [clean-list] Clean compiler and Linux x86_64   Gabriel Kronberger
• [clean-list] Clean compiler and Linux x86_64   John van Groningen
• [clean-list] Clean compiler and Linux x86_64   j.romildo at gmail.com
• [clean-list] Clean compiler and Linux x86_64   John van Groningen
• [clean-list] Clean on FreeBSD   Guilherme Fernandes de Souza Miguel
• [clean-list] Clean on FreeBSD   Guilherme Fernandes de Souza Miguel
• [clean-list] Clean on Java VM   lethevert
• [clean-list] Clean on Java VM   John van Groningen
• [clean-list] Clean on Java VM   Arjen van Weelden
• [clean-list] Clean on Java VM   lethevert
• [clean-list] Clean on Java VM   T.Yamauchi
• [clean-list] Clean unimplement code   todoroki
• [clean-list] compiler stack overflow   Divianszky Peter
• [clean-list] Computer Language Shoot Out   Philippos Apolinarius
• [clean-list] Computer Language Shoot Out   Diederik van Arkel
• [clean-list] Concurrent Clean?   Fernando Mato Mira
• [clean-list] Concurrent Clean?   John van Groningen
• [clean-list] Concurrent Clean?   Fernando Mato Mira
• [clean-list] Concurrent Clean?   John van Groningen
• [clean-list] DALT 2006 deadline approaching   event at in.tu-clausthal.de
• [clean-list] deadline extension VERIFY'06   event at in.tu-clausthal.de
• [clean-list] Deadline Extension: Mathematically Structured Functional Programming   Conor McBride
• [clean-list] declaration order   Jigang Sun
• [clean-list] definition module vs implementation module   Jigang Sun
• [clean-list] DISPROVING '06 2nd Call f. Papers   event at in.tu-clausthal.de
• [clean-list] ESSLLI 2007 Student Session - Second Call for Papers   Ville Nurmi
• [clean-list] ESSLLI'06 Student Session: Final Call for Papers   Sophia Katrenko
• [clean-list] European MSc in Computational Logic - more grants available   event at in.tu-clausthal.de
• [clean-list] EXTENDED DEADLINE : CFP IEEE Symposium on Industrial Embedded Systems - IES'2006, Antibes - France, October 2006   Luis Gomes
• [clean-list] Final CFP: 9th Int'l Symposium on Practical Aspects of Declarative Languages (PADL)   Gopal Gupta
• [clean-list] Final CFP: Programming Languages and Analysis for Security (PLAS) 2006   Steve Zdancewic
• [clean-list] Final CFP: Scheme & Functional Programming Workshop 2006   Robby Findler
• [clean-list] FLoC'06 - Call for Papers   Kreutzer + Schweikardt
• [clean-list] FLoC'06 -- Call for Participation   Kreutzer + Schweikardt
• [clean-list] FM'06 - Doctoral Symposium - Call for Submissions   Augusto Sampaio
• [clean-list] FM'06 Doctoral Symposium   Augusto Sampaio
• [clean-list] FM'06: 2nd CFP   event at in.tu-clausthal.de
• [clean-list] FM'06: 2nd CFP   Jeffery Zucker
• [clean-list] FM06 - Doctoral Symposium - FINAL CALL   Augusto Sampaio
• [clean-list] FMCAD 2006 Call for Papers -- http://fmcad.org/2006   Panagiotis Manolios
• [clean-list] FMCAD 2006 Call For Participation   Panagiotis Manolios
• [clean-list] FMCAD 2006 Second Call for Papers   Panagiotis Manolios
• [clean-list] FMCAD 2006 Second Call for Papers   event at in.tu-clausthal.de
• [clean-list] FMCAD 2006 Workshop on Pre- and Post-Silicon Verification Call For Participation   Panagiotis Manolios
• [clean-list] FMICS'06 Call for Papers   Martin Leucker
• [clean-list] FMICS'06: Call for Papers   Martin Leucker
• [clean-list] FMICS, FINAL CFP, DL: 06/05/06   Martin Leucker
• [clean-list] FMICS06 - Call for Participation   Martin Leucker
• [clean-list] Formal Methods 2006: Call for Demos (Commercial and Research) and Posters   Marsha Chechik
• [clean-list] FORMAL METHODS 2006: Call for Participation   Jeffery Zucker
• [clean-list] FORMAL METHODS 2006: Early Reg. Deadline   Jeffery Zucker
• [clean-list] Fun in the Afternoon: Thurs 16th Nov in Oxford   Jeremy.Gibbons at comlab.ox.ac.uk
• [clean-list] GPCE'06 Call for Tutorials/Workshops   Emir Pasalic
• [clean-list] Grammar definition inconsistent in language report   John van Groningen
• [clean-list] Grammar definition inconsistent in language report   Jigang Sun
• [clean-list] GUI for Clean   Reny Cury Filho
• [clean-list] Haskell Workshop 2006 Call for papers   Andres Loeh
• [clean-list] Haskell Workshop 2006 Second call for papers   Andres Loeh
• [clean-list] Help in clean and c, create dll   Fabricio Leonard
• [clean-list] History of "Clean Functional Language."   rinus plasmeijer
• [clean-list] howto generate a dll and call Clean from C   Marco Kesseler
• [clean-list] htoclean sorrows   Matthew Bromberg
• [clean-list] htoclean sorrows   Marco Kesseler
• [clean-list] htoclean sorrows   John van Groningen
• [clean-list] htoclean sorrows   Matthew Bromberg
• [clean-list] htoclean sorrows   SevenThunders
• [clean-list] htoclean sorrows   John van Groningen
• [clean-list] htoclean sorrows   SevenThunders
• [clean-list] htoclean sorrows   Matthew Bromberg
• [clean-list] htoclean sorrows   Matthew Bromberg
• [clean-list] htoclean sorrows   SevenThunders
• [clean-list] htoclean sorrows   Matthew Bromberg
• [clean-list] htoclean sorrows   John van Groningen
• [clean-list] htoclean sorrows   John van Groningen
• [clean-list] htoclean sorrows   John van Groningen
• [clean-list] htoclean sorrows   Matthew Bromberg
• [clean-list] htoclean sorrows   Matthew Bromberg
• [clean-list] htoclean sorrows   Diederik van Arkel
• [clean-list] htoclean sorrows   Matthew Bromberg
• [clean-list] htoclean sorrows   Matthew Bromberg
• [clean-list] htoclean sorrows   SevenThunders
• [clean-list] htoclean sorrows   John van Groningen
• [clean-list] htoclean sorrows   John van Groningen
• [clean-list] htoclean sorrows   Matthew Bromberg
• [clean-list] htoclean sorrows   John van Groningen
• [clean-list] ICFEM 2006 CALL FOR PARTICIPATION   Chris George
• [clean-list] ICFEM 2006: 2nd Call for Contributions   Chris George
• [clean-list] ICFEM 2006: final call for contributions and extended deadline   Chris George
• [clean-list] ICFP 2007 Call for Workshop Proposals   Graham Hutton
• [clean-list] ICSSEA 2006 International Conference Software & Systems Engineerng and their Applications   Jean-Claude RAULT
• [clean-list] ICSSEA 2006: International Conference "Software & Systems Engineerng and their Applications"   Jean-Claude RAULT
• [clean-list] ICTAC 2006: Final call for papers   Chris George
• [clean-list] ICTAC 2006: Final call for tutorials   Chris George
• [clean-list] IFL 2006: Paper submission and registration deadline approaching   HORVATH Zoltan
• [clean-list] Importing operator (>)   j.romildo at gmail.com
• [clean-list] Importing operator (>)   Arjen van Weelden
• [clean-list] Integrated Formal Methods 2007: First call for technical papers   Jeremy.Gibbons at comlab.ox.ac.uk
• [clean-list] Interesting run-time error   Hernyák Zoltán
• [clean-list] Interesting run-time error   Hernyák Zoltán
• [clean-list] Interesting run-time error   Arjen van Weelden
• [clean-list] Interesting run-time error   Edsko de Vries
• [clean-list] Interesting run-time error   Pieter Koopman
• [clean-list] Is it possible to use Dynamics to do Multi-Stage   E. Zuurbier (Erik)
• [clean-list] Is it possible to use Dynamics to do Multi-Stage   erik.zuurbier at tiscali.nl
• [clean-list] Is it possible to use Dynamics to do Multi-Stage Programming in Clean?   Arjen van Weelden
• [clean-list] Is it possible to use Dynamics to do Multi-Stage Programming in Clean?   Arjen van Weelden
• [clean-list] Is it possible to use Dynamics to do Multi-Stage Programming in Clean?   Alexsandro Soares
• [clean-list] is my lazy parsing effective?   erik.zuurbier at tiscali.nl
• [clean-list] is my lazy parsing effective?   Jigang Sun
• [clean-list] Last call for papers: Workshop on Termination (WST 2006)   Harald Sondergaard
• [clean-list] Last CFP: FM-Ed'06 - Formal Methods in the Teaching Lab   J.N. Oliveira
• [clean-list] Licenses   Alex Goldman
• [clean-list] Licenses   Pieter Koopman
• [clean-list] Licenses   Arnout Engelen
• [clean-list] LOPSTR'06 in Venice, Italy -- Call for Papers   LOPSTR 2006
• [clean-list] LPAR 2006, 2nd Call For Papers   event at in.tu-clausthal.de
• [clean-list] Missing libraries in the Linux version of Clean   j.romildo at gmail.com
• [clean-list] Missing libraries in the Linux version of Clean   Arjen van Weelden
• [clean-list] MPC 2006 2nd Call for Papers   Tarmo Uustalu
• [clean-list] Object I/O on different than windows platforms   Juraj Hercek
• [clean-list] Object I/O on different than windows platforms   Arjen van Weelden
• [clean-list] Object I/O on different than windows platforms   Arjen van Weelden
• [clean-list] Object I/O on different than windows platforms   Juraj Hercek
• [clean-list] OpenGL   Jeff Ervin
• [clean-list] OpenGL   Jeff Ervin
• [clean-list] OpenGL   Bas van Dijk
• [clean-list] OpenGL   Jeff Ervin
• [clean-list] OpenGL   Arjen van Weelden
• [clean-list] OpenGL   Jeff Ervin
• [clean-list] OpenGL   Jeff Ervin
• [clean-list] output of startIO   erik.zuurbier at tiscali.nl
• [clean-list] output of startIO   Arjen van Weelden
• [clean-list] output of startIO   Peter Achten
• [clean-list] PADL'07: CALL FOR PAPERS   Gopal Gupta
• [clean-list] parsing ambiguity   Arjen van Weelden
• [clean-list] parsing ambiguity   Jigang Sun
• [clean-list] Partial application of list constructor   j.romildo at gmail.com
• [clean-list] Partial application of list constructor   Edsko de Vries
• [clean-list] PEPM 2007 - Deadline extension   Ganesan Ramalingam
• [clean-list] POPL 2007 Call for Papers   Sorin Lerner
• [clean-list] POPL 2007 Call for Participation   Sorin Lerner
• [clean-list] PPDP 2006 - call for participation   event at in.tu-clausthal.de
• [clean-list] Process starting   Hernyák Zoltán
• [clean-list] Process starting   Arjen van Weelden
• [clean-list] Process starting   Hernyák Zoltán
• [clean-list] Process starting   Arjen van Weelden
• [clean-list] Process starting   Hernyák Zoltán
• [clean-list] Process starting   Marco Kesseler
• [clean-list] Process starting   Arjen van Weelden
• [clean-list] Process starting   Marco
• [clean-list] Process starting   Arjen
• [clean-list] Process starting   Isaac Gouy
• [clean-list] Process starting   Marco
• [clean-list] question about implicit imports of definition   Arjen van Weelden
• [clean-list] question about implicit imports of definition   Jigang Sun
• [clean-list] questions about ClassDef   Jigang Sun
• [clean-list] Re: 'Heap Full' error   Maarten de Mol
• [clean-list] Re: 'Heap Full' error   lethevert
• [clean-list] Re: CfP: Scenarios and State Machines at ICSE 2007   Kicillof, Nicolas (UBA)
• [clean-list] Registration open for IFL 2006, Budapest, Sep 4-6, 2006   HORVATH Zoltan
• [clean-list] Reminder: Summer School "Reasoning Web 2006", final week for applications   event at in.tu-clausthal.de
• [clean-list] Repeated type variable in multi-parameter type classes   Arjen van Weelden
• [clean-list] Repeated type variable in multi-parameter type classes   romildo at iceb.ufop.br
• [clean-list] RTA'07: First Call for Papers   Ashish Tiwari
• [clean-list] RTA'07: Second Call for Papers   Ashish Tiwari
• [clean-list] SAS 2006 Call for Participation   Kwangkeun Yi
• [clean-list] SAS 2007 Preliminary Call for Papers   terkel at imm.dtu.dk
• [clean-list] SAS'06 2nd Call For Papers   Kwangkeun Yi
• [clean-list] SBMF'07 - First Call for Papers   Ana Cavalcanti
• [clean-list] Scheme Workshop 2006   Robby Findler
• [clean-list] Second CFP: Partial Evaluation and Program Manipulation (PEPM'07)   Eelco Visser
• [clean-list] sfopen sorrows?   Philippos Apolinarius
• [clean-list] sfopen sorrows?   Marco Kesseler
• [clean-list] sfopen sorrows?   Marco Kesseler
• [clean-list] sfopen sorrows?   John van Groningen
• [clean-list] sfopen sorrows?   Marco Kesseler
• [clean-list] SPIRE 2006 --- available support for students   event at in.tu-clausthal.de
• [clean-list] status of Clean   rinus plasmeijer
• [clean-list] status of Clean   SevenThunders
• [clean-list] status of Clean   Rinus Plasmeijer
• [clean-list] Sub-arrays   Matthew Bromberg
• [clean-list] Sub-arrays   John van Groningen
• [clean-list] Sub-arrays How do I manipulate an array pointer?   SevenThunders
• [clean-list] Sub-arrays How do I manipulate an array pointer?   John van Groningen
• [clean-list] Sub-arrays How do I manipulate an array pointer?   Matthew Bromberg
• [clean-list] Sub-arrays How do I manipulate an array pointer?   Marco Kesseler
• [clean-list] Sub-arrays How do I manipulate an array pointer?   Matthew Bromberg
• [clean-list] Sub-arrays How do I manipulate an array pointer?   John van Groningen
• [clean-list] system modules howto?   Carlos Aya
• [clean-list] system modules howto?   Arjen van Weelden
• [clean-list] test   Peter Achten
• [clean-list] test 2   Peter Achten
• [clean-list] TFP2006: Call for Participation   Henrik Nilsson
• [clean-list] TFP2006: Last CFP   Henrik Nilsson
• [clean-list] TFP2006: Third Call for Papers   Henrik Nilsson
• [clean-list] Third CFP: Partial Evaluation and Program Manipulation (PEPM'07)   Eelco Visser
• [clean-list] Two questions.   Eduardo Costa
• [clean-list] Two questions.   lethevert
• [clean-list] Understanding Generics   Alexsandro Soares
• [clean-list] Understanding Generics   Arjen van Weelden
• [clean-list] Understanding Generics   Arjen van Weelden
• [clean-list] Understanding Generics   Arjen van Weelden
• [clean-list] Understanding Generics   Alexsandro Soares
• [clean-list] Understanding Generics   Arjen van Weelden
• [clean-list] Understanding Generics   Arjen van Weelden
• [clean-list] understanding list type definition   Jigang Sun
• [clean-list] understanding list type definition   Rinus Plasmeijer
• [clean-list] understanding list type definition   Arjen van Weelden
• [clean-list] UNIF'06 first call for papers   Jordi Levy
• [clean-list] UNIF'06 second call for papers   Jordi Levy
• [clean-list] UNIF'06 second call for papers   Jordi Levy
• [clean-list] unique arrays in unique records   valery at freesurf.fr
• [clean-list] unique arrays in unique records   jerzy.karczmarczuk at info.unicaen.fr
• [clean-list] unique arrays in unique records   Diederik van Arkel
• [clean-list] unique arrays in unique records   valery at freesurf.fr
• [clean-list] unique arrays in unique records   John van Groningen
• [clean-list] uniqueness error   valery at freesurf.fr
• [clean-list] uniqueness error   valery at freesurf.fr
• [clean-list] University of Oxford: Lectureships in Software Engineering   Jeremy.Gibbons at comlab.ox.ac.uk
• [clean-list] Use of ExtededArith with Clean-2.1.1 on Linux   j.romildo at gmail.com
• [clean-list] Use of ExtededArith with Clean-2.1.1 on Linux   Arjen van Weelden
• [clean-list] UTP'07 at IFM: Unifying Theories of Programming   Jeremy.Gibbons at comlab.ox.ac.uk
• [clean-list] variable sharing between expressions, gui app prints 42 at the end, rem/mod inconsistency   Peter Hercek
• [clean-list] variable sharing between expressions, gui app prints 42 at the end, rem/mod inconsistency   Arjen van Weelden
• [clean-list] What did I miss?   Philippos Apolinarius
• [clean-list] What did I miss?   Peter Achten
• [clean-list] why does this program use so little memory?   Isaac Gouy
• [clean-list] why does this program use so little memory?   John van Groningen
• [clean-list] why does this program use so little memory?   Isaac Gouy
• [clean-list] why does this program use so little memory?   Arjen
• [clean-list] why does this program use so little memory?   Isaac Gouy
• [clean-list] windows registry   Carlos Aya
• [clean-list] windows registry   John van Groningen
• [clean-list] WRS06 1st call for paper   wrs06 at redstar.cs.pdx.edu
• [clean-list] WRS06 2nd call for paper   wrs06 at redstar.cs.pdx.edu
• [clean-list] WRS06 last call for paper   wrs06 at redstar.cs.pdx.edu
• [clean-list] WS-FM 2006 2nd Call For Papers (DEADLINE EXTENDED TO MAY 2)   Mario Bravetti
• [clean-list] WS-FM 2006 Call for Partecipation   Mario Bravetti

Last message date: Tue Dec 26 01:55:05 MEST 2006
Archived on: Fri Dec 29 00:22:46 MEST 2006

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