Curry mailing list: by subject

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

Curry mailing list by subject