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