2005 Archives by author

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

Starting: Mon Jan 3 20:56:53 MEST 2005
Ending: Sat Dec 31 14:19:06 MEST 2005
Messages: 163

[clean-list] ICLP 2005: Call for Posters ICLP 2005
[clean-list] Future? Michael Götzsche
[clean-list] slown down by time annotation Valéry Croizier
[clean-list] slown down by time annotation Valéry Croizier
[clean-list] slown down by time annotation Valéry Croizier
[clean-list] long_long_int 박 성빈
[clean-list] program terminate... 박 성빈
[clean-list] program terminate... 박 성빈
[clean-list] Which editor? Dieter Büttner
[clean-list] Can anyone improve this program? Peter Achten
[clean-list] [Announcement] Japanese localized version of Clean Peter Achten
[clean-list] questions about uniqueness Peter Achten
[clean-list] Re: Clean and the Open-Source community Arjen
[clean-list] "dummies guide" to structuring a program for uniqueness typing Diederik van Arkel
[clean-list] "dummies guide" to structuring a program for uniqueness typing Diederik van Arkel
[clean-list] questions about uniqueness Diederik van Arkel
[clean-list] Derived type invalid? Diederik van Arkel
[clean-list] PADL 2006 -- CALL FOR PAPERS Logic Programming Rsrch Association
[clean-list] PADL'06 Call for Papers Logic Programming Rsrch Association
[clean-list] PADL 2006: Final Call For Papers Logic Programming Rsrch Association
[clean-list] PADL 2006 Call for Participation Logic Programming Rsrch Association
[clean-list] PADL Deadline for Reduced Registration rate extended to 20th Dec. Logic Programming Rsrch Association
[clean-list] ICFP 2005 - Call for Participation Dariusz Biernacki
[clean-list] *** ICFP '06 CALL FOR WORKSHOP PROPOSALS *** Matthias Blume
[clean-list] REMINDER: Proposals for workshops (ICFP '06) due this Friday! Matthias Blume
[clean-list] IFL'05 - preliminary CFP Andrew Butterfield
[clean-list] IFL'05 - 2nd Call for Papers (new: Accomodation/Registration details) Andrew Butterfield
[clean-list] IFL'05 CFP and Registration reminder Andrew Butterfield
[clean-list] Journal "Logical Methods in CS" Logical Methods in CS
[clean-list] future of clean Dieter
[clean-list] Which editor? Dieter
[clean-list] Which editor? Bas van Dijk
[clean-list] future of clean Bas van Dijk
[clean-list] future of clean Bas van Dijk
[clean-list] future of clean Bas van Dijk
[clean-list] Which editor? Arnout Engelen
Clean and the Open-Source community (was: Re: [clean-list] future of clean) Arnout Engelen
[clean-list] PPDP 2005 Second Call for Papers Amy Felty
[clean-list] PPDP 2005 Submission Deadline Extended to February 22 Amy Felty
[clean-list] 2005 ICFP Programming Contest Robby Findler
[clean-list] Directory module Satoshi Fujiwara
[clean-list] "dummies guide" to structuring a program for uniqueness typing Isaac Gouy
[clean-list] "dummies guide" to structuring a program for uniqueness typing Isaac Gouy
[clean-list] htoclean question John van Groningen
[clean-list] Re: CleanCompiler and -P option John van Groningen
[clean-list] build clean 2.1.1 from source on FC 4 using gcc 4.0 John van Groningen
[clean-list] Strange uniqueness John van Groningen
[clean-list] where clause and list comprehensions John van Groningen
[clean-list] FLOPS 2006 Call for Papers Masami Hagiya
[clean-list] [ANNOUNCEMENT]: TFP '05: First Call for Papers Kevin Hammond
[clean-list] [ANNOUNCEMENT]: TFP '05: Second Call for Papers Kevin Hammond
[clean-list] [ANNOUNCEMENT]: TFP '05: Third & Final Call for Papers Kevin Hammond
[clean-list] CfP: Curry and Functional Logic Programming 2005 Michael Hanus
[clean-list] questions about Clean learning RT Happe
[clean-list] program terminate... Shin Sahara from Home
[clean-list] program terminate... Shin Sahara from JFITS
[clean-list] discussing issues of uniqueness typing Wolfgang Jeltsch
[clean-list] discussing issues of uniqueness typing Wolfgang Jeltsch
[clean-list] uniqueness correction Wolfgang Jeltsch
[clean-list] files unique or not unique for reading? Wolfgang Jeltsch
[clean-list] uniqueness attributes of data constructors Wolfgang Jeltsch
[clean-list] uniqueness attributes of data constructors Wolfgang Jeltsch
[clean-list] uniqueness attributes of data constructors Wolfgang Jeltsch
[clean-list] uniqueness attributes of data constructors Wolfgang Jeltsch
[clean-list] instantiation of attributed type variables Wolfgang Jeltsch
[clean-list] instantiation of attributed type variables Wolfgang Jeltsch
[clean-list] instantiation of attributed type variables Wolfgang Jeltsch
[clean-list] AMAST06 CFP (Feb closing date) Michael Johnson
[clean-list] Tutorial on Brazilian site Kaj
[clean-list] SourceForge Again Marco Kesseler
[clean-list] future of clean Marco Kesseler
[clean-list] future of clean Marco Kesseler
[clean-list] Re: Clean and the Open-Source community Marco Kesseler
[clean-list] funlib dowloadable packages Marco Kesseler
[clean-list] order of parameters of "fwrites" Marco Kesseler
[clean-list] funlib new file IO Marco Kesseler
[clean-list] future of clean Guido Kollerie
[clean-list] future of clean Guido Kollerie
[clean-list] long_long_int Pieter Koopman
[clean-list] program terminate... Pieter Koopman
[clean-list] order of parameters of "fwrites" Pieter Koopman
[clean-list] interactive top level / REPL for Clean? Pieter Koopman
[clean-list] build clean 2.1.1 from source on FC 4 using gcc 4.0 Corrin Lakeland
[clean-list] CFP: International Summer School On Applied Semantics 2005 Hans-Wolfgang Loidl
[clean-list] CfP: Applied Semantics, Special Issue of J of TCS Hans-Wolfgang Loidl
Betr.: [clean-list] Combine two library versions in one executable? Paul de Mast
Betr.: [clean-list] Question about internal overloading / type conflict Paul de Mast
Betr.: Re: [clean-list] slown down by time annotation Paul de Mast
[clean-list] .abc file information Neil Mitchell
[clean-list] TFP2006: call for papers Henrik Nilsson
[clean-list] TFP2006: Second Call for Papers Henrik Nilsson
[clean-list] Re: Clean and the Open-Source community Richard A. O'Keefe
[clean-list] Can anyone improve this program? Nick Oosterhof
[clean-list] Can anyone improve this program? Nick Oosterhof
[clean-list] interactive top level / REPL for Clean? Chris Perkins
[clean-list] Call For Papers: ISMM 2006 (International Symposium on Memory Management) Erez Petrank
[clean-list] ICFP 2005 - Final Call for Papers Benjamin C. Pierce
Clean and the Open-Source community (was: Re: [clean-list] future of clean) Geoffrey Plitt
[clean-list] Re: Clean and the Open-Source community Geoffrey Plitt
[clean-list] Re: Clean and the Open-Source community Brian Rogoff
[clean-list] post-doc job in functional programming Colin Runciman
[clean-list] Re: Clean and the Open-Source community Ronny Wichers Schreur
[clean-list] htoclean question John Small
[clean-list] instantiation of attributed type variables Sjaak Smetsers
[clean-list] Which editor? Glenn Strong
[clean-list] Can anyone improve this program? Jigang Sun
[clean-list] Can anyone improve this program? Jigang Sun
[clean-list] questions about Clean learning Jigang Sun
[clean-list] Curry type assignment algorithm question Jigang Sun
[clean-list] Fw: Curry type assignment algorithm question Jigang Sun
[clean-list] appeal for explanation to Curry-type assignment algorithm Jigang Sun
[clean-list] Clean 2.1.1 available for Windows, Macintosh, Linux and Solaris Clean Support
[clean-list] RTA'06: 1st Call for Papers Ralf Treinen
[clean-list] RTA'06: 2nd Call for Papers Ralf Treinen
[clean-list] MPC 2006 First Call for Papers Tarmo Uustalu
[clean-list] where clause and list comprehensions Valery
[clean-list] where clause and list comprehension Valery
[clean-list] Directory module Valery
[clean-list] questions about uniqueness Valery
[clean-list] Re: Clean and the Open-Source community Martijn Vervoort
[clean-list] Re: Clean and the Open-Source community Martijn Vervoort
[clean-list] Re: Clean and the Open-Source community Martijn Vervoort
[clean-list] Final CFP: GPCE'05 -- Generative Programming and Component Engineering Eelco Visser
[clean-list] Call for Participation: GPCE'05 - Generative Programming and Component Engineering Eelco Visser
[clean-list] Last call for registration: GPCE'05 (deadline 2 september) Eelco Visser
[clean-list] POPL 06 Call for Papers David Walker
[clean-list] SPACE 2006: Call for Papers David Walker
[clean-list] POPL 2006 Call for Participation David Walker
[clean-list] future of clean Arjen van Weelden
[clean-list] Re: Clean and the Open-Source community Arjen van Weelden
[clean-list] Re: Clean and the Open-Source community Arjen van Weelden
[clean-list] files unique or not unique for reading? Arjen van Weelden
[clean-list] slown down by time annotation Arjen van Weelden
[clean-list] uniqueness attributes of data constructors Arjen van Weelden
[clean-list] uniqueness attributes of data constructors Arjen van Weelden
[clean-list] questions about uniqueness Arjen van Weelden
[clean-list] SAS 2006: First Call for Paper Kwangkeun Yi
[clean-list] Combine two library versions in one executable? Tomasz Zielonka
[clean-list] Combine two library versions in one executable? Tomasz Zielonka
[clean-list] cfp - Summer School in Functional Programming - Budapest, July 2005 HORVATH Zoltan
[clean-list] newline in EditControl Erik Zuurbier
[clean-list] combin two library versions in one executable? Erik Zuurbier
[clean-list] Combine two library versions in one executable? Erik Zuurbier
[clean-list] "dummies guide" to structuring a program foruniqueness typing Erik Zuurbier
[clean-list] "dummies guide" to structuring a program for uniqueness typing Erik Zuurbier
[clean-list] Clean and C linking aroan
[clean-list] CleanCompiler and -P option aroan
[clean-list] Question about internal overloading / type conflict clean-list.mail.zooloo at xoxy.net
[clean-list] Derived type invalid? clean-list.mail.zooloo at xoxy.net
[clean-list] interactive top level / REPL for Clean? clean-list.mail.zooloo at xoxy.net
[clean-list] Re: some questions concerning CLR2.1, page 40f clean-list.mail.zooloo at xoxy.net
[clean-list] lazy list as strict argument clean-list.mail.zooloo at xoxy.net
[clean-list] slown down by time annotation erik.zuurbier at tiscali.nl
[clean-list] uniqueness attributes of data constructors erik.zuurbier at tiscali.nl
[clean-list] Strange uniqueness erik.zuurbier at tiscali.nl
[clean-list] order of parameters of "fwrites" erik.zuurbier at tiscali.nl
[clean-list] FM'06: CFP event at mail.in.tu-clausthal.de
[clean-list] order of parameters of "fwrites" lethevert
[clean-list] order of parameters of "fwrites" lethevert
[clean-list] order of parameters of "fwrites" lethevert
[clean-list] future of clean rinus plasmeijer
[clean-list] future of clean rinus plasmeijer
[clean-list] build clean 2.1.1 from source on FC 4 using gcc 4.0 sofreshsoclean at itsbeen.sent.com

Last message date: Sat Dec 31 14:19:06 MEST 2005
Archived on: Sat Dec 31 14:19:10 MEST 2005

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

This archive was generated by Pipermail 0.09 (Mailman edition).