Curry mailing list: by author

.
- external solvers (Mon Jan 03 2005 - 11:16:34 CET)
- MCC doen't want to install (Fri Dec 10 2004 - 10:45:59 CET)
- Re[2]: Flexible Enumerations (Thu Dec 09 2004 - 17:34:54 CET)
- proposition (Wed Dec 08 2004 - 17:14:33 CET)
- Re[2]: Name discussion for new primtive (Wed Dec 08 2004 - 16:56:33 CET)
A.M.King
- LOPSTR 2007 Final Call for Papers (Fri May 25 2007 - 11:31:06 CEST)
- LOPSTR 2007 Call for Papers (Tue May 01 2007 - 11:40:35 CEST)
- LOPSTR 2007 Call for Papers (Thu Mar 29 2007 - 11:26:04 CEST)
Alicia Villanueva
- Last CfP: WWV 2009 (Thu Jan 29 2009 - 15:02:42 CET)
- CfPart: 4th International Workshop on Automated (WWV'08) (Mon Jun 23 2008 - 10:58:09 CEST)
- CfPart: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08) (Sat Jun 21 2008 - 17:22:58 CEST)
- DEADLINE EXTENSION: (WFLP'08) 17th Int'l Workshop on Functional and (Constraint) Logic Programming (Wed Apr 23 2008 - 19:06:03 CEST)
Amy Felty
- PPDP 2005 Call for Participation (Wed May 18 2005 - 06:02:23 CEST)
- PPDP 2005 Submission Deadline Extended to February 22 (Wed Feb 16 2005 - 03:35:55 CET)
- PPDP 2005 Second Call for Papers (Fri Jan 21 2005 - 17:55:23 CET)
- PPDP 2005 First Call for Papers (Fri Nov 05 2004 - 22:32:13 CET)
António Porto
- [Ppdp09] PPDP'09 - EXTENDED DEADLINES (Mon May 04 2009 - 10:26:37 CEST)
- PPDP'09 - 2nd CfP (Tue Apr 14 2009 - 15:16:41 CEST)
- PPDP'09 - 1st CfP (Mon Mar 16 2009 - 17:48:32 CET)
Bernd Brassel
- Re: Type-classes and call-time choice vs. run-time choice (Fri Aug 28 2009 - 17:31:06 CEST)
- Re: Type-classes and call-time choice vs. run-time choice (Fri Aug 28 2009 - 15:57:58 CEST)
- Re: Type-classes and call-time choice vs. eval-time choice (Fri Aug 28 2009 - 14:50:40 CEST)
- Re: Curry patterns (Wed Apr 15 2009 - 16:11:29 CEST)
- Re: Two to Three Ways to write an unsafe type cast without importing Unsafe (Fri May 16 2008 - 11:47:01 CEST)
- KiCS - The Kiel Curry System (Thu May 15 2008 - 12:52:51 CEST)
- Two to Three Ways to write an unsafe type cast without importing Unsafe (Wed May 14 2008 - 15:43:45 CEST)
- Re: design pattern wanted (Mon Apr 14 2008 - 11:03:24 CEST)
- Re: putting laziness back on the parallelized map (Fri Mar 14 2008 - 10:18:05 CET)
- Re: putting laziness back on the parallelized map (Fri Mar 14 2008 - 10:06:58 CET)
- Re: putting laziness back on the parallelized map (Fri Mar 14 2008 - 10:02:32 CET)
- Re: Parser combinator problem (Mon Feb 11 2008 - 10:36:12 CET)
- Re: Parser combinator problem (Mon Feb 11 2008 - 09:43:07 CET)
- Re: Parser combinator problem (Fri Feb 08 2008 - 14:38:07 CET)
- Re: Intended meaning (Fri Nov 09 2007 - 13:58:48 CET)
- Re: Intended meaning (Tue Nov 06 2007 - 17:53:34 CET)
- Re: Intended meaning (Mon Nov 05 2007 - 12:02:02 CET)
- Re: Intended meaning (Fri Nov 02 2007 - 11:18:20 CET)
- Re: Bug in PAKCS data inspection ¿? (Tue Oct 30 2007 - 10:35:04 CET)
- Re: Intended meaning (Thu Oct 25 2007 - 10:59:04 CEST)
- Re: Bug in PAKCS data inspection ¿? (Thu Oct 25 2007 - 10:24:39 CEST)
- Re: New PAKCS release (Version 1.8.0) (Wed Apr 04 2007 - 12:20:50 CEST)
- Re: New PAKCS release (Version 1.8.0) (Tue Apr 03 2007 - 10:10:44 CEST)
- Re: New PAKCS release (Version 1.8.0) (Mon Apr 02 2007 - 15:05:19 CEST)
- Re: New PAKCS release (Version 1.8.0) (Fri Mar 30 2007 - 14:51:27 CEST)
- Re: New PAKCS release (Version 1.8.0) (Fri Mar 30 2007 - 12:36:21 CEST)
- Re: New PAKCS release (Version 1.8.0) (Thu Mar 29 2007 - 17:21:19 CEST)
- Re: New PAKCS release (Version 1.8.0) (Thu Mar 29 2007 - 17:14:22 CEST)
- Re: type-directed programming (Fri Dec 15 2006 - 12:34:38 CET)
- Re: a proposal featuring a bug (Mon Dec 11 2006 - 12:10:37 CET)
- Re: a proposal featuring a bug (Mon Dec 11 2006 - 09:53:43 CET)
- Re: from static typing to runtime constraints (Mon Dec 11 2006 - 09:44:23 CET)
- Re: from static typing to runtime constraints (Fri Dec 08 2006 - 13:24:51 CET)
- Re: Curry Report Vers. 0.8.2 (Fri Mar 24 2006 - 12:29:29 CET)
- Re: Curry Report Vers. 0.8.2 (Fri Mar 24 2006 - 10:40:43 CET)
- Re: Curry Report Vers. 0.8.2 (Thu Mar 23 2006 - 13:16:37 CET)
- Re: Curry Report Vers. 0.8.2 (Thu Mar 23 2006 - 13:01:13 CET)
- Re: Curry Report Vers. 0.8.2 (Wed Mar 22 2006 - 10:35:36 CET)
- Re: Curry Report Vers. 0.8.2 (Tue Mar 21 2006 - 13:52:55 CET)
- Data structures with labeled fields (Wed Mar 01 2006 - 14:31:16 CET)
- Re: Curry module system (Mon Feb 27 2006 - 15:16:00 CET)
- Re: Curry module system (Mon Feb 27 2006 - 10:17:45 CET)
- Re: Curry module system (Mon Feb 20 2006 - 10:25:42 CET)
- Re: prelude extension proposal (Fri Oct 14 2005 - 15:18:33 CEST)
- Re: prelude extension proposal (Fri Oct 14 2005 - 14:21:57 CEST)
- Re: prelude extension proposal (Fri Oct 14 2005 - 11:54:04 CEST)
- Re: prelude extension proposal (Fri Oct 14 2005 - 11:34:42 CEST)
- Re: prelude extension proposal (Fri Oct 14 2005 - 10:02:09 CEST)
- Re: prelude extension proposal (Tue Oct 11 2005 - 11:52:30 CEST)
- Re: Evaluation Annotations: are they needed? (Tue Nov 16 2004 - 10:13:45 CET)
- Re: Evaluation Annotations: are they needed? (Mon Nov 15 2004 - 11:04:50 CET)
- Re: AW: Name discussion for new primtive (Fri Nov 12 2004 - 16:21:27 CET)
- Re: Name discussion for new primtive (Fri Nov 12 2004 - 10:19:31 CET)
- Re: Name discussion for new primtive (Thu Nov 11 2004 - 12:32:07 CET)
- Re: Name discussion for new primtive (Thu Nov 11 2004 - 12:09:40 CET)
- Name discussion for new primtive (Thu Nov 11 2004 - 11:29:54 CET)
- Re: Evaluation Annotations (Was Re: Proposal: Relaxing restrictions in Curry (Wed Nov 10 2004 - 09:37:40 CET)
- Re: Evaluation Annotations (Was Re: Proposal: Relaxing restrictions in Curry (Fri Nov 05 2004 - 10:17:55 CET)
- Re: Re: Evaluation Annotations (Fri Nov 05 2004 - 10:27:00 CET)
cfp_at_clip.dia.fi.upm.es
- ICLP 2009: Call for Workshop Proposals (Sun Feb 08 2009 - 17:05:29 CET)
Christian Prehofer
- Book Announcement (Sat May 09 1998 - 14:54:40 CEST)
- Re: Curry (Wed Dec 18 1996 - 14:16:55 CET)
ciclops-org_at_clip.dia.fi.upm.es
- CFP: CICLOPS 2008 (Fri Jul 25 2008 - 17:56:30 CEST)
Claus Reinke
- Re: curry on windows (was: encapsulated search) (Sat May 12 2007 - 02:38:26 CEST)
- Re: curry on windows (was: encapsulated search) (Thu May 10 2007 - 11:15:42 CEST)
- Re: curry on windows (was: encapsulated search) (Wed May 09 2007 - 14:51:18 CEST)
- curry on windows (was: encapsulated search) (Tue May 08 2007 - 20:04:57 CEST)
- Re: encapsulated search (Re: New PAKCS release (Version 1.8.0)) (Mon May 07 2007 - 16:02:01 CEST)
- Re: encapsulated search (Re: New PAKCS release (Version 1.8.0)) (Sun May 06 2007 - 01:35:14 CEST)
- Re: call-time choice vs partial application? (Sat May 05 2007 - 03:40:19 CEST)
- Re: call-time choice vs partial application? (Fri May 04 2007 - 23:53:28 CEST)
- call-time choice vs partial application? (Fri May 04 2007 - 17:39:34 CEST)
- Re: encapsulated search (Re: New PAKCS release (Version 1.8.0)) (Fri Apr 27 2007 - 12:59:24 CEST)
- encapsulated search (Re: New PAKCS release (Version 1.8.0)) (Fri Apr 27 2007 - 02:49:20 CEST)
- Re: New PAKCS release (Version 1.8.0) (Tue Apr 24 2007 - 11:30:49 CEST)
- Re: New PAKCS release (Version 1.8.0) (Mon Apr 23 2007 - 11:04:12 CEST)
- Re: New PAKCS release (Version 1.8.0) (Fri Apr 20 2007 - 16:39:34 CEST)
- Re: type-directed programming (Sat Dec 16 2006 - 19:25:48 CET)
- Re: type-directed programming (Fri Dec 15 2006 - 16:28:46 CET)
- Re: type-directed programming (Fri Dec 15 2006 - 14:04:33 CET)
- Re: Curry module system (Mon Feb 27 2006 - 12:29:14 CET)
David Sacher
- Occurs-check in the unification (" =:= ") (Wed Dec 30 1998 - 12:10:37 CET)
demis_at_dimi.uniud.it
- 2nd CFP: 3rd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'07) (Fri Oct 05 2007 - 17:10:17 CEST)
Diego Berrueta
- ANNOUNCE: Zinc Curry Compiler 0.9.1 released (Tue Aug 31 2004 - 23:02:09 CEST)
- ANNOUNCE: Zinc Compiler 0.6.0 released (Thu Jun 10 2004 - 19:08:11 CEST)
Emanuel Kitzelmann
- CFP: Workshop AAIP'09 associated with ICFP'09, extended submission deadline (Tue May 19 2009 - 15:45:07 CEST)
Emilio JesÃºs Gallego Arias
- Re: call-time choice vs partial application? (Fri May 04 2007 - 18:00:23 CEST)
- Re: New PAKCS release (Version 1.8.0) (Tue Apr 10 2007 - 18:47:44 CEST)
- Re: New PAKCS release (Version 1.8.0) (Tue Apr 10 2007 - 19:00:26 CEST)
- Re: New PAKCS release (Version 1.8.0) (Fri Mar 30 2007 - 18:06:23 CEST)
- Re: New PAKCS release (Version 1.8.0) (Fri Mar 30 2007 - 15:16:16 CEST)
- Re: New PAKCS release (Version 1.8.0) (Fri Mar 30 2007 - 12:31:48 CEST)
- Re: New PAKCS release (Version 1.8.0) (Thu Mar 29 2007 - 22:27:13 CEST)
- Re: Curry module system (Fri Jan 27 2006 - 12:59:03 CET)
Enrico Pontelli
- DAMP'10: Call for Participation (Wed Dec 09 2009 - 05:16:59 CET)
- DAMP 2010 - Extended Deadline [September 27th] (Wed Sep 23 2009 - 16:50:31 CEST)
- DAMP 2010: Call for Papers (Wed Sep 02 2009 - 21:34:21 CEST)
Evelyne Contejean
- UNIF'07 second call for papers (Fri Apr 20 2007 - 15:20:12 CEST)
Fausto Spoto
- Second CfP: Bytecode'07 (Fri Nov 24 2006 - 13:30:54 CET)
Fernando Sáenz Pérez
- Re: Editor for Curry (Wed Apr 15 2009 - 18:38:25 CEST)
- TOY 2.3.1 Released (Fri Oct 19 2007 - 10:14:39 CEST)
Francisco J. Lopez Fraguas
- Fw: PPDP'09 - last CfP (Wed Apr 29 2009 - 17:51:39 CEST)
- PPDP 2009 - 2nd CfP (Wed Apr 15 2009 - 12:56:56 CEST)
- Post-doc positions at Universidad Complutense Madrid (Thu Oct 02 2008 - 10:26:21 CEST)
- Re: Intended meaning (Thu Nov 08 2007 - 09:32:15 CET)
- Re: Intended meaning (Tue Nov 06 2007 - 12:53:15 CET)
- Re: WFLP 2006 - SECOND CALL FOR PAPERS (Thu Jun 29 2006 - 11:57:36 CEST)
- WFLP 2006 - SECOND CALL FOR PAPERS (Fri May 19 2006 - 16:04:40 CEST)
- WFLP2006-Call for Papers (Mon Mar 27 2006 - 14:12:13 CEST)
FRANCISCO JAVIER LOPEZ FRAGUAS
- Re: Intended meaning (Wed Nov 07 2007 - 09:16:32 CET)
- Re: Intended meaning (Thu Nov 01 2007 - 08:12:08 CET)
Francisco Javier López Fraguas
- Re: Confused Students (Fri Jun 22 2007 - 02:56:50 CEST)
- Re: New PAKCS release (Version 1.8.0) (Tue Apr 10 2007 - 23:52:40 CEST)
- Re: New PAKCS release (Version 1.8.0) (Thu Mar 29 2007 - 20:23:29 CEST)
Frank Christoph
- Re: Comments from Madrid (Wed Feb 05 1997 - 04:12:48 CET)
Frank Huch
- Re: Curry Report Vers. 0.8.2 (Wed Mar 22 2006 - 18:25:09 CET)
- Re: Curry module system (Fri Feb 17 2006 - 17:36:47 CET)
- TFP 2006: Second CFP (Thu Dec 15 2005 - 22:13:57 CET)
- CfP: IFL'04 16th International Workshop on Implementation and Application of Functional Languages (Wed Jul 14 2004 - 18:24:45 CEST)
- IFL'04 16th International Workshop on Implementation and Application of Functional Languages (Tue Jun 08 2004 - 13:54:44 CEST)
Frank Steiner
- Re: Encapsulated search does not encapsulate(all)non-determinism (Tue Jan 15 2002 - 12:21:02 CET)
- Re: Encapsulated search does not encapsulate (all)non-determinism (Mon Jan 14 2002 - 13:45:55 CET)
- Re: Language changes: Committed choice (Tue Oct 27 1998 - 17:24:27 CET)
- Re: Language changes: Committed choice (Tue Oct 27 1998 - 11:46:36 CET)
- Re: Proposal for syntax changes in Curry (Fri Oct 23 1998 - 16:35:41 CEST)
German Vidal
- FLOPS 2010: Extended submission deadlines (Mon Oct 19 2009 - 12:59:24 CEST)
- FLOPS 2010: Last Call for Papers (Fri Oct 02 2009 - 10:07:25 CEST)
- FLOPS 2010: Second Call for Papers (Tue Sep 01 2009 - 13:04:53 CEST)
- FLOPS 2010: Preliminary Call for Papers (Thu May 14 2009 - 10:40:53 CEST)
- PEPM 2009 - final call for papers (Fri Oct 03 2008 - 12:44:14 CEST)
- [PEPM 2009] Preliminary CFP (Wed Jul 30 2008 - 13:16:41 CEST)
- [SAS-LOPSTR-PPDP-PLID 2008] Call for participation (Thu Jun 05 2008 - 23:12:46 CEST)
- SAS 2008 - Call for participation (Mon May 26 2008 - 10:30:56 CEST)
- DEADLINE EXTENSION - SAS 2008 (Tue Jan 15 2008 - 09:54:38 CET)
- SAS 2008 - Final CFP (Thu Jan 10 2008 - 10:24:29 CET)
- SAS 2008 Third Call for Papers (Wed Jan 02 2008 - 10:05:35 CET)
- SAS 2008 Second Call for Papers (Fri Dec 07 2007 - 12:59:46 CET)
- Re: Committed Choice (Was: Summary of changes) (Mon Dec 06 2004 - 19:09:03 CET)
- Re: Committed Choice (Was: Summary of changes) (Thu Dec 02 2004 - 20:56:18 CET)
- Re: Name discussion for new primtive (Thu Nov 11 2004 - 13:42:51 CET)
- Re: Name discussion for new primtive (Thu Nov 11 2004 - 11:51:37 CET)
- Re: Proposal: restrict multiple guards (Mon Apr 07 2003 - 21:28:52 CEST)
- Re: Proposal: Lazy matching for local patterns (Wed Oct 24 2001 - 22:10:46 CEST)
- Re: Proposal: Lazy matching for local patterns (Wed Oct 24 2001 - 22:05:14 CEST)
- Re: Proposal: Lazy matching for local patterns (Wed Oct 24 2001 - 17:37:54 CEST)
- Re: Proposal: Lazy matching for local patterns (Tue Oct 23 2001 - 17:19:32 CEST)
Gopal Gupta
- PADL'08: Call for Participation (Early Reg. Deadline: Dec 13) (Thu Dec 06 2007 - 23:23:16 CET)
- PADL 2008: Call for Papers (Mon Jun 25 2007 - 16:53:37 CEST)
- 9th Symposium on Practical Aspects of Declarative Langs (Call for Participation) (Tue Nov 21 2006 - 19:17:52 CET)
- Final CFP: 9th Int'l Symposium on Practical Aspects of Declarative Languages (PADL) (Mon Aug 28 2006 - 16:57:27 CEST)
- CFP for Practical Aspects of Declarative Languages: 9th Symposium (Wed Aug 02 2006 - 17:35:20 CEST)
- PADL'07: CALL FOR PAPERS (Fri Jun 23 2006 - 07:10:39 CEST)
Harold Boley
- Announcing Rule Markup Initiative (Mon Nov 13 2000 - 12:41:46 CET)
- Re: Narrowing vs. rewriting (Tue Jul 08 1997 - 15:32:50 CEST)
- Re: Narrowing vs. rewriting (Fri Jul 04 1997 - 16:19:17 CEST)
- Re: Curry design (Thu Jul 03 1997 - 17:54:25 CEST)
- Re: Comments from Madrid (Wed Feb 05 1997 - 09:50:06 CET)
Hendrik Lock
- Re: Curry (Tue Dec 17 1996 - 18:55:13 CET)
Herbert Kuchen
- Re: Name discussion for new primtive (Thu Nov 11 2004 - 11:48:45 CET)
- Re: Evaluation Annotations (Was Re: Proposal: Relaxing restrictions in Curry (Wed Nov 10 2004 - 11:27:34 CET)
- Re: Non-deterministic operation (Thu Jun 10 2004 - 19:54:38 CEST)
- Re: Free variables in Curry (Thu Jan 07 1999 - 14:34:11 CET)
- Re: Local pattern declarations in Curry (Fri Nov 13 1998 - 13:03:45 CET)
- Re: Local pattern declarations in Curry (Thu Nov 12 1998 - 11:30:59 CET)
- Re: Local pattern declarations in Curry (Wed Nov 11 1998 - 13:19:35 CET)
- Re: Local pattern declarations in Curry (Tue Nov 10 1998 - 15:40:29 CET)
- Re: Language changes: Committed choice (Wed Oct 28 1998 - 09:58:11 CET)
- Re: Language changes: Committed choice (Tue Oct 27 1998 - 13:51:22 CET)
- Re: Existential quantification in expression (Fri Oct 23 1998 - 18:53:19 CEST)
- Re: Proposal for syntax changes in Curry (Fri Oct 23 1998 - 14:40:16 CEST)
- Re: Language change proposal (Fri Dec 20 1996 - 11:33:56 CET)
- Re: Curry (Wed Dec 18 1996 - 11:22:39 CET)
- Re: Curry mailing list (welcome) (Mon Dec 16 1996 - 13:52:04 CET)
herme_at_fi.upm.es
- POPL 2010 - Call for Participation - Early Registration Dec 22 (Sat Dec 19 2009 - 03:17:19 CET)
Horatiu Cirstea
- 3rd Call for papers: 6th International Workshop on Rule-Based Programming RULE'05 (Wed Jan 12 2005 - 09:20:11 CET)
Jaime Sánchez Hernández
- Re: Proposal: Change semantics of pattern matching (Tue Oct 03 2000 - 15:03:34 CEST)
Jan Christiansen
- Re: beautiful non-determinism (Tue Jul 28 2009 - 10:04:47 CEST)
- ANNOUNCE: Haskell Communities and Activities Report (15th ed., November 2008) (Fri Nov 28 2008 - 10:16:21 CET)
- Haskell Communities & Activities Report (Thu Oct 09 2008 - 09:52:43 CEST)
- danoM == Comonad ? (Wed Sep 03 2008 - 09:26:18 CEST)
- Haskell Communities and Activities Report (Mon Jun 02 2008 - 10:20:35 CEST)
Johan Boye
- Typesetting program (Fri Jul 04 1997 - 11:43:32 CEST)
John Gallagher
- Call for Participation - PEPM'10 (co-located with POPL'10) (Wed Nov 18 2009 - 18:32:57 CET)
- PEPM'10 - Final CFP (Deadline Tuesday 6 October, 2009 ) (Thu Oct 01 2009 - 16:32:07 CEST)
- PEPM'10 - CFP (Submission: 6 Oct 09, Notification: 29 Oct 09) (Mon Sep 14 2009 - 11:42:42 CEST)
- First Call For Papers: PEPM'10 (Tue Jun 16 2009 - 17:39:06 CEST)
John Lloyd
- Re: killer apps (Thu Jul 10 1997 - 12:34:46 CEST)
- Concurrency (Fri Jul 04 1997 - 16:00:39 CEST)
- Set processing (Fri Jul 04 1997 - 15:42:21 CEST)
- killer apps (Fri Jul 04 1997 - 03:24:52 CEST)
- permute example (Fri Jul 04 1997 - 02:36:09 CEST)
- killer apps (Thu Jul 03 1997 - 18:50:23 CEST)
- Re: Narrowing vs. rewriting (Thu Jul 03 1997 - 16:21:39 CEST)
- Re: Curry design (Thu Jul 03 1997 - 14:45:32 CEST)
- Re: Curry design (Wed Jul 02 1997 - 20:48:59 CEST)
- Re: Curry design (Wed Jul 02 1997 - 19:17:06 CEST)
- Curry design (Tue Jul 01 1997 - 17:06:05 CEST)
Jose Hernandez-Orallo
- Research Positions at the Technical University of Valencia (Mon Sep 22 2003 - 15:40:02 CEST)
Juan Rodriguez Hortalá
- Re: Type-classes and call-time choice vs. run-time choice (Fri Aug 28 2009 - 12:36:36 CEST)
Juan Carlos Gonz\alez Moreno
- ESOP'96 (Fri Jan 24 1997 - 09:06:36 CET)
Juan Carlos González Moreno
- Re: Bug in PAKCS data inspection ¿? (Mon Oct 29 2007 - 12:03:16 CET)
- Re: Bug in PAKCS data inspection ¿? (Fri Oct 26 2007 - 12:32:20 CEST)
- Bug in PAKCS data inspection ¿? (Wed Oct 24 2007 - 11:32:14 CEST)
- DESMA'07 2nd call for papers (Mon Apr 16 2007 - 13:35:06 CEST)
- Re: New PAKCS release (Version 1.8.0) (Fri Mar 30 2007 - 10:33:51 CEST)
Juan Rodriguez Hortala
- Re: Type-classes and call-time choice vs. run-time choice (Mon Aug 31 2009 - 15:03:59 CEST)
Juergen Giesl
- Last CFP: WRS 2007 (Reduction Strategies in Rewriting and Programming) (Thu Apr 12 2007 - 16:39:26 CEST)
- CFP: WRS 2007 (Reduction Strategies in Rewriting and Programming) (Thu Feb 22 2007 - 17:32:03 CET)
Julio MariÃ±o
- WFLP2010: Call for Participation (Mon Dec 28 2009 - 14:51:58 CET)
- WFLP2010: Deadlines extended (Thu Nov 12 2009 - 19:11:31 CET)
- WFLP2010 2nd CFP: LNCS + invited speaker + abstract due Nov 9 (Mon Oct 26 2009 - 18:23:36 CET)
Julio MariÃ±o y Carballo
- CFP: 19th International Workshop on Functional and (Constraint) Logic Programming (Tue Oct 13 2009 - 19:57:17 CEST)
Julio Mariño
- CFP: Workshop on Functional and (Constraint) Logic Programming WFLP2010 (Sat Oct 03 2009 - 23:39:56 CEST)
- Re: Data structures with labeled fields (Wed Mar 01 2006 - 16:31:33 CET)
Julio Mariño y Carballo
- Re: Evaluation Annotations: are they needed? (Mon Nov 15 2004 - 13:19:58 CET)
- Re: Evaluation Annotations: are they needed? (Mon Nov 15 2004 - 12:27:51 CET)
- Re: Evaluation Annotations: are they needed? (Fri Nov 12 2004 - 23:00:18 CET)
- Re: Evaluation Annotations: are they needed? (Fri Nov 12 2004 - 20:19:30 CET)
- Evaluation Annotations: are they needed? (Fri Nov 12 2004 - 14:37:28 CET)
kahl_at_cas.mcmaster.ca
- Re: Intended meaning (Wed Nov 07 2007 - 15:07:36 CET)
- Re: Intended meaning (Thu Nov 01 2007 - 21:20:19 CET)
- Re: Intended meaning (Thu Oct 25 2007 - 15:58:12 CEST)
- Re: Intended meaning (Thu Oct 25 2007 - 15:17:56 CEST)
- Re: Confused Students (Wed Jun 20 2007 - 15:13:40 CEST)
- Re: Confused Students (Wed Jun 20 2007 - 00:40:15 CEST)
- Re: call-time choice vs partial application? (Sat May 05 2007 - 00:57:04 CEST)
LADS'007 Co-organisers
- LADS'007 - Call for Papers - Workshop on Languages, methodologies and Development tools for multi-agent Systems (Thu Mar 08 2007 - 13:57:51 CET)
list_at_clip.dia.fi.upm.es
- DAMP'09 -- Call for Participation (Wed Dec 24 2008 - 05:57:02 CET)
Liu Junfeng
- Who can port one of the curry implementations to windows platform? (Sun Mar 23 2003 - 14:17:33 CET)
Logic Programming Rsrch Association
- PADL'06 Call for Papers (Tue Jul 12 2005 - 16:58:13 CEST)
LOPSTR 2006
- LOPSTR'06 in Venice, Italy -- Call for Papers (Tue Feb 14 2006 - 20:14:12 CET)
Luca Torella
- CLP(FD) and the Minimize labeling option (Tue Nov 24 2009 - 10:38:04 CET)
Manuel Carro
- PADL 2010: Call for Participation (Mon Dec 14 2009 - 10:37:23 CET)
- PADL'10: deadline extension (1 more week) (Mon Aug 31 2009 - 14:04:05 CEST)
- PADL 10: Third Call for Papers (Wed Aug 26 2009 - 06:06:11 CEST)
- Second Call for Papers: PADL'10, Madrid, January 2010 (Fri Jul 24 2009 - 17:17:12 CEST)
- Initial Call for Papers: PADL 2010 (Sun Jun 07 2009 - 20:50:52 CEST)
- DAMP 2009 CFP (Wed Sep 24 2008 - 18:45:59 CEST)
Manuel Chakravarty
- Re: Curry's Constraint Syntax (Thu Feb 12 1998 - 02:55:07 CET)
- Re: Curry's Constraint Syntax (Tue Feb 10 1998 - 01:54:39 CET)
- Re: Narrowing: yes or no? [was Re: Narrowing vs. rewriting] (Fri Jul 11 1997 - 03:56:18 CEST)
- Re: killer apps (Thu Jul 10 1997 - 08:52:50 CEST)
- Narrowing: yes or no? [was Re: Narrowing vs. rewriting] (Fri Jul 04 1997 - 07:59:41 CEST)
- Concurrency in FL languages [was Re: Curry design] (Fri Jul 04 1997 - 07:06:57 CEST)
- Re: Curry (Wed Dec 18 1996 - 12:13:19 CET)
Manuel Hermenegildo
- FINAL CFP, ICLP 2010 - Extended Deadline: Jan 31 / Feb 7 (Tue Jan 26 2010 - 13:33:02 CET)
- CFP - ICLP 2010 - DEADLINE: Jan 26 (Sat Jan 09 2010 - 21:41:45 CET)
- CFP VMCAI 2010, Madrid - EXTENDED DEADLINE: Aug 21/28 (Sun Aug 16 2009 - 15:19:48 CEST)
- DAMP2008 Decl. Aspects of Multicore Prog, - *extended* deadline Oct31 (Fri Oct 26 2007 - 00:12:41 CEST)
- DAMP2008 Declarative Aspects of Multicore Programming - Deadline Oct26 (Tue Oct 23 2007 - 21:45:43 CEST)
- CFP - DAMP 2008 - Declarative Aspects of Multicore Programming (Thu Oct 11 2007 - 22:51:28 CEST)
- Re: formal verification for functional-logic programming languages (Fri Nov 04 2005 - 20:07:22 CET)
- CFP - Practical Aspects of Declarative Languages 2005 (Fri Jul 23 2004 - 03:18:27 CEST)
Manuel M. T. Chakravarty
- Re: Existential quantification in expressions (Mon Oct 26 1998 - 08:31:49 CET)
Marco Comini
- First CFP: WWV 2009 (Wed Nov 26 2008 - 19:05:09 CET)
- PAKCS and Sicstus 3.12 (Tue Dec 21 2004 - 12:44:43 CET)
Maria Alpuente Frasnedo
- FMICS 2009: Second Call for Papers (Tue Jan 20 2009 - 15:04:40 CET)
- FMICS 2009: First CFP (Tue Nov 11 2008 - 09:35:37 CET)
Maria Garcia de la Banda
- TPLP special issue call for papers (Mon Dec 05 2005 - 11:09:40 CET)
Maribel Fernandez
- RULE 2006 at FLoC --- paper deadline 14 May (Thu Apr 20 2006 - 19:00:18 CEST)
Mario Rodriguez Artalejo
- Re: Comments from Madrid (Wed Feb 05 1997 - 16:36:08 CET)
- Sergio's questions (Tue Feb 04 1997 - 12:16:31 CET)
- Re: Comments from Madrid (Tue Feb 04 1997 - 11:18:45 CET)
Mario Rodriguez-Artalejo
- Re: Slight change of the Curry syntax (Mon Aug 25 2003 - 11:38:23 CEST)
- Re: Proposal: Lazy matching for local patterns (Wed Oct 24 2001 - 11:51:52 CEST)
- Re: Curry language changes (Tue Nov 30 1999 - 19:25:15 CET)
Matthew Naylor
- Re: Help with a little function called "choose" (Tue Jun 13 2006 - 10:56:13 CEST)
- Help with a little function called "choose" (Mon Jun 12 2006 - 21:02:37 CEST)
Michael Hanus
- Re: CLP(FD) and the Minimize labeling option (Tue Nov 24 2009 - 23:27:59 CET)
- CFP - VMCAI 2010, Madrid (11th Int'l Conf on Verification, Model Checking, and Abstract Interpretation) (Tue Jul 28 2009 - 08:36:27 CEST)
- IFL 2009: Third Call for Papers (Thu Jul 16 2009 - 17:31:55 CEST)
- IFL 2009: Second Call for Papers (Mon Jun 01 2009 - 19:10:33 CEST)
- Last CFP: Trends in Functional Programming (Wed May 06 2009 - 09:22:01 CEST)
- Re: using maling list (Thu Apr 16 2009 - 15:33:24 CEST)
- TFP 2009: Third Call for Papers (Wed Apr 15 2009 - 12:41:33 CEST)
- CfP TFP 2009 and Functional Programming summer school: CEFP 2009 (Thu Mar 19 2009 - 09:41:21 CET)
- LOPSTR2009 first Call for Papers (Tue Mar 17 2009 - 17:21:56 CET)
- Call for Papers: Workshop on Termination (WST 2009) (Thu Mar 12 2009 - 16:17:18 CET)
- CfP: CICLOPS09 (Sun Mar 08 2009 - 18:27:29 CET)
- Take a break: write an essay for Onward! essays (Thu Feb 12 2009 - 12:20:54 CET)
- TFP 2009 CFP (Fri Jan 30 2009 - 10:16:53 CET)
- Call for Papers: IFL 2009 (Fri Jan 16 2009 - 15:58:01 CET)
- Logic Programming: 25th International Conference CFP (Wed Jan 07 2009 - 09:21:08 CET)
- curry-language.org (Mon Sep 01 2008 - 17:48:13 CEST)
- Symposium on Practical Aspects of Declarative Languages (PADL'09) (Tue Jul 22 2008 - 10:02:40 CEST)
- FDPE 2008 -- Deadline extension (Tue Jun 24 2008 - 11:46:53 CEST)
- CfP: FDPE 2008 (Wed May 21 2008 - 17:34:12 CEST)
- Re: Two to Three Ways to write an unsafe type cast without importing Unsafe (Mon May 19 2008 - 09:36:20 CEST)
- Re: Two to Three Ways to write an unsafe type cast without importing Unsafe (Fri May 16 2008 - 18:34:31 CEST)
- Re: Two to Three Ways to write an unsafe type cast without importing Unsafe (Thu May 15 2008 - 18:57:26 CEST)
- Second Call for Participation TFP 2008, The Netherlands (Thu Apr 24 2008 - 09:16:56 CEST)
- Final CfP: LOPSTR 2008 (Fri Apr 18 2008 - 09:14:29 CEST)
- Re: design pattern wanted (Fri Apr 11 2008 - 17:41:29 CEST)
- WRS 2008 - 2nd CFP (Wed Apr 09 2008 - 09:49:55 CEST)
- Re: PAKCS Sockets on swi-pl? -> solved (Tue Apr 08 2008 - 15:30:49 CEST)
- Re: PAKCS Sockets on swi-pl? (Tue Apr 08 2008 - 12:41:32 CEST)
- CfP: LOPSTR 2008 (Thu Mar 13 2008 - 11:27:04 CET)
- Re: Transmit free variables via socket (Tue Mar 04 2008 - 16:05:33 CET)
- Third call for papers TFP 08 and second call for participation AFP 08 (Fri Feb 29 2008 - 19:33:43 CET)
- Re: PAKCS, problem with module CLPFD (Fri Feb 08 2008 - 18:28:04 CET)
- PPDP'08: Call for Papers (Fri Feb 08 2008 - 13:35:27 CET)
- 1st call for participation AFP 2008, The Netherlands (Mon Feb 04 2008 - 18:32:26 CET)
- Second Call for Papers TFP 2008, The Netherlands (Fri Feb 01 2008 - 18:53:39 CET)
- LOPSTR 2008: Preliminary Call for Papers (Fri Dec 21 2007 - 15:25:27 CET)
- New PAKCS release (Version 1.9.0) (Wed Dec 19 2007 - 22:50:45 CET)
- Re: Intended meaning (Fri Nov 02 2007 - 12:53:27 CET)
- Re: Intended meaning (Thu Nov 01 2007 - 10:19:32 CET)
- Re: Intended meaning (Tue Oct 30 2007 - 17:02:42 CET)
- Re: Intended meaning (Mon Oct 29 2007 - 12:47:38 CET)
- Re: Intended meaning (Fri Oct 26 2007 - 15:24:51 CEST)
- Re: Intended meaning (Thu Oct 25 2007 - 12:35:05 CEST)
- Re: Intended meaning (Thu Oct 25 2007 - 08:10:02 CEST)
- New survey on FLP and Curry (Fri Oct 12 2007 - 11:48:10 CEST)
- Re: Confused Students (Fri Jun 22 2007 - 09:57:12 CEST)
- Re: Confused Students (Thu Jun 21 2007 - 10:33:11 CEST)
- Re: Confused Students (Wed Jun 20 2007 - 09:24:43 CEST)
- WLP 2007 - Extended Deadline: July 1, 2007 (Wed Jun 13 2007 - 11:46:58 CEST)
- 2nd CfP: 21st Workshop on Logic Programming - WLP 2007 (Tue May 29 2007 - 17:48:48 CEST)
- Re: curry on windows (was: encapsulated search) (Fri May 11 2007 - 18:27:59 CEST)
- Re: curry on windows (was: encapsulated search) (Wed May 09 2007 - 17:30:55 CEST)
- Re: encapsulated search (Re: New PAKCS release (Version 1.8.0)) (Tue May 08 2007 - 14:51:24 CEST)
- CfP: 21st Workshop on Logic Programming - WLP 2007 (Mon Apr 23 2007 - 09:59:53 CEST)
- Re: New PAKCS release (Version 1.8.0) (Thu Mar 29 2007 - 16:57:18 CEST)
- New PAKCS release (Version 1.8.0) (Thu Mar 29 2007 - 13:27:46 CEST)
- Re: from static typing to runtime constraints (Fri Dec 08 2006 - 11:24:08 CET)
- WFLP'06: Call for participation (Mon Oct 30 2006 - 09:11:07 CET)
- Re: Help with a little function called "choose" (Tue Jun 13 2006 - 09:12:42 CEST)
- New PAKCS (Version 1.7.2) and Curry report (Thu Mar 30 2006 - 18:15:45 CEST)
- Re: Two issues with version 0.8.2 of the report (Mon Mar 27 2006 - 12:55:28 CEST)
- Re: Curry Report Vers. 0.8.2 (Fri Mar 24 2006 - 15:45:34 CET)
- Re: Curry Report Vers. 0.8.2 (Fri Mar 24 2006 - 11:31:34 CET)
- Re: Curry Report Vers. 0.8.2 (Tue Mar 21 2006 - 09:54:11 CET)
- Re: Curry Report Vers. 0.8.2 (Mon Mar 20 2006 - 12:20:57 CET)
- Re: Curry Report Vers. 0.8.2 (Fri Mar 17 2006 - 14:04:59 CET)
- Curry Report Vers. 0.8.2 (Tue Mar 14 2006 - 13:41:45 CET)
- Re: Lazy Patterns (was: Curry module system and other proposals) (Fri Mar 03 2006 - 11:28:36 CET)
- Re: Lazy Patterns (was: Curry module system and other proposals) (Thu Mar 02 2006 - 15:01:27 CET)
- Re: Lazy Patterns (was: Curry module system and other proposals) (Wed Mar 01 2006 - 18:21:13 CET)
- Re: Data structures with labeled fields (Wed Mar 01 2006 - 18:22:48 CET)
- Re: Curry module system and other proposals (Tue Feb 28 2006 - 09:23:54 CET)
- Re: Curry module system and other proposals (Mon Feb 27 2006 - 14:39:47 CET)
- Re: Curry module system (Mon Feb 20 2006 - 15:22:50 CET)
- Re: Curry module system (Mon Feb 20 2006 - 14:25:57 CET)
- Re: Curry module system (Fri Feb 17 2006 - 11:16:18 CET)
- Re: Curry module system (Thu Feb 16 2006 - 16:28:59 CET)
- Re: Curry module system (Mon Feb 06 2006 - 14:50:55 CET)
- Re: Curry module system (Thu Feb 02 2006 - 18:33:31 CET)
- Re: Curry module system (Tue Jan 31 2006 - 18:45:05 CET)
- Re: Curry module system (Mon Jan 30 2006 - 09:33:54 CET)
- Re: Curry module system (Fri Jan 27 2006 - 18:03:11 CET)
- Re: Curry module system (Fri Jan 27 2006 - 16:36:07 CET)
- Curry module system (Fri Jan 27 2006 - 12:03:33 CET)
- New PAKCS (Version 1.7.0) available (Mon Dec 05 2005 - 18:42:28 CET)
- Re: formal verification for functional-logic programming languages (Mon Nov 07 2005 - 10:14:19 CET)
- Re: prelude extension proposal (Thu Oct 27 2005 - 11:18:16 CEST)
- Re: prelude extension proposal (Tue Oct 25 2005 - 16:10:39 CEST)
- Re: prelude extension proposal (Tue Oct 25 2005 - 15:53:26 CEST)
- Re: prelude extension proposal (Fri Oct 14 2005 - 18:08:08 CEST)
- Re: prelude extension proposal (Wed Oct 12 2005 - 17:19:30 CEST)
- Re: constraint solving with MCC (Mon Oct 10 2005 - 12:44:13 CEST)
- PAKCS Version 1.6.1 available (Mon Oct 10 2005 - 11:35:03 CEST)
- CfP: 20th Workshop on Logic Programming - WLP 2006 (Wed Sep 14 2005 - 09:49:57 CEST)
- WCFLP 2005: Call for Participation (Wed Aug 03 2005 - 23:46:09 CEST)
- FDPE'05: Call for Participation (Mon Aug 01 2005 - 19:36:21 CEST)
- Curry and Functional Logic Programming 2005 (2nd CfP) (Wed May 18 2005 - 00:41:36 CEST)
- CfP: Curry and Functional Logic Programming 2005 (Fri Mar 18 2005 - 02:27:18 CET)
- Functional and Declarative Programming in Education 2005 (Wed Jan 19 2005 - 09:00:16 CET)
- Re: external solvers (Tue Jan 04 2005 - 14:06:25 CET)
- Re: PAKCS and Sicstus 3.12 (Tue Dec 21 2004 - 14:26:39 CET)
- Re: Re: Flexible Enumerations (Fri Dec 10 2004 - 09:50:37 CET)
- Re: Flexible Enumerations (Thu Dec 09 2004 - 12:51:40 CET)
- Re: Committed Choice (Was: Summary of changes) (Thu Dec 09 2004 - 13:07:31 CET)
- Re: Committed Choice (Was: Summary of changes) (Fri Dec 03 2004 - 12:19:49 CET)
- Summary of changes (Tue Nov 23 2004 - 18:11:45 CET)
- Re: Evaluation Annotations: are they needed? (Tue Nov 16 2004 - 10:19:56 CET)
- Re: Evaluation Annotations: are they needed? (Mon Nov 15 2004 - 17:54:37 CET)
- Re: Evaluation Annotations: are they needed? (Mon Nov 15 2004 - 17:41:42 CET)
- Re: Evaluation Annotations: are they needed? (Mon Nov 15 2004 - 10:57:15 CET)
- Re: AW: Name discussion for new primtive (Fri Nov 12 2004 - 12:10:29 CET)
- Re: Name discussion for new primtive (Fri Nov 12 2004 - 09:26:41 CET)
- Re: Name discussion for new primtive (Thu Nov 11 2004 - 12:51:58 CET)
- Re: Name discussion for new primtive (Thu Nov 11 2004 - 12:43:52 CET)
- Re: Evaluation Annotations (Was Re: Proposal: Relaxing restrictions in Curry (Wed Nov 10 2004 - 14:02:18 CET)
- Re: Re: Evaluation Annotations (Fri Nov 05 2004 - 17:04:07 CET)
- Re: Evaluation Annotations (Fri Nov 05 2004 - 10:00:17 CET)
- Re: Proposal: Relaxing restrictions in Curry (Fri Nov 05 2004 - 09:18:19 CET)
- Re: Proposal: Relaxing restrictions in Curry (Thu Nov 04 2004 - 14:06:02 CET)
- Re: Proposal: Relaxing restrictions in Curry (Wed Nov 03 2004 - 09:16:22 CET)
- Re: Proposal: Relaxing restrictions in Curry (Wed Nov 03 2004 - 08:59:32 CET)
- Proposal: Relaxing restrictions in Curry (Tue Nov 02 2004 - 12:11:57 CET)
- Re: Non-deterministic operation (Thu Aug 19 2004 - 14:32:32 CEST)
- Non-deterministic operation (Mon Jun 07 2004 - 17:17:13 CEST)
- Re: Slight change of the Curry syntax (Tue Sep 02 2003 - 09:39:39 CEST)
- Slight change of the Curry syntax (Mon Aug 18 2003 - 19:24:03 CEST)
- PAKCS Version 1.5 available (Mon May 26 2003 - 17:30:46 CEST)
- Re: Curry Report Vers. 0.8 (Tue May 06 2003 - 11:22:59 CEST)
- Curry Report Vers. 0.8 (Wed Apr 16 2003 - 14:10:01 CEST)
- Re: Proposal: restrict multiple guards (Thu Apr 10 2003 - 17:42:52 CEST)
- Re: Proposal: restrict multiple guards (Thu Apr 10 2003 - 13:28:51 CEST)
- Proposal: restrict multiple guards (Mon Apr 07 2003 - 16:05:04 CEST)
- PAKCS Version 1.4.1 available (Thu Sep 26 2002 - 14:57:06 CEST)
- Curry Report Vers. 0.7.2 (Fri Sep 20 2002 - 18:01:55 CEST)
- Re: Proposal: change flexible/rigid default in Curry (Mon Sep 09 2002 - 13:14:41 CEST)
- Proposal: change flexible/rigid default in Curry (Mon Aug 26 2002 - 19:01:52 CEST)
- PAKCS Version 1.4 available (Fri May 24 2002 - 11:32:11 CEST)
- Re: Encapsulated search does not encapsulate(all)non-determinism (Thu Jan 24 2002 - 16:13:03 CET)
- Re: Encapsulated search does not encapsulate (all)non-determinism (Tue Jan 15 2002 - 07:36:05 CET)
- Re: Encapsulated search does not encapsulate (all) non-determinism (Fri Jan 11 2002 - 14:19:17 CET)
- Re: Proposal: Lazy matching for local patterns (Mon Oct 29 2001 - 15:31:20 CET)
- Re: Proposal: Lazy matching for local patterns (Wed Oct 24 2001 - 12:55:55 CEST)
- FlatCurry (Thu Aug 30 2001 - 12:22:52 CEST)
- CIDER: a graphical development environment for Curry (Fri Dec 22 2000 - 10:25:06 CET)
- PAKCS Version 1.3 available (Mon Dec 18 2000 - 13:55:56 CET)
- Re: Proposal: Change semantics of pattern matching (Thu Oct 26 2000 - 15:14:01 CEST)
- Re: Proposal: Change semantics of pattern matching (Tue Oct 24 2000 - 15:17:47 CEST)
- Curry is the future! (Tue Sep 26 2000 - 18:33:04 CEST)
- Re: Proposal: Change semantics of pattern matching (Tue Sep 26 2000 - 18:23:15 CEST)
- PACS -> PAKCS (Wed Jun 21 2000 - 18:31:31 CEST)
- Curry: new web pages and report (Tue Jun 06 2000 - 15:28:22 CEST)
- Curry Report Vers. 0.7 (Wed Feb 02 2000 - 18:39:49 CET)
- PACS Version 1.1 available (Fri Dec 10 1999 - 18:13:33 CET)
- Curry language changes (Thu Nov 25 1999 - 11:08:46 CET)
- Curry Report Vers. 0.6 (Fri Oct 22 1999 - 12:45:58 CEST)
- PACS: The Portland Aachen Curry System (Tue Jul 06 1999 - 12:52:05 CEST)
- New TasteCurry and Examples (Fri Apr 09 1999 - 16:36:19 CEST)
- Re: Updated Curry report (Thu Jan 14 1999 - 14:58:25 CET)
- Updated Curry report (Wed Jan 13 1999 - 11:51:10 CET)
- Free variables in Curry (Thu Jan 07 1999 - 12:36:06 CET)
- Re: Occurs-check in the unification (" =:= ") (Mon Jan 04 1999 - 14:15:02 CET)
- Re: Puzzle (Wed Dec 02 1998 - 18:11:30 CET)
- Re: Puzzle (Wed Dec 02 1998 - 12:25:29 CET)
- Re: Puzzle (Tue Dec 01 1998 - 15:35:37 CET)
- Re: Curry report updated (Tue Nov 24 1998 - 15:36:54 CET)
- Re: Curry report updated (Mon Nov 23 1998 - 15:28:19 CET)
- Re: Curry report updated (Mon Nov 23 1998 - 12:32:45 CET)
- Curry report updated (Thu Nov 19 1998 - 10:40:56 CET)
- Re: Local pattern declarations in Curry (Fri Nov 13 1998 - 16:35:25 CET)
- Re: Local pattern declarations in Curry (Thu Nov 12 1998 - 16:18:11 CET)
- Re: Local pattern declarations in Curry (Wed Nov 11 1998 - 17:16:32 CET)
- Re: Local pattern declarations in Curry (Tue Nov 10 1998 - 17:44:45 CET)
- Local pattern declarations in Curry (Mon Nov 09 1998 - 18:13:46 CET)
- Re: Suspending in or-nodes (Fri Nov 06 1998 - 09:45:56 CET)
- Re: Language changes: Committed choice (Wed Oct 28 1998 - 11:30:24 CET)
- Re: Language changes: Committed choice (Tue Oct 27 1998 - 14:49:20 CET)
- Existential quantification in expressions (Fri Oct 23 1998 - 17:11:44 CEST)
- Re: Proposal for syntax changes in Curry (Fri Oct 23 1998 - 13:39:19 CEST)
- Re: Proposal for syntax changes in Curry (Fri Oct 23 1998 - 12:22:44 CEST)
- Proposal for syntax changes in Curry (Thu Oct 22 1998 - 13:32:22 CEST)
- New TasteCurry System (Fri Aug 28 1998 - 17:24:54 CEST)
- Re: Status of this list (Thu Aug 06 1998 - 16:37:09 CEST)
- Minutes of a meeting on Curry (Wed May 06 1998 - 18:41:20 CEST)
- Re: Curry's Constraint Syntax (Tue Feb 10 1998 - 16:10:23 CET)
- Re: TasteCurry Bug (Tue Feb 10 1998 - 12:43:46 CET)
- Updated Curry Report (Wed Feb 04 1998 - 17:42:41 CET)
- Re: Narrowing: yes or no? (Mon Jul 14 1997 - 13:24:46 CEST)
- Re: Narrowing: yes or no? [was Re: Narrowing vs. rewriting] (Mon Jul 14 1997 - 13:05:14 CEST)
- Re: killer apps (Mon Jul 14 1997 - 12:36:41 CEST)
- Re: Concurrency (Fri Jul 04 1997 - 17:41:49 CEST)
- Re: Narrowing vs. rewriting (Fri Jul 04 1997 - 14:20:45 CEST)
- Re: Narrowing: yes or no? [was Re: Narrowing vs. rewriting] (Fri Jul 04 1997 - 11:05:59 CEST)
- Re: Narrowing vs. rewriting (Thu Jul 03 1997 - 18:29:43 CEST)
- Re: Curry design (Thu Jul 03 1997 - 18:11:58 CEST)
- Narrowing vs. rewriting (Thu Jul 03 1997 - 13:23:22 CEST)
- Re: Curry design (Thu Jul 03 1997 - 13:14:06 CEST)
- Re: Curry design (Wed Jul 02 1997 - 18:57:23 CEST)
- Update on Curry report (Fri Jun 06 1997 - 18:32:41 CEST)
- Re: Comments from Madrid (Tue Feb 04 1997 - 16:26:40 CET)
- Re: Comments from Madrid (Fri Jan 31 1997 - 13:58:00 CET)
- Re: Comments from Madrid (Fri Jan 24 1997 - 17:53:54 CET)
- Re: Language change proposal (Mon Jan 13 1997 - 16:22:48 CET)
- Re: Language change proposal (Tue Jan 07 1997 - 15:18:28 CET)
- Re: Curry (Thu Dec 19 1996 - 16:13:30 CET)
- Re: Curry (Wed Dec 18 1996 - 17:13:34 CET)
- Re: Curry mailing list (welcome) (Mon Dec 16 1996 - 15:50:58 CET)
- Draft Report on Curry (dvi,compressed) (Thu Dec 05 1996 - 15:58:13 CET)
- Curry mailing list (welcome) (Thu Dec 05 1996 - 15:57:20 CET)
Michael Maher
- PPDP'06 -- Call for Papers (Wed Feb 15 2006 - 23:26:16 CET)
Nikolay Orlyuk
- 404 for MCC project page (Thu Oct 01 2009 - 15:24:42 CEST)
- Re: Curry patterns (Wed Apr 15 2009 - 15:59:59 CEST)
- Re: Curry patterns (Wed Apr 15 2009 - 15:49:04 CEST)
- Re: Another parser combinator problem (Sun Feb 24 2008 - 00:13:31 CET)
- Re: Another parser combinator problem (Sat Feb 23 2008 - 23:27:19 CET)
Oege.de.Moor_at_comlab.ox.ac.uk
- PEPM 2008: abstracts due Oct 12 (Fri Oct 05 2007 - 15:19:00 CEST)
- PEPM 2008: abstracts due Oct 12 (Tue Sep 11 2007 - 14:01:12 CEST)
P M Hill
- LOPSTR'05 new deadline for extended abstracts (Fri Jun 03 2005 - 11:59:09 CEST)
- LOPSTR'05 final call for extended abstracts (Mon May 30 2005 - 21:05:56 CEST)
- LOPSTR'05: Extended Deadline for Full Papers (Thu May 19 2005 - 09:18:02 CEST)
- LOPSTR'05 call for papers (Thu Jan 27 2005 - 18:06:59 CET)
Paco Lopez Fraguas
- Announcing TOY (Mon Oct 06 1997 - 12:42:58 CEST)
- Re: Comments from Madrid (Tue Feb 04 1997 - 09:30:29 CET)
- Re: Comments from Madrid (Mon Feb 03 1997 - 11:53:23 CET)
- Comments from Madrid (Thu Jan 23 1997 - 16:24:19 CET)
Philip Wadler
- Re: Narrowing vs. rewriting (Mon Jul 07 1997 - 17:43:37 CEST)
- TC (was: Narrowing vs. rewriting) (Mon Jul 07 1997 - 17:24:51 CEST)
- Re: Narrowing vs. rewriting (Fri Jul 04 1997 - 00:34:23 CEST)
- Re: Narrowing vs. rewriting (Thu Jul 03 1997 - 20:52:51 CEST)
- Re: Narrowing vs. rewriting (Thu Jul 03 1997 - 18:52:04 CEST)
- Re: Narrowing vs. rewriting (Thu Jul 03 1997 - 18:12:06 CEST)
- Re: Comments from Madrid (Tue Feb 04 1997 - 17:33:01 CET)
- Re: Curry (Thu Dec 19 1996 - 16:52:48 CET)
- Re: Curry (Wed Dec 18 1996 - 19:40:51 CET)
Prof. Dr. Herbert Kuchen
- AW: Name discussion for new primtive (Fri Nov 12 2004 - 10:39:01 CET)
Rachid Echahed
- 2nd CFP: WFLP 2007, Paris ,June 25 (Thu Apr 05 2007 - 10:49:35 CEST)
- Call For Papers: WFLP 2007, Paris ,June 25 (Wed Feb 28 2007 - 16:59:30 CET)
rinus plasmeijer
- Re: Curry (Thu Dec 19 1996 - 15:14:40 CET)
Rusreg
- using maling list (Wed Apr 15 2009 - 19:23:36 CEST)
- Editor for Curry (Thu Apr 02 2009 - 20:08:47 CEST)
Santiago Escobar
- WFLP'09: Call for participation (Thu May 28 2009 - 19:17:03 CEST)
- WFLP09: Deadline Extension (Thu Apr 23 2009 - 05:16:12 CEST)
- Cfp: WFLP09 - 18th Int'l Workshop on Functional and (Constraint) Logic Programming (Mon Mar 23 2009 - 11:03:14 CET)
- Cfp: WFLP09-18th Int'l Workshop on Functional and (Constraint) Logic Programming (Sun Feb 08 2009 - 22:49:10 CET)
- Maude 2.4 release with unification and narrowing (Sun Feb 08 2009 - 21:05:21 CET)
- 2nd CFP: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08) (Mon Apr 14 2008 - 15:25:24 CEST)
- 2nd CFP: 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08) (Fri Apr 11 2008 - 18:55:32 CEST)
- 1st CFP: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08) (Tue Mar 25 2008 - 16:47:55 CET)
- 1st CFP: 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08) (Tue Mar 25 2008 - 16:46:56 CET)
- Cfp: 3rd Int'l Workshop on Security and Rewriting Techniques (SecReT 2008) (Sun Mar 16 2008 - 23:50:27 CET)
- Preliminary CFP: 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08) (Wed Feb 27 2008 - 20:59:12 CET)
- Preliminary CFP: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08) (Wed Feb 27 2008 - 20:57:36 CET)
- Cfp: 3rd Int'l Workshop on Security and Rewriting Techniques Security (SecReT 2008) (Mon Feb 18 2008 - 18:00:25 CET)
- Call for participation WWV'05 (Fri Feb 25 2005 - 10:36:43 CET)
- PhD Position in Technical University of Valencia (Spain) (Tue Jan 18 2005 - 13:43:30 CET)
- CFP: 1st Int'l Workshop on Automated Specification and Verification of Web Sites (WWV'05) (Mon Dec 20 2004 - 15:56:09 CET)
- CFP: 1st Int'l Workshop on Automated Specification and Verificationof Web Sites (WWV'05) (Wed Nov 24 2004 - 19:28:20 CET)
scube-phd-grants_at_clip.dia.fi.upm.es
- PhD position available at the CLIP group, UPM, Spain (Tue Jan 29 2008 - 01:47:15 CET)
Sebastian Fischer
- Re: lambda application destroys sharing (Tue Jan 05 2010 - 01:42:52 CET)
- Re: lambda application destroys sharing (Mon Jan 04 2010 - 14:05:23 CET)
- Re: lambda application destroys sharing (Fri Jan 01 2010 - 23:47:15 CET)
- Re: lambda application destroys sharing (Wed Nov 25 2009 - 18:38:53 CET)
- lambda application destroys sharing (Wed Nov 25 2009 - 12:00:43 CET)
- Re: Type-classes and call-time choice vs. run-time choice (Fri Aug 28 2009 - 23:35:53 CEST)
- Re: Type-classes and call-time choice vs. run-time choice (Fri Aug 28 2009 - 17:02:36 CEST)
- Re: Type-classes and call-time choice vs. run-time choice (Fri Aug 28 2009 - 15:38:21 CEST)
- Re: beautiful non-determinism (Tue Jul 28 2009 - 10:19:34 CEST)
- Re: beautiful non-determinism (Sun Jul 19 2009 - 22:26:36 CEST)
- beautiful non-determinism (Sun Jul 19 2009 - 22:18:39 CEST)
- Declarative programming overview (Thu Jul 09 2009 - 20:05:47 CEST)
- purely functional lazy non-deterministic programming (Mon Jun 08 2009 - 18:01:33 CEST)
- Re: Curry patterns (Wed Apr 15 2009 - 16:37:30 CEST)
- Re: Curry patterns (Wed Apr 15 2009 - 15:39:36 CEST)
- Re: Editor for Curry (Wed Apr 15 2009 - 15:30:07 CEST)
- Local Haskell meeting, Halle/Saale, Germany, June 12 (Wed Apr 08 2009 - 11:10:47 CEST)
- Re: Bug in PAKCS data inspection ¿? (Thu Oct 25 2007 - 10:20:12 CEST)
- Re: Confused Students (Thu Jun 21 2007 - 12:15:24 CEST)
- Re: Confused Students (Wed Jun 20 2007 - 09:18:57 CEST)
- Re: Confused Students (Tue Jun 19 2007 - 18:52:26 CEST)
- Confused Students (Tue Jun 19 2007 - 18:17:12 CEST)
- Re: type-directed programming (Fri Dec 15 2006 - 12:10:51 CET)
- Re: type-directed programming (Fri Dec 15 2006 - 11:52:56 CET)
- Re: Curry Report Vers. 0.8.2 (Mon Mar 20 2006 - 09:28:51 CET)
- Re: Curry module system (Wed Mar 01 2006 - 14:21:11 CET)
- Re: prelude extension proposal (Tue Oct 11 2005 - 09:27:21 CEST)
Sebastian Hanowski
- transporting predicates along maps (Fri Jun 13 2008 - 13:42:52 CEST)
- Re: curried fun (Thu Mar 20 2008 - 18:46:26 CET)
- curried fun (was: Re: putting laziness back on the parallelized map) (Tue Mar 18 2008 - 16:37:05 CET)
- putting laziness back on the parallelized map (Wed Mar 12 2008 - 14:10:24 CET)
- the semantics of inv :: (a -> b) -> (b -> a) (Fri Mar 07 2008 - 11:23:17 CET)
- capitalization unplugged (Fri Oct 26 2007 - 10:21:25 CEST)
- Re: New PAKCS release (Version 1.8.0) (Wed Apr 25 2007 - 08:36:36 CEST)
- Re: New PAKCS release (Version 1.8.0) (Tue Apr 24 2007 - 07:33:22 CEST)
- Re: New PAKCS release (Version 1.8.0) (Mon Apr 23 2007 - 09:02:53 CEST)
- Re: New PAKCS release (Version 1.8.0) (Fri Apr 20 2007 - 07:37:48 CEST)
- Re: New PAKCS release (Version 1.8.0) (Thu Apr 05 2007 - 10:46:49 CEST)
- Re: New PAKCS release (Version 1.8.0) (Mon Apr 02 2007 - 17:16:57 CEST)
- Re: New PAKCS release (Version 1.8.0) (Fri Mar 30 2007 - 17:15:54 CEST)
- Re: casting with a func. pattern (Mon Feb 05 2007 - 13:51:05 CET)
- casting with a func. pattern (Fri Feb 02 2007 - 09:48:00 CET)
- Re: type-directed programming (Fri Jan 19 2007 - 12:55:23 CET)
- 'polymorphism restriction' anyone? (Mon Dec 18 2006 - 09:17:54 CET)
- type-directed programming (Fri Dec 15 2006 - 09:41:56 CET)
- a proposal featuring a bug (Mon Dec 11 2006 - 08:45:21 CET)
- from static typing to runtime constraints (Fri Dec 08 2006 - 07:55:40 CET)
seha_at_informatik.uni-kiel.de
- Re: New PAKCS release (Version 1.8.0) (Wed Apr 04 2007 - 12:04:14 CEST)
Sergio Antoy
- Re: lambda application destroys sharing (Mon Jan 04 2010 - 22:53:53 CET)
- Re: Type-classes and call-time choice vs. run-time choice (Thu Aug 27 2009 - 19:16:27 CEST)
- Re: curried fun (was: Re: putting laziness back on the parallelized map) (Wed Mar 19 2008 - 05:08:44 CET)
- Re: putting laziness back on the parallelized map (Fri Mar 14 2008 - 17:52:18 CET)
- Re: putting laziness back on the parallelized map (Thu Mar 13 2008 - 20:36:44 CET)
- ICLP'08 first CFP (Tue Jan 29 2008 - 00:34:28 CET)
- Re: Intended meaning (Sat Nov 10 2007 - 15:09:35 CET)
- Re: Intended meaning (Fri Nov 09 2007 - 14:29:56 CET)
- Re: Intended meaning (Thu Nov 08 2007 - 19:52:05 CET)
- Re: Intended meaning (Wed Nov 07 2007 - 21:40:22 CET)
- Re: Intended meaning (Wed Nov 07 2007 - 18:47:16 CET)
- Re: Intended meaning (Mon Nov 05 2007 - 19:06:07 CET)
- Re: Intended meaning (Fri Nov 02 2007 - 23:38:45 CET)
- Re: Intended meaning (Thu Nov 01 2007 - 18:44:04 CET)
- Re: Intended meaning (Wed Oct 31 2007 - 18:08:39 CET)
- Re: Intended meaning (Mon Oct 29 2007 - 18:52:10 CET)
- Re: Intended meaning (Sat Oct 27 2007 - 02:00:38 CEST)
- Re: Intended meaning (Fri Oct 26 2007 - 06:22:36 CEST)
- Intended meaning (Thu Oct 25 2007 - 05:46:39 CEST)
- FLOPS08 last call for papers (Tue Oct 02 2007 - 20:11:58 CEST)
- FLPOS2008 second call for papers (Tue Sep 18 2007 - 18:15:30 CEST)
- FLOPS08 call for papers (Mon Jul 16 2007 - 21:34:57 CEST)
- Re: Confused Students (Thu Jun 21 2007 - 19:09:18 CEST)
- Re: Confused Students (Wed Jun 20 2007 - 17:56:25 CEST)
- Re: Confused Students (Tue Jun 19 2007 - 22:56:10 CEST)
- Re: from static typing to runtime constraints (Fri Dec 08 2006 - 19:55:55 CET)
- Re: Help with a little function called "choose" (Mon Jun 12 2006 - 21:57:58 CEST)
- Re: prelude extension proposal (Wed Oct 19 2005 - 01:11:29 CEST)
- Re: prelude extension proposal (Thu Oct 13 2005 - 23:30:52 CEST)
- Re: prelude extension proposal (Thu Oct 13 2005 - 23:03:50 CEST)
- prelude extension proposal (Mon Oct 10 2005 - 20:41:34 CEST)
- Re: Re: Flexible Enumerations (Thu Dec 09 2004 - 19:16:24 CET)
- Re: Name discussion for new primtive (Thu Nov 11 2004 - 18:09:45 CET)
- Re: Proposal: Relaxing restrictions in Curry (Tue Nov 02 2004 - 17:58:14 CET)
- Re: Non-deterministic operation (Wed Aug 18 2004 - 22:01:16 CEST)
- Re: Strong encapsulation, weak encapsulation, and getSearchTree (Tue Jun 15 2004 - 18:56:52 CEST)
- Re: Strong encapsulation, weak encapsulation, and getSearchTree (Mon Jun 14 2004 - 19:39:30 CEST)
- Re: Strong encapsulation, weak encapsulation, and getSearchTree (Mon Jun 14 2004 - 17:21:41 CEST)
- Re: Non-deterministic operation (Mon Jun 07 2004 - 17:55:30 CEST)
- Re: Encapsulated search does not encapsulate (all) non-determinism (Thu Jan 10 2002 - 06:32:17 CET)
- Re: Encapsulated search does not encapsulate (all) non-determinism (Wed Jan 09 2002 - 05:36:20 CET)
- Re: Suspending in or-nodes (Thu Nov 05 1998 - 18:13:56 CET)
- paper announcement (Fri Apr 10 1998 - 17:47:45 CEST)
- Re: permute example (Fri Jul 04 1997 - 06:39:01 CEST)
- Re: Narrowing vs. rewriting (Fri Jul 04 1997 - 00:16:41 CEST)
- Re: Narrowing vs. rewriting (Thu Jul 03 1997 - 23:18:17 CEST)
- Re: Narrowing vs. rewriting (Thu Jul 03 1997 - 18:46:55 CEST)
- Re: Narrowing vs. rewriting (Thu Jul 03 1997 - 16:10:19 CEST)
- Re: Curry design (Wed Jul 02 1997 - 16:13:30 CEST)
- Two papers (Fri Apr 04 1997 - 23:22:12 CEST)
- Re: Comments from Madrid (Tue Feb 04 1997 - 20:59:41 CET)
- Re: Comments from Madrid (Mon Feb 03 1997 - 17:58:40 CET)
- Re: Comments from Madrid (Tue Jan 28 1997 - 18:38:03 CET)
- Re: Language change proposal (Thu Jan 09 1997 - 00:10:42 CET)
- Re: Language change proposal (Mon Dec 23 1996 - 17:17:37 CET)
- Language change proposal (Fri Dec 20 1996 - 06:00:54 CET)
- Re: Curry mailing list (welcome) (Fri Dec 13 1996 - 17:08:23 CET)
Simon L Peyton Jones
- Re: Curry (Wed Dec 18 1996 - 18:17:20 CET)
- Re: Curry (Wed Dec 18 1996 - 16:55:34 CET)
- Re: Curry (Tue Dec 17 1996 - 18:17:21 CET)
Steffen Mazanek
- Transformation of Business Process Models to BPEL (Sun Jul 19 2009 - 22:55:05 CEST)
- Re: design pattern wanted (Mon Apr 14 2008 - 12:55:07 CEST)
- Re: design pattern wanted (Thu Apr 10 2008 - 08:58:09 CEST)
- Re: PAKCS Sockets on swi-pl? -> solved (Tue Apr 08 2008 - 14:31:37 CEST)
- Fwd: design pattern wanted (Tue Apr 08 2008 - 13:36:31 CEST)
- design pattern wanted (Tue Apr 08 2008 - 11:30:59 CEST)
- PAKCS Sockets on swi-pl? (Mon Apr 07 2008 - 22:13:55 CEST)
- Re: Transmit free variables via socket -> solved (Tue Mar 04 2008 - 18:10:48 CET)
- Transmit free variables via socket (Tue Mar 04 2008 - 14:04:43 CET)
- Re: Another parser combinator problem (Mon Feb 25 2008 - 11:44:08 CET)
- Re: Another parser combinator problem (Sun Feb 24 2008 - 13:45:58 CET)
- Another parser combinator problem (Sat Feb 23 2008 - 19:44:39 CET)
- Re: PAKCS, problem with module CLPFD -> solved (Tue Feb 12 2008 - 10:47:56 CET)
- Re: PAKCS, problem with module CLPFD (Mon Feb 11 2008 - 11:03:00 CET)
- Re: Parser combinator problem (Mon Feb 11 2008 - 10:14:04 CET)
- Re: Parser combinator problem (Mon Feb 11 2008 - 09:17:29 CET)
- PAKCS, problem with module CLPFD (Fri Feb 08 2008 - 13:07:18 CET)
- Parser combinator problem (Fri Feb 08 2008 - 11:31:25 CET)
Sven Panne
- Re: Curry report updated (Mon Nov 23 1998 - 14:29:47 CET)
- Re: Curry report updated (Fri Nov 20 1998 - 15:22:57 CET)
- Suspending in or-nodes (Thu Nov 05 1998 - 16:27:03 CET)
- Re: Proposal for syntax changes in Curry (Fri Oct 23 1998 - 15:39:18 CEST)
- Re: Proposal for syntax changes in Curry (Fri Oct 23 1998 - 14:27:34 CEST)
- Re: Proposal for syntax changes in Curry (Fri Oct 23 1998 - 12:05:25 CEST)
- Status of this list (Tue Jul 28 1998 - 10:38:27 CEST)
- Curry's Constraint Syntax (Mon Feb 09 1998 - 10:09:35 CET)
- TasteCurry Bug (Mon Feb 09 1998 - 09:44:36 CET)
Victor L Winter
- CFP: RULE 2007 Workshop (Sun Feb 11 2007 - 17:29:20 CET)
vmcai10-announce_at_clip.dia.fi.upm.es
- VMCAI 2010 - Call for Participation - Early Reg: Dec 22 (Mon Dec 14 2009 - 02:20:40 CET)
Wim Vanhoof
- (2nd CFP) Workshop on Logic-based Methods in Programming Environments (WLPE'07) (Sat Jun 02 2007 - 22:16:21 CEST)
- (CFP) WLPE'07 - Workshop on Logic-based Methods in Programming Environments (Tue Apr 24 2007 - 17:30:09 CEST)
Wolfgang Jeltsch
- Re: Curry Report Vers. 0.8.2 (Wed Mar 22 2006 - 17:56:01 CET)
- Re: Curry Report Vers. 0.8.2 (Tue Mar 21 2006 - 23:39:24 CET)
- Re: Curry module system and other proposals (Tue Feb 28 2006 - 14:02:28 CET)
- Re: Curry module system and other proposals (Mon Feb 27 2006 - 20:50:44 CET)
- Re: Curry module system (Sat Feb 18 2006 - 16:06:40 CET)
- Re: Curry module system (Fri Feb 17 2006 - 17:23:10 CET)
- Re: Curry module system (Thu Feb 16 2006 - 17:27:42 CET)
- Re: Curry module system (Fri Jan 27 2006 - 21:07:15 CET)
- Re: Curry module system (Fri Jan 27 2006 - 17:30:19 CET)
- Re: Curry module system (Fri Jan 27 2006 - 15:56:46 CET)
- formal verification for functional-logic programming languages (Fri Nov 04 2005 - 13:49:31 CET)
- constraint solving with MCC (Mon Oct 10 2005 - 11:34:30 CEST)
Wolfgang Lux
- Re: lambda application destroys sharing (Wed Nov 25 2009 - 16:29:36 CET)
- Re: 404 for MCC project page (Mon Oct 05 2009 - 12:44:39 CEST)
- Re: Type-classes and call-time choice vs. eval-time choice (Fri Aug 28 2009 - 09:40:15 CEST)
- Type-classes and call-time choice vs. run-time choice (Thu Aug 27 2009 - 11:55:45 CEST)
- Re: Editor for Curry (Wed Apr 15 2009 - 17:55:19 CEST)
- Re: Curry patterns (Wed Apr 15 2009 - 17:29:45 CEST)
- Re: MCC: Errors under WIndows (Wed Apr 15 2009 - 17:29:27 CEST)
- Re: Two to Three Ways to write an unsafe type cast without importing Unsafe (Fri May 16 2008 - 19:34:06 CEST)
- Re: Two to Three Ways to write an unsafe type cast without importing Unsafe (Fri May 16 2008 - 11:25:12 CEST)
- Re: putting laziness back on the parallelized map (Thu Mar 13 2008 - 17:05:31 CET)
- Re: Transmit free variables via socket (Tue Mar 04 2008 - 17:13:43 CET)
- Re: Another parser combinator problem (Mon Feb 25 2008 - 16:48:00 CET)
- Re: Another parser combinator problem (Mon Feb 25 2008 - 10:58:28 CET)
- Re: Another parser combinator problem (Mon Feb 25 2008 - 09:11:49 CET)
- Re: Another parser combinator problem (Mon Feb 25 2008 - 09:08:42 CET)
- Re: Parser combinator problem (Fri Feb 08 2008 - 17:52:50 CET)
- Re: Intended meaning (Fri Nov 09 2007 - 17:10:10 CET)
- Re: Intended meaning (Fri Nov 09 2007 - 17:10:00 CET)
- Re: Intended meaning (Fri Nov 09 2007 - 12:55:40 CET)
- Re: Intended meaning (Thu Nov 08 2007 - 11:55:09 CET)
- Re: Intended meaning (Fri Nov 02 2007 - 09:34:25 CET)
- Re: Intended meaning (Wed Oct 31 2007 - 19:11:04 CET)
- Re: Intended meaning (Wed Oct 31 2007 - 16:41:59 CET)
- Re: Bug in PAKCS data inspection ¿? (Mon Oct 29 2007 - 12:57:09 CET)
- Re: Bug in PAKCS data inspection ¿? (Mon Oct 29 2007 - 09:14:11 CET)
- Re: Bug in PAKCS data inspection ¿? (Thu Oct 25 2007 - 10:20:44 CEST)
- Re: Intended meaning (Thu Oct 25 2007 - 10:02:27 CEST)
- ANNOUNCE Münster Curry Compiler release 0.9.11 (Mon Jun 11 2007 - 09:44:55 CEST)
- Re: encapsulated search (Re: New PAKCS release (Version 1.8.0)) (Mon May 07 2007 - 09:50:35 CEST)
- Re: New PAKCS release (Version 1.8.0) (Thu Apr 05 2007 - 10:29:42 CEST)
- Re: New PAKCS release (Version 1.8.0) (Wed Apr 04 2007 - 09:04:12 CEST)
- Re: New PAKCS release (Version 1.8.0) (Tue Apr 03 2007 - 09:15:04 CEST)
- Re: New PAKCS release (Version 1.8.0) (Mon Apr 02 2007 - 09:18:12 CEST)
- Re: New PAKCS release (Version 1.8.0) (Fri Mar 30 2007 - 15:00:41 CEST)
- Re: New PAKCS release (Version 1.8.0) (Fri Mar 30 2007 - 14:39:56 CEST)
- Re: New PAKCS release (Version 1.8.0) (Fri Mar 30 2007 - 08:28:20 CEST)
- Re: New PAKCS release (Version 1.8.0) (Thu Mar 29 2007 - 18:40:06 CEST)
- Re: New PAKCS release (Version 1.8.0) (Thu Mar 29 2007 - 16:23:20 CEST)
- Re: casting with a func. pattern (Fri Feb 02 2007 - 12:06:08 CET)
- Re: 'polymorphism restriction' anyone? (Mon Dec 18 2006 - 12:04:36 CET)
- Bug in Curry type-checker (Mon Dec 18 2006 - 12:04:27 CET)
- Re: type-directed programming (Mon Dec 18 2006 - 09:47:39 CET)
- Re: 'polymorphism restriction' anyone? (Mon Dec 18 2006 - 10:17:09 CET)
- Re: type-directed programming (Fri Dec 15 2006 - 22:05:12 CET)
- Re: type-directed programming (Fri Dec 15 2006 - 17:40:30 CET)
- Re: type-directed programming (Fri Dec 15 2006 - 15:59:56 CET)
- Re: a proposal featuring a bug (Mon Dec 11 2006 - 12:34:30 CET)
- Re: a proposal featuring a bug (Mon Dec 11 2006 - 12:48:33 CET)
- Re: a proposal featuring a bug (Mon Dec 11 2006 - 11:59:11 CET)
- New MCC version (Mon May 15 2006 - 18:07:12 CEST)
- Two issues with version 0.8.2 of the report (Fri Mar 24 2006 - 17:02:05 CET)
- Re: Curry Report Vers. 0.8.2 (Fri Mar 24 2006 - 16:09:23 CET)
- Re: Curry Report Vers. 0.8.2 (Thu Mar 23 2006 - 17:35:46 CET)
- Re: Curry Report Vers. 0.8.2 (Wed Mar 22 2006 - 17:42:22 CET)
- Re: Curry Report Vers. 0.8.2 (Tue Mar 21 2006 - 16:35:39 CET)
- Re: Curry Report Vers. 0.8.2 (Tue Mar 21 2006 - 12:35:27 CET)
- Re: Curry Report Vers. 0.8.2 (Mon Mar 20 2006 - 17:09:16 CET)
- Re: Curry Report Vers. 0.8.2 (Thu Mar 16 2006 - 18:19:03 CET)
- Re: Lazy Patterns (was: Curry module system and other proposals) (Fri Mar 03 2006 - 09:41:46 CET)
- Re: Lazy Patterns (was: Curry module system and other proposals) (Thu Mar 02 2006 - 09:15:31 CET)
- Lazy Patterns (was: Curry module system and other proposals) (Tue Feb 28 2006 - 13:50:25 CET)
- Re: Curry module system and other proposals (Mon Feb 20 2006 - 17:11:32 CET)
- Re: Curry module system (Fri Feb 03 2006 - 17:22:10 CET)
- Re: Curry module system (Thu Feb 02 2006 - 08:57:43 CET)
- Re: Curry module system (Mon Jan 30 2006 - 17:22:40 CET)
- Re: prelude extension proposal (Wed Oct 26 2005 - 13:11:53 CEST)
- Re: prelude extension proposal (Tue Oct 18 2005 - 17:13:45 CEST)
- Re: prelude extension proposal (Fri Oct 14 2005 - 15:01:40 CEST)
- Re: prelude extension proposal (Fri Oct 14 2005 - 14:33:46 CEST)
- Re: prelude extension proposal (Fri Oct 14 2005 - 14:01:49 CEST)
- Re: prelude extension proposal (Fri Oct 14 2005 - 14:01:40 CEST)
- Re: prelude extension proposal (Fri Oct 14 2005 - 11:01:21 CEST)
- Re: prelude extension proposal (Fri Oct 14 2005 - 10:04:53 CEST)
- Re: prelude extension proposal (Fri Oct 14 2005 - 10:05:00 CEST)
- Re: MCC doen't want to install (Fri Dec 10 2004 - 13:24:07 CET)
- Re: Committed Choice (Was: Summary of changes) (Mon Dec 06 2004 - 16:17:47 CET)
- Committed Choice (Was: Summary of changes) (Thu Dec 02 2004 - 14:20:35 CET)
- Re: Evaluation Annotations: are they needed? (Tue Nov 16 2004 - 09:13:34 CET)
- Re: Evaluation Annotations: are they needed? (Mon Nov 15 2004 - 14:17:00 CET)
- Re: Evaluation Annotations: are they needed? (Sun Nov 14 2004 - 22:33:28 CET)
- Re: Evaluation Annotations: are they needed? (Fri Nov 12 2004 - 21:23:22 CET)
- Re: Evaluation Annotations: are they needed? (Fri Nov 12 2004 - 18:35:02 CET)
- Re: Evaluation Annotations (Was Re: Proposal: Relaxing restrictions in Curry (Fri Nov 05 2004 - 12:09:10 CET)
- Evaluation Annotations (Was Re: Proposal: Relaxing restrictions in Curry (Wed Nov 03 2004 - 17:10:20 CET)
- Re: Proposal: Relaxing restrictions in Curry (Thu Nov 04 2004 - 17:21:23 CET)
- Re: Proposal: Relaxing restrictions in Curry (Wed Nov 03 2004 - 17:10:08 CET)
- Re: Proposal: Relaxing restrictions in Curry (Tue Nov 02 2004 - 18:28:10 CET)
- Re: Non-deterministic operation (Wed Aug 18 2004 - 20:00:12 CEST)
- Re: Strong encapsulation, weak encapsulation, and getSearchTree (Wed Jun 16 2004 - 15:53:40 CEST)
- Re: Strong encapsulation, weak encapsulation, and getSearchTree (Tue Jun 15 2004 - 09:54:34 CEST)
- Re: Strong encapsulation, weak encapsulation, and getSearchTree (Mon Jun 14 2004 - 19:13:02 CEST)
- Strong encapsulation, weak encapsulation, and getSearchTree (Mon Jun 14 2004 - 15:21:16 CEST)
- Re: Slight change of the Curry syntax (Tue Sep 02 2003 - 13:07:41 CEST)
- Re: Slight change of the Curry syntax (Mon Sep 01 2003 - 08:58:46 CEST)
- Announcement: Münster Curry compiler 0.9.5 released (Mon May 05 2003 - 09:44:23 CEST)
- Re: Curry Report Vers. 0.8 (Mon May 05 2003 - 10:09:23 CEST)
- Re: Proposal: restrict multiple guards (Fri Apr 11 2003 - 09:52:29 CEST)
- Re: Proposal: restrict multiple guards (Thu Apr 10 2003 - 15:47:28 CEST)
- Re: Proposal: restrict multiple guards (Thu Apr 10 2003 - 09:32:04 CEST)
- Re: Münster Curry compiler release 0.9.1 (Tue Nov 12 2002 - 15:04:00 CET)
- Münster Curry compiler release 0.9.1 (Mon Nov 11 2002 - 15:49:24 CET)
- Münster Curry compiler release 0.9 (Mon Nov 04 2002 - 15:17:02 CET)
- Re: Proposal: change flexible/rigid default in Curry (Mon Sep 02 2002 - 11:14:41 CEST)
- Re: Encapsulated search does not encapsulate(all)non-determinism (Tue Jan 15 2002 - 13:34:18 CET)
- Re: Encapsulated search does not encapsulate (all)non-determinism (Tue Jan 15 2002 - 11:13:42 CET)
- Re: Encapsulated search does not encapsulate (all)non-determinism (Mon Jan 14 2002 - 14:37:27 CET)
- Re: Encapsulated search does not encapsulate (all) non-determinism (Mon Jan 14 2002 - 13:32:49 CET)
- Re: Encapsulated search does not encapsulate (all) non-determinism (Fri Jan 11 2002 - 17:32:05 CET)
- Re: Encapsulated search does not encapsulate (all) non-determinism (Wed Jan 09 2002 - 19:15:17 CET)
- Encapsulated search does not encapsulate (all) non-determinism (Tue Jan 08 2002 - 15:36:17 CET)
- Re: Proposal: Lazy matching for local patterns (Thu Oct 25 2001 - 11:30:49 CEST)
- Re: Proposal: Lazy matching for local patterns (Wed Oct 24 2001 - 17:57:46 CEST)
- Re: Proposal: Lazy matching for local patterns (Wed Oct 24 2001 - 13:21:46 CEST)
- Re: Proposal: Lazy matching for local patterns (Wed Oct 24 2001 - 11:37:23 CEST)
- Re: Proposal: Lazy matching for local patterns (fwd) (Wed Oct 24 2001 - 11:02:25 CEST)
- Proposal: Lazy matching for local patterns (Mon Oct 22 2001 - 17:04:54 CEST)
- Re: Proposal: Change semantics of pattern matching (Wed Oct 25 2000 - 12:26:51 CEST)
- Re: Proposal: Change semantics of pattern matching (Tue Sep 26 2000 - 18:46:00 CEST)
- Proposal: Change semantics of pattern matching (Thu Sep 21 2000 - 13:30:15 CEST)
- Re: Updated Curry report (Thu Jan 14 1999 - 13:00:01 CET)
- Re: Puzzle (Wed Dec 02 1998 - 17:45:30 CET)
- Re: Puzzle (Tue Dec 01 1998 - 18:25:53 CET)
- Re: Puzzle (Tue Dec 01 1998 - 15:51:34 CET)
- Puzzle (Tue Dec 01 1998 - 15:42:08 CET)
- Re: Curry report updated (Tue Nov 24 1998 - 14:41:52 CET)
- Language changes: Committed choice (Mon Oct 26 1998 - 21:08:22 CET)
- Re: Proposal for syntax changes in Curry (Fri Oct 23 1998 - 16:54:13 CEST)
- Re: Proposal for syntax changes in Curry (Fri Oct 23 1998 - 16:26:27 CEST)
- Re: Proposal for syntax changes in Curry (Fri Oct 23 1998 - 14:37:22 CEST)
- Re: Proposal for syntax changes in Curry (Fri Oct 23 1998 - 14:18:47 CEST)
- Re: Proposal for syntax changes in Curry (Thu Oct 22 1998 - 17:30:16 CEST)
wrs06_at_redstar.cs.pdx.edu
- WRS06 last call for paper (Tue Apr 11 2006 - 21:38:52 CEST)
- WRS06 2nd call for paper (Thu Mar 02 2006 - 01:39:54 CET)
- WRS06 1st call for paper (Wed Feb 01 2006 - 20:49:00 CET)
Yike Guo
- Curry (Wed Dec 18 1996 - 17:09:00 CET)
çÉÌÍÕÌÌÉÎ òÕÛÁÎ
- Curry patterns (Wed Apr 15 2009 - 15:18:21 CEST)
- MCC: Errors under WIndows (Sat Apr 04 2009 - 00:43:18 CEST)

Curry mailing list by author