Curry mailing list: by author

.
- external solvers (Mo Jan 03 2005 - 11:16:34 CET)
- MCC doen't want to install (Fr Dez 10 2004 - 10:45:59 CET)
- Re[2]: Flexible Enumerations (Do Dez 09 2004 - 17:34:54 CET)
- proposition (Mi Dez 08 2004 - 17:14:33 CET)
- Re[2]: Name discussion for new primtive (Mi Dez 08 2004 - 16:56:33 CET)
A.M.King
- LOPSTR 2007 Final Call for Papers (Fr Mai 25 2007 - 11:31:06 CEST)
- LOPSTR 2007 Call for Papers (Di Mai 01 2007 - 11:40:35 CEST)
- LOPSTR 2007 Call for Papers (Do Mär 29 2007 - 11:26:04 CEST)
Alicia Villanueva
- [curry] LOPSTR 2022 - Deadline extension! (Di Mai 10 2022 - 13:30:39 CEST)
- [curry] LOPSTR 2022 - Final Call for Papers (So Apr 24 2022 - 23:21:01 CEST)
- [curry] LOPSTR 2022 -- First CfP (Di Mär 08 2022 - 13:34:10 CET)
- Last CfP: WWV 2009 (Do Jan 29 2009 - 15:02:42 CET)
- CfPart: 4th International Workshop on Automated (WWV'08) (Mo Jun 23 2008 - 10:58:09 CEST)
- CfPart: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08) (Sa Jun 21 2008 - 17:22:58 CEST)
- DEADLINE EXTENSION: (WFLP'08) 17th Int'l Workshop on Functional and (Constraint) Logic Programming (Mi Apr 23 2008 - 19:06:03 CEST)
Amy Felty
- PPDP 2005 Call for Participation (Mi Mai 18 2005 - 06:02:23 CEST)
- PPDP 2005 Submission Deadline Extended to February 22 (Mi Feb 16 2005 - 03:35:55 CET)
- PPDP 2005 Second Call for Papers (Fr Jan 21 2005 - 17:55:23 CET)
- PPDP 2005 First Call for Papers (Fr Nov 05 2004 - 22:32:13 CET)
Andy Jost
- [curry] Re: Recursion in Set Functions (Mo Jul 05 2021 - 19:18:13 CEST)
- [curry] Re: Recursion in Set Functions (So Jul 04 2021 - 21:32:56 CEST)
- [curry] Recursion in Set Functions (So Jul 04 2021 - 00:44:22 CEST)
- [curry] Re: New homepage for Curry (So Nov 22 2020 - 20:37:51 CET)
- [curry] Re: New homepage for Curry (Mo Nov 16 2020 - 23:06:16 CET)
- [curry] Re: New homepage for Curry (Mo Nov 16 2020 - 22:58:08 CET)
- [curry] "Normal form" of a partial application (Di Mai 28 2019 - 19:00:16 CEST)
- [curry] How to interpret a data type with no RHS (Fr Mai 24 2019 - 21:06:45 CEST)
- [curry] Re: Choosing default instances in Curry (Sa Mai 18 2019 - 22:24:18 CEST)
- [curry] Choosing default instances in Curry (Fr Mai 17 2019 - 20:21:50 CEST)
- [curry] Lots of problems with cypm (Mi Apr 03 2019 - 19:30:27 CEST)
- Re: Curry syntax (Fr Mär 10 2017 - 23:34:37 CET)
- Re: Curry syntax (Do Mär 09 2017 - 17:42:20 CET)
- Curry syntax (Mi Mär 08 2017 - 19:46:22 CET)
- RE: Pull tabbing with variables (Do Dez 24 2015 - 19:32:03 CET)
- Pull tabbing with variables (Do Dez 17 2015 - 16:00:56 CET)
- PAKCS Internal Functions (Do Mai 14 2015 - 19:48:56 CEST)
- Re: Found bugs in PAKCS show (Mo Jan 26 2015 - 22:17:17 CET)
- Found bugs in PAKCS show (So Jan 25 2015 - 20:12:15 CET)
- RE: Multiple instances of PAKCS interfere with each other (Di Jan 06 2015 - 20:01:20 CET)
- Multiple instances of PAKCS interfere with each other (Mo Jan 05 2015 - 18:26:54 CET)
Antonio Regidor García
- Records with labeled fields (Di Jul 12 2011 - 21:52:11 CEST)
- Re: residuation for compositional search? (Mi Jun 15 2011 - 09:00:53 CEST)
- Re: residuation for compositional search? (Di Jun 14 2011 - 21:12:55 CEST)
- Re: residuation for compositional search? (Di Jun 14 2011 - 11:47:46 CEST)
- Re: residuation for compositional search? (Di Jun 14 2011 - 10:46:48 CEST)
- Re: residuation for compositional search? (Di Jun 14 2011 - 09:19:45 CEST)
- Re: residuation for compositional search? (Di Jun 14 2011 - 08:41:34 CEST)
- Re: residuation for compositional search? (Di Jun 14 2011 - 08:32:28 CEST)
António Porto
- [Ppdp09] PPDP'09 - EXTENDED DEADLINES (Mo Mai 04 2009 - 10:26:37 CEST)
- PPDP'09 - 2nd CfP (Di Apr 14 2009 - 15:16:41 CEST)
- PPDP'09 - 1st CfP (Mo Mär 16 2009 - 17:48:32 CET)
Arthur Peters
- Re: Do notation for arbitrary monads (Mi Sep 07 2011 - 19:23:59 CEST)
- Do notation for arbitrary monads (Di Sep 06 2011 - 19:02:53 CEST)
Ayoub Nouri
- RV 2017 - 1st Call for Participation (Mi Jul 19 2017 - 17:15:02 CEST)
- RV and RV-CuBES 2017 - Call for papers and tutorials (Sa Apr 15 2017 - 20:39:09 CEST)
bbr_at_informatik.uni-kiel.de
- Re: referential transparency, definiteness, and unfoldability (Do Jul 15 2010 - 11:50:30 CEST)
Bernd Brassel
- Re: Type-classes and call-time choice vs. run-time choice (Fr Aug 28 2009 - 17:31:06 CEST)
- Re: Type-classes and call-time choice vs. run-time choice (Fr Aug 28 2009 - 15:57:58 CEST)
- Re: Type-classes and call-time choice vs. eval-time choice (Fr Aug 28 2009 - 14:50:40 CEST)
- Re: Curry patterns (Mi Apr 15 2009 - 16:11:29 CEST)
- Re: Two to Three Ways to write an unsafe type cast without importing Unsafe (Fr Mai 16 2008 - 11:47:01 CEST)
- KiCS - The Kiel Curry System (Do Mai 15 2008 - 12:52:51 CEST)
- Two to Three Ways to write an unsafe type cast without importing Unsafe (Mi Mai 14 2008 - 15:43:45 CEST)
- Re: design pattern wanted (Mo Apr 14 2008 - 11:03:24 CEST)
- Re: putting laziness back on the parallelized map (Fr Mär 14 2008 - 10:18:05 CET)
- Re: putting laziness back on the parallelized map (Fr Mär 14 2008 - 10:06:58 CET)
- Re: putting laziness back on the parallelized map (Fr Mär 14 2008 - 10:02:32 CET)
- Re: Parser combinator problem (Mo Feb 11 2008 - 10:36:12 CET)
- Re: Parser combinator problem (Mo Feb 11 2008 - 09:43:07 CET)
- Re: Parser combinator problem (Fr Feb 08 2008 - 14:38:07 CET)
- Re: Intended meaning (Fr Nov 09 2007 - 13:58:48 CET)
- Re: Intended meaning (Di Nov 06 2007 - 17:53:34 CET)
- Re: Intended meaning (Mo Nov 05 2007 - 12:02:02 CET)
- Re: Intended meaning (Fr Nov 02 2007 - 11:18:20 CET)
- Re: Bug in PAKCS data inspection ¿? (Di Okt 30 2007 - 10:35:04 CET)
- Re: Intended meaning (Do Okt 25 2007 - 10:59:04 CEST)
- Re: Bug in PAKCS data inspection ¿? (Do Okt 25 2007 - 10:24:39 CEST)
- Re: New PAKCS release (Version 1.8.0) (Mi Apr 04 2007 - 12:20:50 CEST)
- Re: New PAKCS release (Version 1.8.0) (Di Apr 03 2007 - 10:10:44 CEST)
- Re: New PAKCS release (Version 1.8.0) (Mo Apr 02 2007 - 15:05:19 CEST)
- Re: New PAKCS release (Version 1.8.0) (Fr Mär 30 2007 - 14:51:27 CEST)
- Re: New PAKCS release (Version 1.8.0) (Fr Mär 30 2007 - 12:36:21 CEST)
- Re: New PAKCS release (Version 1.8.0) (Do Mär 29 2007 - 17:21:19 CEST)
- Re: New PAKCS release (Version 1.8.0) (Do Mär 29 2007 - 17:14:22 CEST)
- Re: type-directed programming (Fr Dez 15 2006 - 12:34:38 CET)
- Re: a proposal featuring a bug (Mo Dez 11 2006 - 12:10:37 CET)
- Re: a proposal featuring a bug (Mo Dez 11 2006 - 09:53:43 CET)
- Re: from static typing to runtime constraints (Mo Dez 11 2006 - 09:44:23 CET)
- Re: from static typing to runtime constraints (Fr Dez 08 2006 - 13:24:51 CET)
- Re: Curry Report Vers. 0.8.2 (Fr Mär 24 2006 - 12:29:29 CET)
- Re: Curry Report Vers. 0.8.2 (Fr Mär 24 2006 - 10:40:43 CET)
- Re: Curry Report Vers. 0.8.2 (Do Mär 23 2006 - 13:16:37 CET)
- Re: Curry Report Vers. 0.8.2 (Do Mär 23 2006 - 13:01:13 CET)
- Re: Curry Report Vers. 0.8.2 (Mi Mär 22 2006 - 10:35:36 CET)
- Re: Curry Report Vers. 0.8.2 (Di Mär 21 2006 - 13:52:55 CET)
- Data structures with labeled fields (Mi Mär 01 2006 - 14:31:16 CET)
- Re: Curry module system (Mo Feb 27 2006 - 15:16:00 CET)
- Re: Curry module system (Mo Feb 27 2006 - 10:17:45 CET)
- Re: Curry module system (Mo Feb 20 2006 - 10:25:42 CET)
- Re: prelude extension proposal (Fr Okt 14 2005 - 15:18:33 CEST)
- Re: prelude extension proposal (Fr Okt 14 2005 - 14:21:57 CEST)
- Re: prelude extension proposal (Fr Okt 14 2005 - 11:54:04 CEST)
- Re: prelude extension proposal (Fr Okt 14 2005 - 11:34:42 CEST)
- Re: prelude extension proposal (Fr Okt 14 2005 - 10:02:09 CEST)
- Re: prelude extension proposal (Di Okt 11 2005 - 11:52:30 CEST)
- Re: Evaluation Annotations: are they needed? (Di Nov 16 2004 - 10:13:45 CET)
- Re: Evaluation Annotations: are they needed? (Mo Nov 15 2004 - 11:04:50 CET)
- Re: AW: Name discussion for new primtive (Fr Nov 12 2004 - 16:21:27 CET)
- Re: Name discussion for new primtive (Fr Nov 12 2004 - 10:19:31 CET)
- Re: Name discussion for new primtive (Do Nov 11 2004 - 12:32:07 CET)
- Re: Name discussion for new primtive (Do Nov 11 2004 - 12:09:40 CET)
- Name discussion for new primtive (Do Nov 11 2004 - 11:29:54 CET)
- Re: Evaluation Annotations (Was Re: Proposal: Relaxing restrictions in Curry (Mi Nov 10 2004 - 09:37:40 CET)
- Re: Evaluation Annotations (Was Re: Proposal: Relaxing restrictions in Curry (Fr Nov 05 2004 - 10:17:55 CET)
- Re: Re: Evaluation Annotations (Fr Nov 05 2004 - 10:27:00 CET)
Björn Peemöller
- Re: Found bugs in PAKCS show (Mo Jan 26 2015 - 09:42:50 CET)
- Re: cannot define operators (Mi Apr 24 2013 - 16:32:40 CEST)
Brian Ledger
- Re: residuation for compositional search? (Mi Jun 15 2011 - 07:46:43 CEST)
cfp_at_clip.dia.fi.upm.es
- ICLP 2009: Call for Workshop Proposals (So Feb 08 2009 - 17:05:29 CET)
Christian Prehofer
- Book Announcement (Sa Mai 09 1998 - 14:54:40 CEST)
- Re: Curry (Mi Dez 18 1996 - 14:16:55 CET)
ciclops-org_at_clip.dia.fi.upm.es
- CFP: CICLOPS 2008 (Fr Jul 25 2008 - 17:56:30 CEST)
Claus Reinke
- Re: curry on windows (was: encapsulated search) (Sa Mai 12 2007 - 02:38:26 CEST)
- Re: curry on windows (was: encapsulated search) (Do Mai 10 2007 - 11:15:42 CEST)
- Re: curry on windows (was: encapsulated search) (Mi Mai 09 2007 - 14:51:18 CEST)
- curry on windows (was: encapsulated search) (Di Mai 08 2007 - 20:04:57 CEST)
- Re: encapsulated search (Re: New PAKCS release (Version 1.8.0)) (Mo Mai 07 2007 - 16:02:01 CEST)
- Re: encapsulated search (Re: New PAKCS release (Version 1.8.0)) (So Mai 06 2007 - 01:35:14 CEST)
- Re: call-time choice vs partial application? (Sa Mai 05 2007 - 03:40:19 CEST)
- Re: call-time choice vs partial application? (Fr Mai 04 2007 - 23:53:28 CEST)
- call-time choice vs partial application? (Fr Mai 04 2007 - 17:39:34 CEST)
- Re: encapsulated search (Re: New PAKCS release (Version 1.8.0)) (Fr Apr 27 2007 - 12:59:24 CEST)
- encapsulated search (Re: New PAKCS release (Version 1.8.0)) (Fr Apr 27 2007 - 02:49:20 CEST)
- Re: New PAKCS release (Version 1.8.0) (Di Apr 24 2007 - 11:30:49 CEST)
- Re: New PAKCS release (Version 1.8.0) (Mo Apr 23 2007 - 11:04:12 CEST)
- Re: New PAKCS release (Version 1.8.0) (Fr Apr 20 2007 - 16:39:34 CEST)
- Re: type-directed programming (Sa Dez 16 2006 - 19:25:48 CET)
- Re: type-directed programming (Fr Dez 15 2006 - 16:28:46 CET)
- Re: type-directed programming (Fr Dez 15 2006 - 14:04:33 CET)
- Re: Curry module system (Mo Feb 27 2006 - 12:29:14 CET)
David Powers
- Re: Timing Curry programs (Fr Okt 20 2017 - 10:13:49 CEST)
- Re: Smap: Collecting small programs (Fr Okt 31 2014 - 03:35:47 CET)
- Re: Smap: Collecting small programs (Do Okt 30 2014 - 00:22:12 CET)
- Re: Smap: Collecting small programs (Mi Okt 29 2014 - 00:10:02 CET)
David Sabel
- [curry] PPDP | LOPSTR | WFLP 2018 Common Call for Participation (Mo Aug 06 2018 - 16:56:42 CEST)
- [curry] PPDP 2018: Call for Participation (Fr Jul 06 2018 - 17:25:18 CEST)
- Second round call for papers: LOPSTR 2018 (Mi Mai 02 2018 - 09:54:38 CEST)
- PPDP 2018: Deadline Extension! (Di Apr 24 2018 - 15:35:11 CEST)
- PPDP 2018: Second Call for Papers (Do Apr 05 2018 - 09:03:59 CEST)
- PPDP 2018: First Call for Papers (Di Jan 23 2018 - 14:45:53 CET)
David Sacher
- Occurs-check in the unification (" =:= ") (Mi Dez 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) (Fr Okt 05 2007 - 17:10:17 CEST)
Diego Berrueta
- ANNOUNCE: Zinc Curry Compiler 0.9.1 released (Di Aug 31 2004 - 23:02:09 CEST)
- ANNOUNCE: Zinc Compiler 0.6.0 released (Do Jun 10 2004 - 19:08:11 CEST)
Emanuel Kitzelmann
- Extended submission deadline, AAIP 2011 (Di Apr 05 2011 - 23:27:07 CEST)
- Last CFP: 4th Workshop on Approaches and Applications of Inductive Programming (AAIP 2011) (Fr Mär 25 2011 - 09:12:35 CET)
- CfP: 4th Workshop on Approaches and Applications of Inductive Programming (AAIP 2011) (Mi Jan 05 2011 - 05:44:26 CET)
- CFP: Workshop AAIP'09 associated with ICFP'09, extended submission deadline (Di Mai 19 2009 - 15:45:07 CEST)
Emilio Jesús Gallego Arias
- Re: call-time choice vs partial application? (Fr Mai 04 2007 - 18:00:23 CEST)
- Re: New PAKCS release (Version 1.8.0) (Di Apr 10 2007 - 18:47:44 CEST)
- Re: New PAKCS release (Version 1.8.0) (Di Apr 10 2007 - 19:00:26 CEST)
- Re: New PAKCS release (Version 1.8.0) (Fr Mär 30 2007 - 18:06:23 CEST)
- Re: New PAKCS release (Version 1.8.0) (Fr Mär 30 2007 - 15:16:16 CEST)
- Re: New PAKCS release (Version 1.8.0) (Fr Mär 30 2007 - 12:31:48 CEST)
- Re: New PAKCS release (Version 1.8.0) (Do Mär 29 2007 - 22:27:13 CEST)
- Re: Curry module system (Fr Jan 27 2006 - 12:59:03 CET)
Enrico Pontelli
- TPLP Special Issue on Parallel and Distributed Logic Programming - Final Deadline (Di Apr 04 2017 - 07:37:34 CEST)
- PADL 2015 - Call for Participation (Do Mai 07 2015 - 11:36:16 CEST)
- Extended Deadline - PADL 2015 (Mo Mär 09 2015 - 04:01:30 CET)
- CFP: Practical Aspects of Declarative Languages (PADL 2015) (So Feb 15 2015 - 05:54:15 CET)
- CFP: Practical Aspects of Declarative Languages (PADL 2015) (Do Jan 15 2015 - 03:52:36 CET)
- DAMP'10: Call for Participation (Mi Dez 09 2009 - 05:16:59 CET)
- DAMP 2010 - Extended Deadline [September 27th] (Mi Sep 23 2009 - 16:50:31 CEST)
- DAMP 2010: Call for Papers (Mi Sep 02 2009 - 21:34:21 CEST)
epontell
- CFP: Special Issue of TPLP - Parallel and Distributed Logic Programming [EXTENDED DEADLINE] (Mi Feb 01 2017 - 15:46:11 CET)
- TPLP Special Issue: Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming (Mi Nov 30 2016 - 16:08:54 CET)
Ernesto Pimentel Sánchez
- CfP: European Conference on Service-Oriented and Cloud Computing (ESOCC'12) (Do Feb 09 2012 - 22:53:19 CET)
Evelyne Contejean
- UNIF'07 second call for papers (Fr Apr 20 2007 - 15:20:12 CEST)
Fabian Reck
- Re: findall resulting in strange message (Fr Apr 19 2013 - 18:28:08 CEST)
- Re: findall resulting in strange message (Fr Apr 19 2013 - 14:19:35 CEST)
Fausto Spoto
- Second CfP: Bytecode'07 (Fr Nov 24 2006 - 13:30:54 CET)
Felix Holmgren
- [curry] Re: New homepage for Curry (Mo Nov 16 2020 - 13:35:19 CET)
- [curry] Dynamic Predicates? (Mo Okt 14 2019 - 10:58:36 CEST)
- [curry] Re: What speed to expect doing logic on graphs represented by maps (Di Nov 13 2018 - 09:11:50 CET)
- Build errors ghc 8.4.2, macOS (Di Mai 22 2018 - 10:26:21 CEST)
Fernando Sáenz Pérez
- Re: Editor for Curry (Mi Apr 15 2009 - 18:38:25 CEST)
- TOY 2.3.1 Released (Fr Okt 19 2007 - 10:14:39 CEST)
Finn Teegen
- [curry] Re: Choosing default instances in Curry (Mo Mai 27 2019 - 17:53:18 CEST)
- [curry] Re: How to interpret a data type with no RHS (Mo Mai 27 2019 - 16:02:32 CEST)
- [curry] Haskell-related summer internship in Germany (Fr Nov 30 2018 - 17:04:31 CET)
- Re: Build errors ghc 8.4.2, macOS (Fr Mai 25 2018 - 18:57:12 CEST)
Francisco J. Lopez Fraguas
- Fw: PPDP'09 - last CfP (Mi Apr 29 2009 - 17:51:39 CEST)
- PPDP 2009 - 2nd CfP (Mi Apr 15 2009 - 12:56:56 CEST)
- Post-doc positions at Universidad Complutense Madrid (Do Okt 02 2008 - 10:26:21 CEST)
- Re: Intended meaning (Do Nov 08 2007 - 09:32:15 CET)
- Re: Intended meaning (Di Nov 06 2007 - 12:53:15 CET)
- Re: WFLP 2006 - SECOND CALL FOR PAPERS (Do Jun 29 2006 - 11:57:36 CEST)
- WFLP 2006 - SECOND CALL FOR PAPERS (Fr Mai 19 2006 - 16:04:40 CEST)
- WFLP2006-Call for Papers (Mo Mär 27 2006 - 14:12:13 CEST)
FRANCISCO JAVIER LOPEZ FRAGUAS
- Re: Intended meaning (Mi Nov 07 2007 - 09:16:32 CET)
- Re: Intended meaning (Do Nov 01 2007 - 08:12:08 CET)
Francisco Javier López Fraguas
- Re: Confused Students (Fr Jun 22 2007 - 02:56:50 CEST)
- Re: New PAKCS release (Version 1.8.0) (Di Apr 10 2007 - 23:52:40 CEST)
- Re: New PAKCS release (Version 1.8.0) (Do Mär 29 2007 - 20:23:29 CEST)
Frank Christoph
- Re: Comments from Madrid (Mi Feb 05 1997 - 04:12:48 CET)
Frank Huch
- IFL 2010 - CALL FOR PAPERS (Mi Mär 24 2010 - 19:05:14 CET)
- Re: Curry Report Vers. 0.8.2 (Mi Mär 22 2006 - 18:25:09 CET)
- Re: Curry module system (Fr Feb 17 2006 - 17:36:47 CET)
- TFP 2006: Second CFP (Do Dez 15 2005 - 22:13:57 CET)
- CfP: IFL'04 16th International Workshop on Implementation and Application of Functional Languages (Mi Jul 14 2004 - 18:24:45 CEST)
- IFL'04 16th International Workshop on Implementation and Application of Functional Languages (Di Jun 08 2004 - 13:54:44 CEST)
Frank Steiner
- Re: Encapsulated search does not encapsulate(all)non-determinism (Di Jan 15 2002 - 12:21:02 CET)
- Re: Encapsulated search does not encapsulate (all)non-determinism (Mo Jan 14 2002 - 13:45:55 CET)
- Re: Language changes: Committed choice (Di Okt 27 1998 - 17:24:27 CET)
- Re: Language changes: Committed choice (Di Okt 27 1998 - 11:46:36 CET)
- Re: Proposal for syntax changes in Curry (Fr Okt 23 1998 - 16:35:41 CEST)
German Vidal
- Call for Papers: HVCS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis (Mi Jan 24 2018 - 11:03:33 CET)
- TPLP special issue on computational logic for verification (Mo Okt 10 2016 - 09:51:40 CEST)
- TPLP special issue on computational logic for verification (Mo Sep 12 2016 - 10:32:34 CEST)
- Last Call for Participation: PPDP 2016 - 18th International Symposium on Principles and Practice of Declarative Programming (Di Aug 02 2016 - 10:51:16 CEST)
- 2016 Autumn School on Computational Logic (Mo Jul 11 2016 - 11:46:24 CEST)
- Call for participation: PPDP 2016 (Do Jul 07 2016 - 16:15:02 CEST)
- Call for papers - TPLP special issue on computational logic for verification (Do Jun 30 2016 - 12:58:12 CEST)
- PPDP 2016 - Last Call for Papers (Mi Mai 04 2016 - 10:19:45 CEST)
- 18th International Symposium on Principles and Practice of Declarative Programming PPDP 2016 - 2nd call for papers (Do Apr 07 2016 - 09:19:07 CEST)
- PPDP 2016: First Call for Papers (Do Feb 25 2016 - 11:47:42 CET)
- PhD position - Computer assisted validation in Erlang (Do Sep 11 2014 - 13:19:31 CEST)
- LOPSTR 2014 - Extended Deadlines (So Jun 01 2014 - 09:53:33 CEST)
- LOPSTR 2014: Second Call for Papers (Do Apr 17 2014 - 11:01:45 CEST)
- [LOPSTR 2014] First Call for Papers (Do Feb 27 2014 - 11:14:19 CET)
- LOPSTR 2011 - call for participation (Do Mai 26 2011 - 13:36:13 CEST)
- WLPE deadline extension (Do Apr 28 2011 - 22:13:43 CEST)
- WLPE 2nd CFP (July 10, Lexington, Kentucky) (Mo Apr 25 2011 - 18:48:27 CEST)
- WLPE 1st CFP (July 10, Lexington, Kentucky) (Di Mär 29 2011 - 15:44:48 CEST)
- LOPSTR 2011 - Submission deadline extended: April 17 (both full papers and extended abstracts) (Mo Mär 28 2011 - 14:50:13 CEST)
- LOPSTR 2011 - Last CFP (Mo Mär 14 2011 - 12:26:06 CET)
- LOPSTR 2011 - second call for papers (Di Feb 15 2011 - 17:32:59 CET)
- LOPSTR 2011 - call for papers (Mi Jan 12 2011 - 16:14:00 CET)
- Re: Proposal: Syntax extension (Fr Jan 07 2011 - 01:53:27 CET)
- CICLOPS-WLPE 2010 at FLoC: Call for Participation (Mi Mai 12 2010 - 09:50:19 CEST)
- CFP CICLOPS-WLPE 2010 at FLoC (Edinburgh, 15 July) (Mo Mär 01 2010 - 20:45:15 CET)
- FLOPS 2010 - Call for Participation (Di Feb 09 2010 - 16:06:49 CET)
- FLOPS 2010: Extended submission deadlines (Mo Okt 19 2009 - 12:59:24 CEST)
- FLOPS 2010: Last Call for Papers (Fr Okt 02 2009 - 10:07:25 CEST)
- FLOPS 2010: Second Call for Papers (Di Sep 01 2009 - 13:04:53 CEST)
- FLOPS 2010: Preliminary Call for Papers (Do Mai 14 2009 - 10:40:53 CEST)
- PEPM 2009 - final call for papers (Fr Okt 03 2008 - 12:44:14 CEST)
- [PEPM 2009] Preliminary CFP (Mi Jul 30 2008 - 13:16:41 CEST)
- [SAS-LOPSTR-PPDP-PLID 2008] Call for participation (Do Jun 05 2008 - 23:12:46 CEST)
- SAS 2008 - Call for participation (Mo Mai 26 2008 - 10:30:56 CEST)
- DEADLINE EXTENSION - SAS 2008 (Di Jan 15 2008 - 09:54:38 CET)
- SAS 2008 - Final CFP (Do Jan 10 2008 - 10:24:29 CET)
- SAS 2008 Third Call for Papers (Mi Jan 02 2008 - 10:05:35 CET)
- SAS 2008 Second Call for Papers (Fr Dez 07 2007 - 12:59:46 CET)
- Re: Committed Choice (Was: Summary of changes) (Mo Dez 06 2004 - 19:09:03 CET)
- Re: Committed Choice (Was: Summary of changes) (Do Dez 02 2004 - 20:56:18 CET)
- Re: Name discussion for new primtive (Do Nov 11 2004 - 13:42:51 CET)
- Re: Name discussion for new primtive (Do Nov 11 2004 - 11:51:37 CET)
- Re: Proposal: restrict multiple guards (Mo Apr 07 2003 - 21:28:52 CEST)
- Re: Proposal: Lazy matching for local patterns (Mi Okt 24 2001 - 22:10:46 CEST)
- Re: Proposal: Lazy matching for local patterns (Mi Okt 24 2001 - 22:05:14 CEST)
- Re: Proposal: Lazy matching for local patterns (Mi Okt 24 2001 - 17:37:54 CEST)
- Re: Proposal: Lazy matching for local patterns (Di Okt 23 2001 - 17:19:32 CEST)
Gopal Gupta
- PADL'08: Call for Participation (Early Reg. Deadline: Dec 13) (Do Dez 06 2007 - 23:23:16 CET)
- PADL 2008: Call for Papers (Mo Jun 25 2007 - 16:53:37 CEST)
- 9th Symposium on Practical Aspects of Declarative Langs (Call for Participation) (Di Nov 21 2006 - 19:17:52 CET)
- Final CFP: 9th Int'l Symposium on Practical Aspects of Declarative Languages (PADL) (Mo Aug 28 2006 - 16:57:27 CEST)
- CFP for Practical Aspects of Declarative Languages: 9th Symposium (Mi Aug 02 2006 - 17:35:20 CEST)
- PADL'07: CALL FOR PAPERS (Fr Jun 23 2006 - 07:10:39 CEST)
Gustavo Arroyo Delgado
- Re: Getting the constructor from flat curry (Fr Jul 09 2010 - 17:13:37 CEST)
- Re: Getting the constructor from flat curry (Do Jul 08 2010 - 03:47:03 CEST)
- Re: Getting the constructor from flat curry (Di Jul 06 2010 - 17:27:46 CEST)
h7sa_at_pdx.edu
- [curry] Re: New homepage for Curry (Mo Nov 16 2020 - 18:02:09 CET)
- [curry] Re: Specifying default rules: Why and how? (Mo Nov 19 2018 - 04:24:30 CET)
- Re: Curry-on to infinity (Mo Dez 21 2015 - 18:36:01 CET)
- Re: Curry-on to infinity (Di Dez 15 2015 - 19:15:09 CET)
- CFP: TPLP special issue on New Trends of Constraint Logic Programming (Mi Dez 02 2015 - 18:07:58 CET)
- Re: Proposal: Simplifying Curry (So Okt 11 2015 - 18:59:59 CEST)
- Re: Proposal: Simplifying Curry (So Okt 11 2015 - 19:05:18 CEST)
- Re: PAKCS Internal Functions (Do Mai 14 2015 - 23:58:23 CEST)
Harold Boley
- Announcing Rule Markup Initiative (Mo Nov 13 2000 - 12:41:46 CET)
- Re: Narrowing vs. rewriting (Di Jul 08 1997 - 15:32:50 CEST)
- Re: Narrowing vs. rewriting (Fr Jul 04 1997 - 16:19:17 CEST)
- Re: Curry design (Do Jul 03 1997 - 17:54:25 CEST)
- Re: Comments from Madrid (Mi Feb 05 1997 - 09:50:06 CET)
hema kumar
- Re: Getting the constructor from flat curry (Fr Jul 09 2010 - 11:08:31 CEST)
- Re: Getting the constructor from flat curry (Mi Jul 07 2010 - 23:56:40 CEST)
- Re: Getting the constructor from flat curry (Di Jul 06 2010 - 13:05:59 CEST)
- Getting the constructor from flat curry (Mi Jun 30 2010 - 00:48:54 CEST)
- Re: PAKCS On windows??? (Di Apr 20 2010 - 09:31:20 CEST)
- PAKCS On windows??? (Mo Apr 19 2010 - 08:18:33 CEST)
Hendrik Lock
- Re: Curry (Di Dez 17 1996 - 18:55:13 CET)
Herbert Kuchen
- [curry] WFLP 2019 - Submission Deadline extended (Di Jun 04 2019 - 12:47:12 CEST)
- [curry] 2nd CFP WFLP (Di Apr 02 2019 - 16:05:56 CEST)
- Re: Proposal: Simplifying Curry (Do Okt 01 2015 - 13:54:44 CEST)
- CfP WFLP 2012 (Mo Nov 28 2011 - 08:23:59 CET)
- Call for Participation KPS 2011 (Mo Jul 11 2011 - 12:05:48 CEST)
- Call for Participation WFLP 2011 (Di Mai 24 2011 - 13:58:30 CEST)
- Last CfP and Deadlien Extension, WFLP 2011 (Fr Apr 08 2011 - 16:33:51 CEST)
- Call for Papers, WFLP 2011 (Mo Feb 28 2011 - 12:55:41 CET)
- Re: Name discussion for new primtive (Do Nov 11 2004 - 11:48:45 CET)
- Re: Evaluation Annotations (Was Re: Proposal: Relaxing restrictions in Curry (Mi Nov 10 2004 - 11:27:34 CET)
- Re: Non-deterministic operation (Do Jun 10 2004 - 19:54:38 CEST)
- Re: Free variables in Curry (Do Jan 07 1999 - 14:34:11 CET)
- Re: Local pattern declarations in Curry (Fr Nov 13 1998 - 13:03:45 CET)
- Re: Local pattern declarations in Curry (Do Nov 12 1998 - 11:30:59 CET)
- Re: Local pattern declarations in Curry (Mi Nov 11 1998 - 13:19:35 CET)
- Re: Local pattern declarations in Curry (Di Nov 10 1998 - 15:40:29 CET)
- Re: Language changes: Committed choice (Mi Okt 28 1998 - 09:58:11 CET)
- Re: Language changes: Committed choice (Di Okt 27 1998 - 13:51:22 CET)
- Re: Existential quantification in expression (Fr Okt 23 1998 - 18:53:19 CEST)
- Re: Proposal for syntax changes in Curry (Fr Okt 23 1998 - 14:40:16 CEST)
- Re: Language change proposal (Fr Dez 20 1996 - 11:33:56 CET)
- Re: Curry (Mi Dez 18 1996 - 11:22:39 CET)
- Re: Curry mailing list (welcome) (Mo Dez 16 1996 - 13:52:04 CET)
herme_at_fi.upm.es
- POPL 2010 - Call for Participation - Early Registration Dec 22 (Sa Dez 19 2009 - 03:17:19 CET)
Horatiu Cirstea
- 3rd Call for papers: 6th International Workshop on Rule-Based Programming RULE'05 (Mi Jan 12 2005 - 09:20:11 CET)
Isabelle Perseil
- ICECCS 2012 - Call for Papers (Mi Okt 12 2011 - 18:17:08 CEST)
- EXTENDED DEADLINE : UML&FM'2011 (Fr Apr 15 2011 - 04:32:51 CEST)
- CALL FOR PAPERS : UML&FM2011 (Di Mär 01 2011 - 23:23:44 CET)
Ivan Zakharyaschev
- example with 2 combined searches: does "No solution" guarantee no solution actually? (Mi Apr 20 2011 - 00:00:46 CEST)
Jacob Johannsen
- PPDP 2014: Program and 2nd Call for Participation (So Jul 27 2014 - 14:59:54 CEST)
- PPDP 2014 Call for Participation (Sa Jul 12 2014 - 00:05:26 CEST)
- PPDP 2014: 2nd Call for Papers (Fr Mai 02 2014 - 22:20:23 CEST)
- PPDP 2014: Call for Papers (Fr Apr 11 2014 - 19:11:21 CEST)
Jaime Sánchez Hernández
- Re: Proposal: Change semantics of pattern matching (Di Okt 03 2000 - 15:03:34 CEST)
James Koppel
- Re: Timing Curry programs (Sa Okt 21 2017 - 03:09:05 CEST)
- Re: Timing Curry programs (Fr Okt 20 2017 - 00:15:55 CEST)
- Timing Curry programs (Fr Okt 20 2017 - 00:15:01 CEST)
- Re: Help using currypp (So Apr 02 2017 - 23:22:26 CEST)
- Re: Help using currypp (Sa Apr 01 2017 - 19:09:06 CEST)
- Help using currypp (Fr Mär 31 2017 - 22:58:51 CEST)
Jan Christiansen
- Re: Do notation for arbitrary monads (Mi Sep 07 2011 - 10:08:53 CEST)
- Re: residuation for compositional search? (Mi Jun 15 2011 - 09:38:15 CEST)
- Re: slight differences between non-termination and failure (Do Feb 03 2011 - 10:11:58 CET)
- Denotational semantics for recursive let expressions (Fr Dez 17 2010 - 13:42:10 CET)
- Re: Invertible nondeterminism? (Fr Dez 17 2010 - 13:15:33 CET)
- Re: Invertible nondeterminism? (Do Dez 16 2010 - 23:08:17 CET)
- Re: Invertible nondeterminism? (Do Dez 16 2010 - 15:47:55 CET)
- Re: Getting the constructor from flat curry (Fr Jul 09 2010 - 11:21:46 CEST)
- Re: beautiful non-determinism (Di Jul 28 2009 - 10:04:47 CEST)
- ANNOUNCE: Haskell Communities and Activities Report (15th ed., November 2008) (Fr Nov 28 2008 - 10:16:21 CET)
- Haskell Communities & Activities Report (Do Okt 09 2008 - 09:52:43 CEST)
- danoM == Comonad ? (Mi Sep 03 2008 - 09:26:18 CEST)
- Haskell Communities and Activities Report (Mo Jun 02 2008 - 10:20:35 CEST)
Jeffrey Brown
- [curry] Re: Haskell compatibility (Mo Dez 16 2019 - 21:21:47 CET)
- [curry] Re: Haskell compatibility (Mo Dez 16 2019 - 20:13:17 CET)
- [curry] pakcs installation gave "inappropriate ioctl" error; I tried to rebuild `pakcs`; now I can't even build `pakcs` (So Dez 02 2018 - 23:34:07 CET)
- [curry] The PAKCS REPL consider something undefined, but the module defining it is loaded (Do Nov 29 2018 - 21:51:00 CET)
- [curry] Re: Specifying default rules: Why and how? (Do Nov 22 2018 - 06:17:01 CET)
- [curry] Re: Specifying default rules: Why and how? (Mo Nov 19 2018 - 04:49:53 CET)
- [curry] Specifying default rules: Why and how? (Mo Nov 19 2018 - 01:50:17 CET)
- [curry] Re: What speed to expect doing logic on graphs represented by maps (Di Nov 13 2018 - 17:30:16 CET)
- [curry] What speed to expect doing logic on graphs represented by maps (Mo Nov 12 2018 - 17:40:10 CET)
Jeroen Ketema
- WRS 2013 - Call for Papers (Mo Apr 08 2013 - 13:05:48 CEST)
Johan Boye
- Typesetting program (Fr Jul 04 1997 - 11:43:32 CEST)
John Gallagher
- CALL FOR PARTICIPATION 27th International Conference on Logic Programming (ICLP 2011) (Do Mai 05 2011 - 16:43:12 CEST)
- Final cfp ICLP 2011 - Submission Deadline Extension (Do Jan 13 2011 - 23:42:08 CET)
- Call for Participation - PEPM'10 (co-located with POPL'10) (Mi Nov 18 2009 - 18:32:57 CET)
- PEPM'10 - Final CFP (Deadline Tuesday 6 October, 2009 ) (Do Okt 01 2009 - 16:32:07 CEST)
- PEPM'10 - CFP (Submission: 6 Oct 09, Notification: 29 Oct 09) (Mo Sep 14 2009 - 11:42:42 CEST)
- First Call For Papers: PEPM'10 (Di Jun 16 2009 - 17:39:06 CEST)
John Lloyd
- Re: killer apps (Do Jul 10 1997 - 12:34:46 CEST)
- Concurrency (Fr Jul 04 1997 - 16:00:39 CEST)
- Set processing (Fr Jul 04 1997 - 15:42:21 CEST)
- killer apps (Fr Jul 04 1997 - 03:24:52 CEST)
- permute example (Fr Jul 04 1997 - 02:36:09 CEST)
- killer apps (Do Jul 03 1997 - 18:50:23 CEST)
- Re: Narrowing vs. rewriting (Do Jul 03 1997 - 16:21:39 CEST)
- Re: Curry design (Do Jul 03 1997 - 14:45:32 CEST)
- Re: Curry design (Mi Jul 02 1997 - 20:48:59 CEST)
- Re: Curry design (Mi Jul 02 1997 - 19:17:06 CEST)
- Curry design (Di Jul 01 1997 - 17:06:05 CEST)
John Patrick Gallagher
- Re: FIRST Call For Papers: FLOPS 2018: 14th International Symposium on Functional and Logic Programming (Fr Sep 29 2017 - 12:24:36 CEST)
- PPDP and LOPSTR 2017 Call for Participation (Mo Aug 28 2017 - 13:20:50 CEST)
- FIRST Call For Papers: FLOPS 2018: 14th International Symposium on Functional and Logic Programming (Do Jun 29 2017 - 21:49:39 CEST)
- LOPSTR 2017: Final Call for Papers - DEADLINE EXTENSION (Fr Jun 09 2017 - 12:04:33 CEST)
- Re: LOPSTR 2017: 2nd Call for Papers (Fr Jun 02 2017 - 12:13:20 CEST)
- LOPSTR 2017: 1st Call for Papers (Do Apr 27 2017 - 20:06:09 CEST)
- Call for Papers: 3rd Workshop on Horn Clauses for Verification and Synthesis (HCVS), affiliated with ETAPS 2016 (Sa Dez 12 2015 - 21:53:59 CET)
- Ph.D. Position on Analysis of Energy Consumption of High-Level Programs (Mi Sep 16 2015 - 22:42:09 CEST)
Jose Hernandez-Orallo
- Research Positions at the Technical University of Valencia (Mo Sep 22 2003 - 15:40:02 CEST)
Juan Rodriguez Hortalá
- Re: Type-classes and call-time choice vs. run-time choice (Fr Aug 28 2009 - 12:36:36 CEST)
Juan Carlos Gonz\alez Moreno
- ESOP'96 (Fr Jan 24 1997 - 09:06:36 CET)
Juan Carlos González Moreno
- Re: Bug in PAKCS data inspection ¿? (Mo Okt 29 2007 - 12:03:16 CET)
- Re: Bug in PAKCS data inspection ¿? (Fr Okt 26 2007 - 12:32:20 CEST)
- Bug in PAKCS data inspection ¿? (Mi Okt 24 2007 - 11:32:14 CEST)
- DESMA'07 2nd call for papers (Mo Apr 16 2007 - 13:35:06 CEST)
- Re: New PAKCS release (Version 1.8.0) (Fr Mär 30 2007 - 10:33:51 CEST)
Juan Rodriguez Hortala
- Re: call-time choice and extensionality (Mi Aug 24 2011 - 09:47:35 CEST)
- Re: Invertible nondeterminism? (Do Dez 16 2010 - 12:48:50 CET)
- Re: Invertible nondeterminism? (Do Dez 16 2010 - 12:32:44 CET)
- Re: Type-classes and call-time choice vs. run-time choice (Mo Aug 31 2009 - 15:03:59 CEST)
Juergen Giesl
- Last CFP: WRS 2007 (Reduction Strategies in Rewriting and Programming) (Do Apr 12 2007 - 16:39:26 CEST)
- CFP: WRS 2007 (Reduction Strategies in Rewriting and Programming) (Do Feb 22 2007 - 17:32:03 CET)
Julio Mariño
- Re: Proposal: Simplifying Curry (Fr Okt 09 2015 - 15:02:13 CEST)
- Re: Insertion Sort from Permutation Sort (Mo Sep 22 2014 - 17:24:27 CEST)
- Re: Insertion Sort from Permutation Sort (Mi Okt 16 2013 - 11:32:17 CEST)
- Re: Invertible nondeterminism? (Do Dez 16 2010 - 15:42:10 CET)
- Re: Invertible nondeterminism? (Do Dez 16 2010 - 13:53:51 CET)
- Fwd: Invertible nondeterminism? (Do Dez 16 2010 - 13:33:40 CET)
- WFLP2010: Call for Participation (Mo Dez 28 2009 - 14:51:58 CET)
- WFLP2010: Deadlines extended (Do Nov 12 2009 - 19:11:31 CET)
- WFLP2010 2nd CFP: LNCS + invited speaker + abstract due Nov 9 (Mo Okt 26 2009 - 18:23:36 CET)
- CFP: Workshop on Functional and (Constraint) Logic Programming WFLP2010 (Sa Okt 03 2009 - 23:39:56 CEST)
- Re: Data structures with labeled fields (Mi Mär 01 2006 - 16:31:33 CET)
Julio Mariño y Carballo
- CFP: 19th International Workshop on Functional and (Constraint) Logic Programming (Di Okt 13 2009 - 19:57:17 CEST)
- Re: Evaluation Annotations: are they needed? (Mo Nov 15 2004 - 13:19:58 CET)
- Re: Evaluation Annotations: are they needed? (Mo Nov 15 2004 - 12:27:51 CET)
- Re: Evaluation Annotations: are they needed? (Fr Nov 12 2004 - 23:00:18 CET)
- Re: Evaluation Annotations: are they needed? (Fr Nov 12 2004 - 20:19:30 CET)
- Evaluation Annotations: are they needed? (Fr Nov 12 2004 - 14:37:28 CET)
kahl_at_cas.mcmaster.ca
- Re: Intended meaning (Mi Nov 07 2007 - 15:07:36 CET)
- Re: Intended meaning (Do Nov 01 2007 - 21:20:19 CET)
- Re: Intended meaning (Do Okt 25 2007 - 15:58:12 CEST)
- Re: Intended meaning (Do Okt 25 2007 - 15:17:56 CEST)
- Re: Confused Students (Mi Jun 20 2007 - 15:13:40 CEST)
- Re: Confused Students (Mi Jun 20 2007 - 00:40:15 CEST)
- Re: call-time choice vs partial application? (Sa Mai 05 2007 - 00:57:04 CEST)
Karn Kallio
- Re: Multiple instances of PAKCS interfere with each other (Di Jan 06 2015 - 09:04:53 CET)
LADS'007 Co-organisers
- LADS'007 - Call for Papers - Workshop on Languages, methodologies and Development tools for multi-agent Systems (Do Mär 08 2007 - 13:57:51 CET)
Larry D. Lee jr.
- Possible bug? (Sa Nov 23 2013 - 21:17:24 CET)
- Compiling standalone applications in Kics2 (Sa Dez 01 2012 - 03:06:10 CET)
lausgans_at_gmail.com
- Re: Random labeling options for CLPFD (So Nov 08 2015 - 05:54:32 CET)
- Re: Random labeling options for CLPFD (Do Nov 05 2015 - 18:10:34 CET)
- Re: Random labeling options for CLPFD (Do Nov 05 2015 - 07:11:12 CET)
- Random labeling options for CLPFD (Di Nov 03 2015 - 15:54:05 CET)
- Eliminate Haskell obfuscisms (was Smap: Collecting small programs) (Fr Okt 31 2014 - 06:42:21 CET)
- Re: Some syntax sugar for logic programming (Fr Okt 31 2014 - 06:16:19 CET)
- Some syntax sugar for logic programming (Mo Okt 27 2014 - 05:36:57 CET)
- Re: New KiCS2 release available (Mo Aug 11 2014 - 12:38:12 CEST)
Lee, Larry D.
- Re: findall resulting in strange message (Fr Apr 19 2013 - 16:13:17 CEST)
list_at_clip.dia.fi.upm.es
- DAMP'09 -- Call for Participation (Mi Dez 24 2008 - 05:57:02 CET)
Liu Junfeng
- Who can port one of the curry implementations to windows platform? (So Mär 23 2003 - 14:17:33 CET)
Logic Programming Rsrch Association
- PADL'06 Call for Papers (Di Jul 12 2005 - 16:58:13 CEST)
LOPSTR 2006
- LOPSTR'06 in Venice, Italy -- Call for Papers (Di Feb 14 2006 - 20:14:12 CET)
Luca Torella
- CLP(FD) and the Minimize labeling option (Di Nov 24 2009 - 10:38:04 CET)
Manuel Carro
- CFP: DAMP 2011 (Fr Sep 10 2010 - 19:14:59 CEST)
- PADL 2010: Call for Participation (Mo Dez 14 2009 - 10:37:23 CET)
- PADL'10: deadline extension (1 more week) (Mo Aug 31 2009 - 14:04:05 CEST)
- PADL 10: Third Call for Papers (Mi Aug 26 2009 - 06:06:11 CEST)
- Second Call for Papers: PADL'10, Madrid, January 2010 (Fr Jul 24 2009 - 17:17:12 CEST)
- Initial Call for Papers: PADL 2010 (So Jun 07 2009 - 20:50:52 CEST)
- DAMP 2009 CFP (Mi Sep 24 2008 - 18:45:59 CEST)
Manuel Chakravarty
- Re: Curry's Constraint Syntax (Do Feb 12 1998 - 02:55:07 CET)
- Re: Curry's Constraint Syntax (Di Feb 10 1998 - 01:54:39 CET)
- Re: Narrowing: yes or no? [was Re: Narrowing vs. rewriting] (Fr Jul 11 1997 - 03:56:18 CEST)
- Re: killer apps (Do Jul 10 1997 - 08:52:50 CEST)
- Narrowing: yes or no? [was Re: Narrowing vs. rewriting] (Fr Jul 04 1997 - 07:59:41 CEST)
- Concurrency in FL languages [was Re: Curry design] (Fr Jul 04 1997 - 07:06:57 CEST)
- Re: Curry (Mi Dez 18 1996 - 12:13:19 CET)
Manuel Hermenegildo
- LOPSTR 2016 Call for Papers (Sa Apr 30 2016 - 18:23:12 CEST)
- CFP: 25th Int'l Conf. on Compiler Construction (CC) - Final Call (So Nov 22 2015 - 13:31:35 CET)
- CFP: 25th Int'l Conf. on Compiler Construction (CC) - *new deadline* (Mo Nov 09 2015 - 17:13:08 CET)
- CFP: 25th Int'l Conf. on Compiler Construction (CC) - *new deadline* (Di Nov 03 2015 - 20:20:59 CET)
- CFP: 25th International Conference on Compiler Construction (CC) (Mo Aug 24 2015 - 16:17:35 CEST)
- FINAL CFP, ICLP 2010 - Extended Deadline: Jan 31 / Feb 7 (Di Jan 26 2010 - 13:33:02 CET)
- CFP - ICLP 2010 - DEADLINE: Jan 26 (Sa Jan 09 2010 - 21:41:45 CET)
- CFP VMCAI 2010, Madrid - EXTENDED DEADLINE: Aug 21/28 (So Aug 16 2009 - 15:19:48 CEST)
- DAMP2008 Decl. Aspects of Multicore Prog, - *extended* deadline Oct31 (Fr Okt 26 2007 - 00:12:41 CEST)
- DAMP2008 Declarative Aspects of Multicore Programming - Deadline Oct26 (Di Okt 23 2007 - 21:45:43 CEST)
- CFP - DAMP 2008 - Declarative Aspects of Multicore Programming (Do Okt 11 2007 - 22:51:28 CEST)
- Re: formal verification for functional-logic programming languages (Fr Nov 04 2005 - 20:07:22 CET)
- CFP - Practical Aspects of Declarative Languages 2005 (Fr Jul 23 2004 - 03:18:27 CEST)
Manuel M. T. Chakravarty
- Re: Existential quantification in expressions (Mo Okt 26 1998 - 08:31:49 CET)
Marco Comini
- LOPSTR 2010: Deadline extension (Do Mär 25 2010 - 21:09:27 CET)
- First CFP: WWV 2009 (Mi Nov 26 2008 - 19:05:09 CET)
- PAKCS and Sicstus 3.12 (Di Dez 21 2004 - 12:44:43 CET)
Maria Alpuente Frasnedo
- FMICS 2009: Second Call for Papers (Di Jan 20 2009 - 15:04:40 CET)
- FMICS 2009: First CFP (Di Nov 11 2008 - 09:35:37 CET)
Maria Garcia de la Banda
- TPLP special issue call for papers (Mo Dez 05 2005 - 11:09:40 CET)
Maribel Fernandez
- RULE 2006 at FLoC --- paper deadline 14 May (Do Apr 20 2006 - 19:00:18 CEST)
Mario Rodriguez Artalejo
- Re: Comments from Madrid (Mi Feb 05 1997 - 16:36:08 CET)
- Sergio's questions (Di Feb 04 1997 - 12:16:31 CET)
- Re: Comments from Madrid (Di Feb 04 1997 - 11:18:45 CET)
Mario Rodriguez-Artalejo
- Re: Slight change of the Curry syntax (Mo Aug 25 2003 - 11:38:23 CEST)
- Re: Proposal: Lazy matching for local patterns (Mi Okt 24 2001 - 11:51:52 CEST)
- Re: Curry language changes (Di Nov 30 1999 - 19:25:15 CET)
Matthew Naylor
- Re: Help with a little function called "choose" (Di Jun 13 2006 - 10:56:13 CEST)
- Help with a little function called "choose" (Mo Jun 12 2006 - 21:02:37 CEST)
Michael Hanus
- [curry] New PAKCS and KiCS2 releases (Di Apr 16 2024 - 11:10:05 CEST)
- [curry] LOPSTR 2024 -- Call for Papers (Di Mär 26 2024 - 12:57:30 CET)
- [curry] CfP: FLOPS 2024 Symposium on Functional and Logic Programming (Fr Jul 28 2023 - 15:34:43 CEST)
- [curry] WLP @ KI2023: Call for Papers (Mo Jun 05 2023 - 09:25:11 CEST)
- [curry] PPDP 2023 - Call for Papers (Do Apr 20 2023 - 17:58:39 CEST)
- [curry] LOPSTR 2023 (Lisbon) - Second Call for Papers - Paper Deadline: May (Do Apr 20 2023 - 17:49:31 CEST)
- [curry] LOPSTR 2023 - Call for Papers (Do Mär 23 2023 - 18:26:21 CET)
- [curry] PADL 2023: Final Call for Papers (with updated deadlines!) (Mi Okt 05 2022 - 19:57:43 CEST)
- [curry] 2nd Call for Papers: PADL 2023 (Sa Sep 17 2022 - 18:59:12 CEST)
- [curry] 1st Call for Papers: PADL 2023 (Di Aug 09 2022 - 17:32:18 CEST)
- [curry] FLOPS 2022: Call For Participation & Workshop talk proposals (Di Apr 26 2022 - 17:58:05 CEST)
- [curry] [CfP] ICLP 2022 - Call for Recently Published Research Papers (Mi Feb 09 2022 - 18:04:42 CET)
- [curry] [Final CfP] ICLP 2022 - The 38th International Conference on Logic (Do Jan 13 2022 - 10:52:32 CET)
- [curry] 2nd Call for Papers: FLOPS 2022 (Mi Nov 17 2021 - 17:32:38 CET)
- [curry] ICLP 2022 Call For Papers (Do Okt 21 2021 - 17:21:15 CEST)
- [curry] Call for Papers: FLOPS 2022 (So Sep 26 2021 - 13:20:52 CEST)
- [curry] Preliminary Call for Papers: FLOPS 2022 (Fr Aug 06 2021 - 15:04:27 CEST)
- [curry] Re: Recursion in Set Functions (Di Jul 06 2021 - 18:20:55 CEST)
- [curry] Re: Recursion in Set Functions (Mo Jul 05 2021 - 11:16:33 CEST)
- [curry] LOPSTR 2021 - First CfP (Mo Apr 19 2021 - 15:30:23 CEST)
- Re: PAKCS 3.3.0 release available (Di Feb 16 2021 - 11:39:42 CET)
- [curry] PAKCS 3.3.0 release available (Di Feb 09 2021 - 12:31:44 CET)
- [curry] Re: New homepage for Curry (Mi Nov 18 2020 - 09:22:59 CET)
- [curry] Re: New homepage for Curry (Di Nov 17 2020 - 18:47:13 CET)
- [curry] New homepage for Curry (Fr Okt 16 2020 - 12:30:09 CEST)
- [curry] Call for participation: BOPL 2020 (LOPSTR, Microservices, PPDP, WFLP) (Mo Aug 24 2020 - 10:01:51 CEST)
- [curry] WFLP 2020: 2nd CFP and Extended Deadlines (Mo Jul 06 2020 - 10:15:39 CEST)
- [curry] WFLP 2020 CFP (Workshop on Functional and Constraint Logic Programming) (Mo Mai 04 2020 - 09:17:13 CEST)
- [curry] LOPSTR 2020 - First CFP (Di Mär 31 2020 - 10:02:35 CEST)
- [curry] Re: Haskell compatibility (Do Dez 19 2019 - 10:46:57 CET)
- [curry] Re: Haskell compatibility (Mo Dez 16 2019 - 23:18:36 CET)
- [curry] Re: Unicode support (Mo Dez 16 2019 - 22:57:39 CET)
- [curry] Re: Dynamic Predicates? (Mo Okt 14 2019 - 18:13:05 CEST)
- [curry] Re: "Normal form" of a partial application (Mi Mai 29 2019 - 18:40:00 CEST)
- [curry] Re: Choosing default instances in Curry (Mo Mai 20 2019 - 18:44:44 CEST)
- [curry] Final Call for Papers - PPDP 2019 (So Apr 14 2019 - 17:39:50 CEST)
- [curry] Re: Lots of problems with cypm (Do Apr 04 2019 - 13:03:37 CEST)
- [curry] CfP: WFLP 2019 - 27th International Workshop on Functional and (Constraint) Logic Programming (Mo Feb 04 2019 - 09:18:02 CET)
- [curry] Re: pakcs installation gave "inappropriate ioctl" error; I tried to rebuild `pakcs`; now I can't even build `pakcs` (Mo Dez 03 2018 - 17:23:06 CET)
- [curry] Re: Specifying default rules: Why and how? (Fr Nov 23 2018 - 09:36:27 CET)
- [curry] Re: Specifying default rules: Why and how? (Mo Nov 19 2018 - 18:06:54 CET)
- [curry] Re: What speed to expect doing logic on graphs represented by maps (Mo Nov 19 2018 - 17:42:34 CET)
- [curry] 2nd Call for Talks -- Haskell Implementors' Workshop (Mi Jul 04 2018 - 18:23:57 CEST)
- WFLP 2018: Call for Papers (Reminder) (Di Jun 19 2018 - 12:19:12 CEST)
- Re: Build errors ghc 8.4.2, macOS (Di Mai 29 2018 - 09:48:41 CEST)
- WFLP 2018: Second Call for Papers (Mi Mai 16 2018 - 15:41:44 CEST)
- Call for Talks -- Haskell Implementors' Workshop (Di Apr 03 2018 - 15:35:33 CEST)
- WFLP 2018: Call for Papers (Di Mär 20 2018 - 09:53:23 CET)
- Debian/Ubuntu packages for PAKCS (Do Okt 26 2017 - 18:41:47 CEST)
- Type classes for Curry (Mi Okt 25 2017 - 21:13:26 CEST)
- Re: Timing Curry programs (Fr Okt 20 2017 - 10:02:13 CEST)
- Re: Timing Curry programs (Fr Okt 20 2017 - 09:55:16 CEST)
- 2nd Call for Papers: WFLP/WLP 2017 (Mo Jun 26 2017 - 22:17:45 CEST)
- Introducing CPM - the Curry Package Manager (Do Jun 22 2017 - 14:46:06 CEST)
- Final Call for Papers: CICLOPS 2017 - 15th International Colloquium on Implementation of Constraint and LOgic Programming Systems (DEADLINES EXTENSION) (Mi Jun 21 2017 - 09:38:00 CEST)
- 2nd Call for Papers: CICLOPS 2017 - 15th International Colloquium on Implementation of Constraint and LOgic Programming Systems (Fr Jun 09 2017 - 13:22:48 CEST)
- Fwd: 2nd CFP, 4th WS on Horn Clauses for Verification & Synthesis HCVS (Deadline: June 11) (Mi Jun 07 2017 - 13:41:27 CEST)
- Call for Papers: WFLP/WLP 2017 (Mo Mai 22 2017 - 13:55:02 CEST)
- PAKCS on Ubuntu and Debian (Mo Mai 15 2017 - 18:44:42 CEST)
- Re: Help using currypp (So Apr 02 2017 - 13:13:25 CEST)
- Re: Help using currypp (Sa Apr 01 2017 - 13:40:50 CEST)
- Re: Curry syntax (Do Mär 09 2017 - 11:28:43 CET)
- Curry Style Guide (Fr Feb 24 2017 - 16:21:52 CET)
- 2nd Call for Papers: WFLP 2016 - Update: EPTCS Proceedings (Di Mai 31 2016 - 20:28:28 CEST)
- Call for Papers: WFLP 2016 - Workshop on Functional and (Constraint) Logic Programming (Di Mai 17 2016 - 21:03:16 CEST)
- Call for Papers - 30th Workshop on Logic Programming (WLP 2016) (Fr Apr 22 2016 - 19:58:19 CEST)
- CFP ICLP 2016: 32nd International Conference on Logic Programming, New York City, Oct 17-21 (Fr Feb 26 2016 - 09:30:47 CET)
- Re: OpenGL bindings for Curry? (Di Jan 12 2016 - 09:26:07 CET)
- Re: Pull tabbing with variables (Mi Dez 30 2015 - 12:21:41 CET)
- Re: Pull tabbing with variables (Mo Dez 21 2015 - 17:46:58 CET)
- Re: Curry-on to infinity (Di Dez 15 2015 - 15:44:34 CET)
- Re: Curry-on to infinity (Do Dez 10 2015 - 22:53:00 CET)
- Re: Curry-on to infinity (Mo Dez 07 2015 - 16:48:12 CET)
- Curry report updated to version 0.9.0 (Mo Nov 16 2015 - 17:31:37 CET)
- Re: Random labeling options for CLPFD (Di Nov 10 2015 - 11:23:34 CET)
- Re: Random labeling options for CLPFD (Do Nov 05 2015 - 14:04:00 CET)
- Re: Random labeling options for CLPFD (Mi Nov 04 2015 - 16:48:32 CET)
- Re: Proposal: Simplifying Curry (Mi Okt 07 2015 - 20:14:12 CEST)
- Re: Proposal: Simplifying Curry (So Okt 11 2015 - 17:43:54 CEST)
- Re: Proposal: Simplifying Curry (So Okt 11 2015 - 17:55:49 CEST)
- Proposal: Simplifying Curry (Do Okt 01 2015 - 13:45:36 CEST)
- Re: PAKCS no longer builds with current SWI release (Mi Sep 02 2015 - 11:11:16 CEST)
- Final CFP: FLOPS 2016, International Symposium on Functional and Logic Programming (Di Sep 01 2015 - 09:54:15 CEST)
- FLOPS 2016, Second CFP (Mi Jul 22 2015 - 13:01:41 CEST)
- Re: PAKCS Internal Functions (Sa Mai 16 2015 - 17:40:06 CEST)
- CfP: FLOPS 2016 (Mo Mai 04 2015 - 10:39:09 CEST)
- New PAKCS/KiCS2 releases available (Do Mär 12 2015 - 15:28:21 CET)
- Re: Found bugs in PAKCS show (Mo Jan 26 2015 - 23:48:42 CET)
- Re: Multiple instances of PAKCS interfere with each other (Di Jan 06 2015 - 12:59:18 CET)
- Re: Eliminate Haskell obfuscisms (was Smap: Collecting small programs) (Fr Okt 31 2014 - 16:20:16 CET)
- Re: Some syntax sugar for logic programming (Fr Okt 31 2014 - 15:48:56 CET)
- Re: Smap: Collecting small programs (Do Okt 30 2014 - 17:58:54 CET)
- Re: Smap: Collecting small programs (Mi Okt 29 2014 - 13:24:02 CET)
- Smap: Collecting small programs (Di Okt 28 2014 - 17:36:07 CET)
- Re: Some syntax sugar for logic programming (Di Okt 28 2014 - 17:17:13 CET)
- RTA 2015 - First Call For Papers (Mo Okt 20 2014 - 13:09:40 CEST)
- WLP/WFLP - Call for Participation - September 15-17 (Mi Aug 13 2014 - 09:45:37 CEST)
- Re: New KiCS2 release available (Di Aug 12 2014 - 19:04:24 CEST)
- New KiCS2 release available (Mi Jul 16 2014 - 14:05:02 CEST)
- 2nd CfP: WFLP 2014 - Workshop on Functional and (Constraint) Logic Programming (Sa Jun 28 2014 - 19:47:50 CEST)
- Re: Fwd: MIU in Curry (Fr Jun 20 2014 - 10:49:05 CEST)
- CFP: WFLP 2014 - Workshop on Functional and (Constraint) Logic Programming (Mi Mai 14 2014 - 10:26:38 CEST)
- Re: On the textual order of rules (Do Mär 27 2014 - 17:40:04 CET)
- Re: On the textual order of rules (Do Mär 27 2014 - 15:08:35 CET)
- Re: Possible bug? (Mo Nov 25 2013 - 17:40:13 CET)
- CfP: ICLP 2014 (Mo Nov 11 2013 - 17:32:08 CET)
- Re: Insertion Sort from Permutation Sort (Mi Okt 16 2013 - 13:00:33 CEST)
- New survey on Curry and FLP (Do Sep 05 2013 - 11:21:39 CEST)
- Re: Call for Participation: Kiel Declarative Programming Days 2013 (Mo Aug 12 2013 - 15:05:27 CEST)
- Call for Participation: Kiel Declarative Programming Days 2013 (Mo Aug 12 2013 - 13:38:11 CEST)
- Call for Papers: Kiel Declarative Programming Days 2013 (Do Jun 27 2013 - 13:27:45 CEST)
- Call for Papers: WFLP/WLP 2013 (Fr Jun 14 2013 - 10:44:39 CEST)
- Re: blog article about Curry (Mo Apr 29 2013 - 10:09:11 CEST)
- Re: MIU in Curry (Mo Apr 29 2013 - 10:07:29 CEST)
- Re: MIU in Curry (Fr Apr 26 2013 - 18:38:38 CEST)
- Re: default search strategy of KiCS2 (Fr Apr 26 2013 - 18:29:56 CEST)
- Re: cannot define operators (Mi Apr 24 2013 - 15:45:43 CEST)
- Re: function inversion and functional patterns (Fr Apr 19 2013 - 22:22:10 CEST)
- Re: findall resulting in strange message (Fr Apr 19 2013 - 18:04:10 CEST)
- Re: findall resulting in strange message (Fr Apr 19 2013 - 14:21:40 CEST)
- Call for Papers: WFLP/WLP 2013 (Mo Mär 25 2013 - 15:12:04 CET)
- Re: Curry Crash Course (Sa Jan 26 2013 - 17:04:01 CET)
- Re: Curry Crash Course (Do Jan 24 2013 - 17:13:35 CET)
- Re: Curry Crash Course (Mo Jan 21 2013 - 14:59:53 CET)
- RTA 2013: 2nd CfP (Do Dez 13 2012 - 15:50:34 CET)
- Re: Compiling standalone applications in Kics2 (Di Dez 11 2012 - 12:14:35 CET)
- Re: Compiling standalone applications in Kics2 (Mo Dez 03 2012 - 12:59:06 CET)
- Curry report updated to version 0.8.3 (Di Sep 11 2012 - 17:50:52 CEST)
- Update of the Curry report (Do Aug 23 2012 - 12:53:20 CEST)
- PhD position in declarative programming (Do Jul 12 2012 - 15:36:28 CEST)
- Re: equality of partial applications (Mi Jun 20 2012 - 18:09:49 CEST)
- Final call for papers for TFPIE 2012 (Do Mai 10 2012 - 13:27:15 CEST)
- Call for Presentation of Work in Progress (Wip-WFLP 2012) (Do Apr 05 2012 - 11:00:54 CEST)
- Second call for papers TFPIE 2012 (Do Apr 05 2012 - 10:46:28 CEST)
- Re: set functions and weak encapsulation (Mo Mär 12 2012 - 12:14:34 CET)
- Re: set functions and weak encapsulation (Di Mär 06 2012 - 10:41:43 CET)
- Re: set functions and weak encapsulation (Di Mär 06 2012 - 10:38:57 CET)
- WFLP2012: 2nd Call For Papers (Mi Feb 15 2012 - 09:07:58 CET)
- TFPIE: Trends in Functional Programming in Education 2012 (Mo Feb 06 2012 - 18:07:59 CET)
- PhD position in declarative programming (Mo Feb 06 2012 - 16:35:48 CET)
- LICS 2012 - Final Call for Papers (Mi Jan 04 2012 - 12:00:13 CET)
- RTA 2012: First Call For Papers (Mo Okt 03 2011 - 13:23:07 CEST)
- Re: Do notation for arbitrary monads (Mi Sep 07 2011 - 09:51:37 CEST)
- RTA 2012: Call for Workshop Proposals (Mi Jul 20 2011 - 14:49:56 CEST)
- Re: Records with labeled fields (Mi Jul 13 2011 - 10:42:21 CEST)
- Re: residuation for compositional search? (Mi Jun 15 2011 - 08:08:53 CEST)
- Re: residuation for compositional search? (Mi Jun 15 2011 - 02:19:50 CEST)
- Re: residuation for compositional search? (Di Jun 14 2011 - 18:52:24 CEST)
- Re: residuation for compositional search? (Mo Mai 30 2011 - 05:21:57 CEST)
- Re: residuation for compositional search? (Di Mai 24 2011 - 21:57:26 CEST)
- Call for Participation: PPDP 2011 (Mo Mai 23 2011 - 22:43:59 CEST)
- Re: example with 2 combined searches: does "No solution" guarantee no solution actually? (Mi Apr 20 2011 - 01:32:13 CEST)
- TFP2011: last CfP (Do Mär 31 2011 - 18:52:54 CEST)
- RDP 2011: Call for Participation (Do Mär 24 2011 - 20:07:19 CET)
- Second CfP: Trends in Functional Programming - TFP 2011 (Sa Mär 19 2011 - 00:51:04 CET)
- Second CfP: FOPARA 2011 (Sa Mär 19 2011 - 00:49:00 CET)
- CfP: PPDP 2011 (Di Mär 01 2011 - 22:56:37 CET)
- Re: Neither PAKCS nor MCC transform right sections according to the Curry report. (Di Feb 22 2011 - 15:19:19 CET)
- Re: slight differences between non-termination and failure (Do Feb 03 2011 - 09:16:31 CET)
- Re: report of PAKCS installation problems (partly solved) (Do Jan 20 2011 - 16:18:52 CET)
- Re: report of PAKCS installation problems (partly solved) (Mi Jan 19 2011 - 17:13:53 CET)
- Re: report of PAKCS installation problems (partly solved) (Mi Jan 19 2011 - 12:09:11 CET)
- CfP: PPDP 2011 (Do Jan 13 2011 - 17:29:27 CET)
- Re: Proposal: Syntax extension (Do Jan 06 2011 - 17:27:11 CET)
- Re: Proposal: Syntax extension (Do Jan 06 2011 - 09:48:53 CET)
- Re: Proposal: Syntax extension (Do Jan 06 2011 - 09:42:51 CET)
- Proposal: Syntax extension (Mi Jan 05 2011 - 10:51:18 CET)
- 1st CFP Trends in Functional Programming 2011 (Mo Dez 20 2010 - 08:41:59 CET)
- Call for Workshop Proposals (RDP 2011, Novi Sad) (Mi Sep 22 2010 - 09:40:16 CEST)
- Re: PAKCS On windows??? (Di Apr 20 2010 - 13:00:46 CEST)
- Re: PAKCS On windows??? (Mo Apr 19 2010 - 09:04:31 CEST)
- Curry web pages (Mi Mär 31 2010 - 11:46:32 CEST)
- Last CfP: LOPSTR'10 (Mi Mär 17 2010 - 09:45:04 CET)
- TFP 2010 - Call for Papers and Participation (Di Feb 23 2010 - 07:56:49 CET)
- Re: CLP(FD) and the Minimize labeling option (Di Nov 24 2009 - 23:27:59 CET)
- CFP - VMCAI 2010, Madrid (11th Int'l Conf on Verification, Model Checking, and Abstract Interpretation) (Di Jul 28 2009 - 08:36:27 CEST)
- IFL 2009: Third Call for Papers (Do Jul 16 2009 - 17:31:55 CEST)
- IFL 2009: Second Call for Papers (Mo Jun 01 2009 - 19:10:33 CEST)
- Last CFP: Trends in Functional Programming (Mi Mai 06 2009 - 09:22:01 CEST)
- Re: using maling list (Do Apr 16 2009 - 15:33:24 CEST)
- TFP 2009: Third Call for Papers (Mi Apr 15 2009 - 12:41:33 CEST)
- CfP TFP 2009 and Functional Programming summer school: CEFP 2009 (Do Mär 19 2009 - 09:41:21 CET)
- LOPSTR2009 first Call for Papers (Di Mär 17 2009 - 17:21:56 CET)
- Call for Papers: Workshop on Termination (WST 2009) (Do Mär 12 2009 - 16:17:18 CET)
- CfP: CICLOPS09 (So Mär 08 2009 - 18:27:29 CET)
- Take a break: write an essay for Onward! essays (Do Feb 12 2009 - 12:20:54 CET)
- TFP 2009 CFP (Fr Jan 30 2009 - 10:16:53 CET)
- Call for Papers: IFL 2009 (Fr Jan 16 2009 - 15:58:01 CET)
- Logic Programming: 25th International Conference CFP (Mi Jan 07 2009 - 09:21:08 CET)
- curry-language.org (Mo Sep 01 2008 - 17:48:13 CEST)
- Symposium on Practical Aspects of Declarative Languages (PADL'09) (Di Jul 22 2008 - 10:02:40 CEST)
- FDPE 2008 -- Deadline extension (Di Jun 24 2008 - 11:46:53 CEST)
- CfP: FDPE 2008 (Mi Mai 21 2008 - 17:34:12 CEST)
- Re: Two to Three Ways to write an unsafe type cast without importing Unsafe (Mo Mai 19 2008 - 09:36:20 CEST)
- Re: Two to Three Ways to write an unsafe type cast without importing Unsafe (Fr Mai 16 2008 - 18:34:31 CEST)
- Re: Two to Three Ways to write an unsafe type cast without importing Unsafe (Do Mai 15 2008 - 18:57:26 CEST)
- Second Call for Participation TFP 2008, The Netherlands (Do Apr 24 2008 - 09:16:56 CEST)
- Final CfP: LOPSTR 2008 (Fr Apr 18 2008 - 09:14:29 CEST)
- Re: design pattern wanted (Fr Apr 11 2008 - 17:41:29 CEST)
- WRS 2008 - 2nd CFP (Mi Apr 09 2008 - 09:49:55 CEST)
- Re: PAKCS Sockets on swi-pl? -> solved (Di Apr 08 2008 - 15:30:49 CEST)
- Re: PAKCS Sockets on swi-pl? (Di Apr 08 2008 - 12:41:32 CEST)
- CfP: LOPSTR 2008 (Do Mär 13 2008 - 11:27:04 CET)
- Re: Transmit free variables via socket (Di Mär 04 2008 - 16:05:33 CET)
- Third call for papers TFP 08 and second call for participation AFP 08 (Fr Feb 29 2008 - 19:33:43 CET)
- Re: PAKCS, problem with module CLPFD (Fr Feb 08 2008 - 18:28:04 CET)
- PPDP'08: Call for Papers (Fr Feb 08 2008 - 13:35:27 CET)
- 1st call for participation AFP 2008, The Netherlands (Mo Feb 04 2008 - 18:32:26 CET)
- Second Call for Papers TFP 2008, The Netherlands (Fr Feb 01 2008 - 18:53:39 CET)
- LOPSTR 2008: Preliminary Call for Papers (Fr Dez 21 2007 - 15:25:27 CET)
- New PAKCS release (Version 1.9.0) (Mi Dez 19 2007 - 22:50:45 CET)
- Re: Intended meaning (Fr Nov 02 2007 - 12:53:27 CET)
- Re: Intended meaning (Do Nov 01 2007 - 10:19:32 CET)
- Re: Intended meaning (Di Okt 30 2007 - 17:02:42 CET)
- Re: Intended meaning (Mo Okt 29 2007 - 12:47:38 CET)
- Re: Intended meaning (Fr Okt 26 2007 - 15:24:51 CEST)
- Re: Intended meaning (Do Okt 25 2007 - 12:35:05 CEST)
- Re: Intended meaning (Do Okt 25 2007 - 08:10:02 CEST)
- New survey on FLP and Curry (Fr Okt 12 2007 - 11:48:10 CEST)
- Re: Confused Students (Fr Jun 22 2007 - 09:57:12 CEST)
- Re: Confused Students (Do Jun 21 2007 - 10:33:11 CEST)
- Re: Confused Students (Mi Jun 20 2007 - 09:24:43 CEST)
- WLP 2007 - Extended Deadline: July 1, 2007 (Mi Jun 13 2007 - 11:46:58 CEST)
- 2nd CfP: 21st Workshop on Logic Programming - WLP 2007 (Di Mai 29 2007 - 17:48:48 CEST)
- Re: curry on windows (was: encapsulated search) (Fr Mai 11 2007 - 18:27:59 CEST)
- Re: curry on windows (was: encapsulated search) (Mi Mai 09 2007 - 17:30:55 CEST)
- Re: encapsulated search (Re: New PAKCS release (Version 1.8.0)) (Di Mai 08 2007 - 14:51:24 CEST)
- CfP: 21st Workshop on Logic Programming - WLP 2007 (Mo Apr 23 2007 - 09:59:53 CEST)
- Re: New PAKCS release (Version 1.8.0) (Do Mär 29 2007 - 16:57:18 CEST)
- New PAKCS release (Version 1.8.0) (Do Mär 29 2007 - 13:27:46 CEST)
- Re: from static typing to runtime constraints (Fr Dez 08 2006 - 11:24:08 CET)
- WFLP'06: Call for participation (Mo Okt 30 2006 - 09:11:07 CET)
- Re: Help with a little function called "choose" (Di Jun 13 2006 - 09:12:42 CEST)
- New PAKCS (Version 1.7.2) and Curry report (Do Mär 30 2006 - 18:15:45 CEST)
- Re: Two issues with version 0.8.2 of the report (Mo Mär 27 2006 - 12:55:28 CEST)
- Re: Curry Report Vers. 0.8.2 (Fr Mär 24 2006 - 15:45:34 CET)
- Re: Curry Report Vers. 0.8.2 (Fr Mär 24 2006 - 11:31:34 CET)
- Re: Curry Report Vers. 0.8.2 (Di Mär 21 2006 - 09:54:11 CET)
- Re: Curry Report Vers. 0.8.2 (Mo Mär 20 2006 - 12:20:57 CET)
- Re: Curry Report Vers. 0.8.2 (Fr Mär 17 2006 - 14:04:59 CET)
- Curry Report Vers. 0.8.2 (Di Mär 14 2006 - 13:41:45 CET)
- Re: Lazy Patterns (was: Curry module system and other proposals) (Fr Mär 03 2006 - 11:28:36 CET)
- Re: Lazy Patterns (was: Curry module system and other proposals) (Do Mär 02 2006 - 15:01:27 CET)
- Re: Lazy Patterns (was: Curry module system and other proposals) (Mi Mär 01 2006 - 18:21:13 CET)
- Re: Data structures with labeled fields (Mi Mär 01 2006 - 18:22:48 CET)
- Re: Curry module system and other proposals (Di Feb 28 2006 - 09:23:54 CET)
- Re: Curry module system and other proposals (Mo Feb 27 2006 - 14:39:47 CET)
- Re: Curry module system (Mo Feb 20 2006 - 15:22:50 CET)
- Re: Curry module system (Mo Feb 20 2006 - 14:25:57 CET)
- Re: Curry module system (Fr Feb 17 2006 - 11:16:18 CET)
- Re: Curry module system (Do Feb 16 2006 - 16:28:59 CET)
- Re: Curry module system (Mo Feb 06 2006 - 14:50:55 CET)
- Re: Curry module system (Do Feb 02 2006 - 18:33:31 CET)
- Re: Curry module system (Di Jan 31 2006 - 18:45:05 CET)
- Re: Curry module system (Mo Jan 30 2006 - 09:33:54 CET)
- Re: Curry module system (Fr Jan 27 2006 - 18:03:11 CET)
- Re: Curry module system (Fr Jan 27 2006 - 16:36:07 CET)
- Curry module system (Fr Jan 27 2006 - 12:03:33 CET)
- New PAKCS (Version 1.7.0) available (Mo Dez 05 2005 - 18:42:28 CET)
- Re: formal verification for functional-logic programming languages (Mo Nov 07 2005 - 10:14:19 CET)
- Re: prelude extension proposal (Do Okt 27 2005 - 11:18:16 CEST)
- Re: prelude extension proposal (Di Okt 25 2005 - 16:10:39 CEST)
- Re: prelude extension proposal (Di Okt 25 2005 - 15:53:26 CEST)
- Re: prelude extension proposal (Fr Okt 14 2005 - 18:08:08 CEST)
- Re: prelude extension proposal (Mi Okt 12 2005 - 17:19:30 CEST)
- Re: constraint solving with MCC (Mo Okt 10 2005 - 12:44:13 CEST)
- PAKCS Version 1.6.1 available (Mo Okt 10 2005 - 11:35:03 CEST)
- CfP: 20th Workshop on Logic Programming - WLP 2006 (Mi Sep 14 2005 - 09:49:57 CEST)
- WCFLP 2005: Call for Participation (Mi Aug 03 2005 - 23:46:09 CEST)
- FDPE'05: Call for Participation (Mo Aug 01 2005 - 19:36:21 CEST)
- Curry and Functional Logic Programming 2005 (2nd CfP) (Mi Mai 18 2005 - 00:41:36 CEST)
- CfP: Curry and Functional Logic Programming 2005 (Fr Mär 18 2005 - 02:27:18 CET)
- Functional and Declarative Programming in Education 2005 (Mi Jan 19 2005 - 09:00:16 CET)
- Re: external solvers (Di Jan 04 2005 - 14:06:25 CET)
- Re: PAKCS and Sicstus 3.12 (Di Dez 21 2004 - 14:26:39 CET)
- Re: Re: Flexible Enumerations (Fr Dez 10 2004 - 09:50:37 CET)
- Re: Flexible Enumerations (Do Dez 09 2004 - 12:51:40 CET)
- Re: Committed Choice (Was: Summary of changes) (Do Dez 09 2004 - 13:07:31 CET)
- Re: Committed Choice (Was: Summary of changes) (Fr Dez 03 2004 - 12:19:49 CET)
- Summary of changes (Di Nov 23 2004 - 18:11:45 CET)
- Re: Evaluation Annotations: are they needed? (Di Nov 16 2004 - 10:19:56 CET)
- Re: Evaluation Annotations: are they needed? (Mo Nov 15 2004 - 17:54:37 CET)
- Re: Evaluation Annotations: are they needed? (Mo Nov 15 2004 - 17:41:42 CET)
- Re: Evaluation Annotations: are they needed? (Mo Nov 15 2004 - 10:57:15 CET)
- Re: AW: Name discussion for new primtive (Fr Nov 12 2004 - 12:10:29 CET)
- Re: Name discussion for new primtive (Fr Nov 12 2004 - 09:26:41 CET)
- Re: Name discussion for new primtive (Do Nov 11 2004 - 12:51:58 CET)
- Re: Name discussion for new primtive (Do Nov 11 2004 - 12:43:52 CET)
- Re: Evaluation Annotations (Was Re: Proposal: Relaxing restrictions in Curry (Mi Nov 10 2004 - 14:02:18 CET)
- Re: Re: Evaluation Annotations (Fr Nov 05 2004 - 17:04:07 CET)
- Re: Evaluation Annotations (Fr Nov 05 2004 - 10:00:17 CET)
- Re: Proposal: Relaxing restrictions in Curry (Fr Nov 05 2004 - 09:18:19 CET)
- Re: Proposal: Relaxing restrictions in Curry (Do Nov 04 2004 - 14:06:02 CET)
- Re: Proposal: Relaxing restrictions in Curry (Mi Nov 03 2004 - 09:16:22 CET)
- Re: Proposal: Relaxing restrictions in Curry (Mi Nov 03 2004 - 08:59:32 CET)
- Proposal: Relaxing restrictions in Curry (Di Nov 02 2004 - 12:11:57 CET)
- Re: Non-deterministic operation (Do Aug 19 2004 - 14:32:32 CEST)
- Non-deterministic operation (Mo Jun 07 2004 - 17:17:13 CEST)
- Re: Slight change of the Curry syntax (Di Sep 02 2003 - 09:39:39 CEST)
- Slight change of the Curry syntax (Mo Aug 18 2003 - 19:24:03 CEST)
- PAKCS Version 1.5 available (Mo Mai 26 2003 - 17:30:46 CEST)
- Re: Curry Report Vers. 0.8 (Di Mai 06 2003 - 11:22:59 CEST)
- Curry Report Vers. 0.8 (Mi Apr 16 2003 - 14:10:01 CEST)
- Re: Proposal: restrict multiple guards (Do Apr 10 2003 - 17:42:52 CEST)
- Re: Proposal: restrict multiple guards (Do Apr 10 2003 - 13:28:51 CEST)
- Proposal: restrict multiple guards (Mo Apr 07 2003 - 16:05:04 CEST)
- PAKCS Version 1.4.1 available (Do Sep 26 2002 - 14:57:06 CEST)
- Curry Report Vers. 0.7.2 (Fr Sep 20 2002 - 18:01:55 CEST)
- Re: Proposal: change flexible/rigid default in Curry (Mo Sep 09 2002 - 13:14:41 CEST)
- Proposal: change flexible/rigid default in Curry (Mo Aug 26 2002 - 19:01:52 CEST)
- PAKCS Version 1.4 available (Fr Mai 24 2002 - 11:32:11 CEST)
- Re: Encapsulated search does not encapsulate(all)non-determinism (Do Jan 24 2002 - 16:13:03 CET)
- Re: Encapsulated search does not encapsulate (all)non-determinism (Di Jan 15 2002 - 07:36:05 CET)
- Re: Encapsulated search does not encapsulate (all) non-determinism (Fr Jan 11 2002 - 14:19:17 CET)
- Re: Proposal: Lazy matching for local patterns (Mo Okt 29 2001 - 15:31:20 CET)
- Re: Proposal: Lazy matching for local patterns (Mi Okt 24 2001 - 12:55:55 CEST)
- FlatCurry (Do Aug 30 2001 - 12:22:52 CEST)
- CIDER: a graphical development environment for Curry (Fr Dez 22 2000 - 10:25:06 CET)
- PAKCS Version 1.3 available (Mo Dez 18 2000 - 13:55:56 CET)
- Re: Proposal: Change semantics of pattern matching (Do Okt 26 2000 - 15:14:01 CEST)
- Re: Proposal: Change semantics of pattern matching (Di Okt 24 2000 - 15:17:47 CEST)
- Curry is the future! (Di Sep 26 2000 - 18:33:04 CEST)
- Re: Proposal: Change semantics of pattern matching (Di Sep 26 2000 - 18:23:15 CEST)
- PACS -> PAKCS (Mi Jun 21 2000 - 18:31:31 CEST)
- Curry: new web pages and report (Di Jun 06 2000 - 15:28:22 CEST)
- Curry Report Vers. 0.7 (Mi Feb 02 2000 - 18:39:49 CET)
- PACS Version 1.1 available (Fr Dez 10 1999 - 18:13:33 CET)
- Curry language changes (Do Nov 25 1999 - 11:08:46 CET)
- Curry Report Vers. 0.6 (Fr Okt 22 1999 - 12:45:58 CEST)
- PACS: The Portland Aachen Curry System (Di Jul 06 1999 - 12:52:05 CEST)
- New TasteCurry and Examples (Fr Apr 09 1999 - 16:36:19 CEST)
- Re: Updated Curry report (Do Jan 14 1999 - 14:58:25 CET)
- Updated Curry report (Mi Jan 13 1999 - 11:51:10 CET)
- Free variables in Curry (Do Jan 07 1999 - 12:36:06 CET)
- Re: Occurs-check in the unification (" =:= ") (Mo Jan 04 1999 - 14:15:02 CET)
- Re: Puzzle (Mi Dez 02 1998 - 18:11:30 CET)
- Re: Puzzle (Mi Dez 02 1998 - 12:25:29 CET)
- Re: Puzzle (Di Dez 01 1998 - 15:35:37 CET)
- Re: Curry report updated (Di Nov 24 1998 - 15:36:54 CET)
- Re: Curry report updated (Mo Nov 23 1998 - 15:28:19 CET)
- Re: Curry report updated (Mo Nov 23 1998 - 12:32:45 CET)
- Curry report updated (Do Nov 19 1998 - 10:40:56 CET)
- Re: Local pattern declarations in Curry (Fr Nov 13 1998 - 16:35:25 CET)
- Re: Local pattern declarations in Curry (Do Nov 12 1998 - 16:18:11 CET)
- Re: Local pattern declarations in Curry (Mi Nov 11 1998 - 17:16:32 CET)
- Re: Local pattern declarations in Curry (Di Nov 10 1998 - 17:44:45 CET)
- Local pattern declarations in Curry (Mo Nov 09 1998 - 18:13:46 CET)
- Re: Suspending in or-nodes (Fr Nov 06 1998 - 09:45:56 CET)
- Re: Language changes: Committed choice (Mi Okt 28 1998 - 11:30:24 CET)
- Re: Language changes: Committed choice (Di Okt 27 1998 - 14:49:20 CET)
- Existential quantification in expressions (Fr Okt 23 1998 - 17:11:44 CEST)
- Re: Proposal for syntax changes in Curry (Fr Okt 23 1998 - 13:39:19 CEST)
- Re: Proposal for syntax changes in Curry (Fr Okt 23 1998 - 12:22:44 CEST)
- Proposal for syntax changes in Curry (Do Okt 22 1998 - 13:32:22 CEST)
- New TasteCurry System (Fr Aug 28 1998 - 17:24:54 CEST)
- Re: Status of this list (Do Aug 06 1998 - 16:37:09 CEST)
- Minutes of a meeting on Curry (Mi Mai 06 1998 - 18:41:20 CEST)
- Re: Curry's Constraint Syntax (Di Feb 10 1998 - 16:10:23 CET)
- Re: TasteCurry Bug (Di Feb 10 1998 - 12:43:46 CET)
- Updated Curry Report (Mi Feb 04 1998 - 17:42:41 CET)
- Re: Narrowing: yes or no? (Mo Jul 14 1997 - 13:24:46 CEST)
- Re: Narrowing: yes or no? [was Re: Narrowing vs. rewriting] (Mo Jul 14 1997 - 13:05:14 CEST)
- Re: killer apps (Mo Jul 14 1997 - 12:36:41 CEST)
- Re: Concurrency (Fr Jul 04 1997 - 17:41:49 CEST)
- Re: Narrowing vs. rewriting (Fr Jul 04 1997 - 14:20:45 CEST)
- Re: Narrowing: yes or no? [was Re: Narrowing vs. rewriting] (Fr Jul 04 1997 - 11:05:59 CEST)
- Re: Narrowing vs. rewriting (Do Jul 03 1997 - 18:29:43 CEST)
- Re: Curry design (Do Jul 03 1997 - 18:11:58 CEST)
- Narrowing vs. rewriting (Do Jul 03 1997 - 13:23:22 CEST)
- Re: Curry design (Do Jul 03 1997 - 13:14:06 CEST)
- Re: Curry design (Mi Jul 02 1997 - 18:57:23 CEST)
- Update on Curry report (Fr Jun 06 1997 - 18:32:41 CEST)
- Re: Comments from Madrid (Di Feb 04 1997 - 16:26:40 CET)
- Re: Comments from Madrid (Fr Jan 31 1997 - 13:58:00 CET)
- Re: Comments from Madrid (Fr Jan 24 1997 - 17:53:54 CET)
- Re: Language change proposal (Mo Jan 13 1997 - 16:22:48 CET)
- Re: Language change proposal (Di Jan 07 1997 - 15:18:28 CET)
- Re: Curry (Do Dez 19 1996 - 16:13:30 CET)
- Re: Curry (Mi Dez 18 1996 - 17:13:34 CET)
- Re: Curry mailing list (welcome) (Mo Dez 16 1996 - 15:50:58 CET)
- Draft Report on Curry (dvi,compressed) (Do Dez 05 1996 - 15:58:13 CET)
- Curry mailing list (welcome) (Do Dez 05 1996 - 15:57:20 CET)
Michael Maher
- PPDP'06 -- Call for Papers (Mi Feb 15 2006 - 23:26:16 CET)
Moreno Falaschi
- LOPSTR 2015. DEADLINE EXTENSION: May 2, 2015 (Mi Apr 08 2015 - 11:30:33 CEST)
- LOPSTR 2015, Siena (Italy): Last call for papers (Di Mär 31 2015 - 08:35:53 CEST)
- PPDP 2015. EXTENDED DEADLINE: April 6th. (Mo Mär 16 2015 - 18:45:50 CET)
- PPDP 2015: 2nd call for papers (So Feb 22 2015 - 13:16:37 CET)
- LOPSTR 2015: 2nd Call for Papers (So Feb 22 2015 - 13:13:14 CET)
- First call for papers LOPSTR 2015 -- 25th International Symposium on Logic-Based Program Synthesis and Transformation -- Siena, Italy (Sa Dez 06 2014 - 14:39:04 CET)
- PPDP 2015: first call for papers (Do Nov 27 2014 - 19:23:13 CET)
Nikolay Orlyuk
- Re: On the textual order of rules (Do Mär 27 2014 - 14:41:02 CET)
- 404 for MCC project page (Do Okt 01 2009 - 15:24:42 CEST)
- Re: Curry patterns (Mi Apr 15 2009 - 15:59:59 CEST)
- Re: Curry patterns (Mi Apr 15 2009 - 15:49:04 CEST)
- Re: Another parser combinator problem (So Feb 24 2008 - 00:13:31 CET)
- Re: Another parser combinator problem (Sa Feb 23 2008 - 23:27:19 CET)
Oege.de.Moor_at_comlab.ox.ac.uk
- PEPM 2008: abstracts due Oct 12 (Fr Okt 05 2007 - 15:19:00 CEST)
- PEPM 2008: abstracts due Oct 12 (Di Sep 11 2007 - 14:01:12 CEST)
P M Hill
- LOPSTR'05 new deadline for extended abstracts (Fr Jun 03 2005 - 11:59:09 CEST)
- LOPSTR'05 final call for extended abstracts (Mo Mai 30 2005 - 21:05:56 CEST)
- LOPSTR'05: Extended Deadline for Full Papers (Do Mai 19 2005 - 09:18:02 CEST)
- LOPSTR'05 call for papers (Do Jan 27 2005 - 18:06:59 CET)
Paco Lopez Fraguas
- Announcing TOY (Mo Okt 06 1997 - 12:42:58 CEST)
- Re: Comments from Madrid (Di Feb 04 1997 - 09:30:29 CET)
- Re: Comments from Madrid (Mo Feb 03 1997 - 11:53:23 CET)
- Comments from Madrid (Do Jan 23 1997 - 16:24:19 CET)
Pedro López García
- Last Call for Participation: LOPSTR 2016 - 26th Intl. Symp. on Logic-Based Program Synthesis and Transformation (Mo Aug 15 2016 - 09:28:38 CEST)
pedro.lopez
- Call for Participation: LOPSTR 2016 - 26th Intl. Symp. on Logic-Based Program Synthesis and Transformation (Di Aug 09 2016 - 20:34:26 CEST)
- LOPSTR'16: Final Call for Papers and *Deadline Extension* (Mo Jun 13 2016 - 22:45:53 CEST)
- LOPSTR 2016: 2nd Call for Papers (Sa Jun 04 2016 - 17:28:34 CEST)
Petra Hofstedt (BTU)
- [curry] Declare 2019 - Call for Participation (Fr Aug 09 2019 - 14:14:18 CEST)
- [curry] CfP: INAP 2019 - 22nd International Conference on Applications of Declarative Programming and Knowledge Management (Mo Feb 04 2019 - 09:57:39 CET)
- [curry] CfP: WLP 2019 - 33rd Workshop on (Constraint) Logic Programming (Mo Feb 04 2019 - 11:34:57 CET)
Philip Wadler
- Re: Narrowing vs. rewriting (Mo Jul 07 1997 - 17:43:37 CEST)
- TC (was: Narrowing vs. rewriting) (Mo Jul 07 1997 - 17:24:51 CEST)
- Re: Narrowing vs. rewriting (Fr Jul 04 1997 - 00:34:23 CEST)
- Re: Narrowing vs. rewriting (Do Jul 03 1997 - 20:52:51 CEST)
- Re: Narrowing vs. rewriting (Do Jul 03 1997 - 18:52:04 CEST)
- Re: Narrowing vs. rewriting (Do Jul 03 1997 - 18:12:06 CEST)
- Re: Comments from Madrid (Di Feb 04 1997 - 17:33:01 CET)
- Re: Curry (Do Dez 19 1996 - 16:52:48 CET)
- Re: Curry (Mi Dez 18 1996 - 19:40:51 CET)
Prof. Dr. Herbert Kuchen
- AW: Name discussion for new primtive (Fr Nov 12 2004 - 10:39:01 CET)
Rachid Echahed
- [ICGT2016] Last CFP: Int.Conf. Graph Transformation, Vienna, July 2016 (Do Feb 18 2016 - 23:42:23 CET)
- PhD position in Grenoble (French Alps) (Mo Jul 08 2013 - 14:47:58 CEST)
- Second CFP: Term and Graph rewriting, special issue of MSCS (Di Nov 22 2011 - 06:44:20 CET)
- CFP: Term and Graph rewriting, special issue of MSCS (Do Okt 06 2011 - 09:16:48 CEST)
- Second CFP: Term and Graph Rewriting/TERMGRAPH 2011/ETAPS 2011 (Do Dez 02 2010 - 09:31:22 CET)
- CFP: Term and Graph Rewriting/TERMGRAPH 2011 (Mo Okt 25 2010 - 17:50:58 CEST)
- 2nd CFP: WFLP 2007, Paris ,June 25 (Do Apr 05 2007 - 10:49:35 CEST)
- Call For Papers: WFLP 2007, Paris ,June 25 (Mi Feb 28 2007 - 16:59:30 CET)
rinus plasmeijer
- Re: Curry (Do Dez 19 1996 - 15:14:40 CET)
Rusreg
- using maling list (Mi Apr 15 2009 - 19:23:36 CEST)
- Editor for Curry (Do Apr 02 2009 - 20:08:47 CEST)
Salvador Lucas
- WST 2018 - Call for Participation (July 18-19, 2018) (Mo Jun 04 2018 - 10:02:22 CEST)
- WST 2018 - Last Call for Papers (deadline: April 30, 2018) (Mi Apr 25 2018 - 10:15:29 CEST)
- WST 2018 - Call for Papers (extended deadline: April 30, 2018) (Sa Apr 14 2018 - 09:16:56 CEST)
- WST 2018 - 2nd Call for Papers (submission: April 15, 2018) (Di Apr 03 2018 - 09:02:38 CEST)
- WST 2018 - 1st Call for Papers (submission: April 15, 2018) (Mo Feb 05 2018 - 12:15:55 CET)
Salvador Tamarit
- CfP: 2nd Workshop on Actors and Active Objects (WAO 2017); Satellite event of iFM17 [Extended] (Fr Jun 02 2017 - 13:25:27 CEST)
- PROHA 2016 (_at_ CGO'16): Early Registration Deadline (Feb 3) (Di Feb 02 2016 - 23:23:09 CET)
- CfP: Workshop on Program Transformation for Programmability in Heterogeneous Architectures (Co-located with CGO16); Deadline Jan 22 [Extended] (Sa Jan 16 2016 - 21:24:26 CET)
- CfP: Workshop on Program Transformation for Programmability in Heterogeneous Architectures (Co-located with CGO16); Deadline Jan 15 (Sa Jan 09 2016 - 13:00:34 CET)
- CfP: Workshop on Program Transformation for Programmability in Heterogeneous Architectures (Co-located with CGO16); Deadline Jan 15 (Mi Dez 23 2015 - 13:01:42 CET)
Sandra Dylus
- Fwd: 10 PhD studentships in Nottingham (Mo Dez 04 2017 - 11:02:14 CET)
- Re: Timing Curry programs (Fr Okt 20 2017 - 09:05:31 CEST)
Santiago Escobar
- [curry] PPDP 2023 - Final Call for Papers (Fr Mai 12 2023 - 22:07:35 CEST)
- [curry] PPDP 2023 - Final Call for Papers (Di Mai 09 2023 - 23:13:44 CEST)
- UNIF 2017 (Fr Jun 02 2017 - 13:29:17 CEST)
- Final Call for Papers WRLA 2014 (Do Dez 12 2013 - 12:59:51 CET)
- 6th International School on Rewriting (ISR), Valencia, July 16-20, 2012 (Do Mai 10 2012 - 16:22:03 CEST)
- 6th International School on Rewriting (ISR 2012) - Early registration (250 euro): June 15!! (Fr Jun 08 2012 - 10:19:25 CEST)
- Last CfP: UNIF 2012 - 26th International Workshop on Unification (Fr Apr 13 2012 - 14:53:47 CEST)
- 2nd CfP: Special journal issue on Functional and (Constraint) Logic Programming (Mo Apr 11 2011 - 18:10:36 CEST)
- Last CfP: WRS 2011 - 10th International Workshop on Reduction Strategies in Rewriting and Programming (Fr Mär 11 2011 - 15:15:12 CET)
- 2nd CfP: WRS 2011 - 10th International Workshop on Reduction Strategies in Rewriting and Programming (Mi Feb 23 2011 - 15:14:58 CET)
- Special Issue of Information and Computation on Functional and (Constraint) Logic Programming (Mo Jan 03 2011 - 13:19:21 CET)
- CfP: WRS 2011 - 10th International Workshop on Reduction Strategies in Rewriting and Programming (Mi Dez 22 2010 - 15:24:13 CET)
- SecReT 2010 Call for Participation (Do Mai 20 2010 - 16:49:32 CEST)
- WFLP'09: Call for participation (Do Mai 28 2009 - 19:17:03 CEST)
- WFLP09: Deadline Extension (Do Apr 23 2009 - 05:16:12 CEST)
- Cfp: WFLP09 - 18th Int'l Workshop on Functional and (Constraint) Logic Programming (Mo Mär 23 2009 - 11:03:14 CET)
- Cfp: WFLP09-18th Int'l Workshop on Functional and (Constraint) Logic Programming (So Feb 08 2009 - 22:49:10 CET)
- Maude 2.4 release with unification and narrowing (So Feb 08 2009 - 21:05:21 CET)
- 2nd CFP: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08) (Mo Apr 14 2008 - 15:25:24 CEST)
- 2nd CFP: 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08) (Fr Apr 11 2008 - 18:55:32 CEST)
- 1st CFP: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08) (Di Mär 25 2008 - 16:47:55 CET)
- 1st CFP: 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08) (Di Mär 25 2008 - 16:46:56 CET)
- Cfp: 3rd Int'l Workshop on Security and Rewriting Techniques (SecReT 2008) (So Mär 16 2008 - 23:50:27 CET)
- Preliminary CFP: 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08) (Mi Feb 27 2008 - 20:59:12 CET)
- Preliminary CFP: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08) (Mi Feb 27 2008 - 20:57:36 CET)
- Cfp: 3rd Int'l Workshop on Security and Rewriting Techniques Security (SecReT 2008) (Mo Feb 18 2008 - 18:00:25 CET)
- Call for participation WWV'05 (Fr Feb 25 2005 - 10:36:43 CET)
- PhD Position in Technical University of Valencia (Spain) (Di Jan 18 2005 - 13:43:30 CET)
- CFP: 1st Int'l Workshop on Automated Specification and Verification of Web Sites (WWV'05) (Mo Dez 20 2004 - 15:56:09 CET)
- CFP: 1st Int'l Workshop on Automated Specification and Verificationof Web Sites (WWV'05) (Mi 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 (Di Jan 29 2008 - 01:47:15 CET)
Sebastian Fischer
- Re: On the textual order of rules (Do Mär 27 2014 - 14:19:29 CET)
- Re: Insertion Sort from Permutation Sort (Mi Okt 16 2013 - 12:36:42 CEST)
- Insertion Sort from Permutation Sort (Mi Okt 16 2013 - 09:05:24 CEST)
- Re: MIU in Curry (Fr Apr 26 2013 - 04:28:29 CEST)
- Re: MIU in Curry (Mi Apr 24 2013 - 10:17:31 CEST)
- Re: Curry Crash Course (Mi Jan 23 2013 - 14:02:39 CET)
- Re: Curry Crash Course (Di Jan 22 2013 - 09:42:00 CET)
- Re: Curry Crash Course (Mo Jan 21 2013 - 19:37:40 CET)
- Curry Crash Course (So Jan 20 2013 - 20:54:35 CET)
- Re: equality of partial applications (Mi Jun 20 2012 - 21:01:01 CEST)
- Re: equality of partial applications (Di Jun 19 2012 - 19:27:24 CEST)
- Re: equality of partial applications (Mo Jun 18 2012 - 22:12:04 CEST)
- Re: equality of partial applications (Mo Jun 18 2012 - 12:37:39 CEST)
- Re: equality of partial applications (Mo Jun 18 2012 - 09:53:45 CEST)
- equality of partial applications (So Jun 17 2012 - 20:23:22 CEST)
- Re: set functions and weak encapsulation (Mo Mär 12 2012 - 11:23:24 CET)
- Re: set functions and weak encapsulation (Mo Mär 12 2012 - 10:57:58 CET)
- Re: set functions and weak encapsulation (Mo Mär 12 2012 - 09:57:38 CET)
- Re: set functions and weak encapsulation (Di Mär 06 2012 - 13:09:55 CET)
- Re: set functions and weak encapsulation (Di Mär 06 2012 - 06:53:57 CET)
- set functions and weak encapsulation (Di Mär 06 2012 - 02:06:53 CET)
- PEPM'12: Call For Participation (Mi Nov 23 2011 - 15:15:35 CET)
- PEPM'12 - Deadline Extension (Di Okt 11 2011 - 17:26:44 CEST)
- Re: Do notation for arbitrary monads (Do Sep 08 2011 - 03:38:42 CEST)
- Re: Do notation for arbitrary monads (Mi Sep 07 2011 - 16:05:51 CEST)
- Re: Do notation for arbitrary monads (Mi Sep 07 2011 - 03:23:47 CEST)
- Re: Do notation for arbitrary monads (Mi Sep 07 2011 - 02:56:13 CEST)
- Re: call-time choice and extensionality (Sa Aug 27 2011 - 11:27:28 CEST)
- Re: call-time choice and extensionality (Sa Aug 27 2011 - 10:04:40 CEST)
- Re: call-time choice and extensionality (Sa Aug 27 2011 - 08:14:56 CEST)
- call-time choice and extensionality (Mi Aug 24 2011 - 06:48:59 CEST)
- FLOPS 2012 in Kobe, Japan (Call for Papers) (Mo Aug 22 2011 - 06:09:03 CEST)
- Re: Database library based on SQLite (Do Aug 18 2011 - 06:50:10 CEST)
- Database library based on SQLite (Mi Aug 17 2011 - 13:06:37 CEST)
- Re: residuation for compositional search? (Do Jun 16 2011 - 14:19:23 CEST)
- Re: residuation for compositional search? (Do Jun 16 2011 - 13:32:54 CEST)
- Re: residuation for compositional search? (Mi Jun 15 2011 - 11:07:42 CEST)
- Re: residuation for compositional search? (Mi Jun 15 2011 - 10:23:23 CEST)
- Re: residuation for compositional search? (Di Jun 14 2011 - 17:58:59 CEST)
- Re: residuation for compositional search? (Di Jun 14 2011 - 10:55:06 CEST)
- Re: residuation for compositional search? (Di Jun 14 2011 - 10:31:12 CEST)
- Re: residuation for compositional search? (Di Jun 14 2011 - 08:58:35 CEST)
- Re: residuation for compositional search? (Sa Mai 28 2011 - 23:02:46 CEST)
- Re: residuation for compositional search? (Di Mai 24 2011 - 17:13:05 CEST)
- residuation for compositional search? (Di Mai 24 2011 - 16:49:31 CEST)
- Re: Neither PAKCS nor MCC transform right sections according to the Curry report. (So Feb 20 2011 - 02:47:30 CET)
- Neither PAKCS nor MCC transform right sections according to the Curry report. (Sa Feb 19 2011 - 05:02:03 CET)
- Re: slight differences between non-termination and failure (Do Feb 03 2011 - 10:35:21 CET)
- Re: slight differences between non-termination and failure (Mi Feb 02 2011 - 10:22:32 CET)
- Re: slight differences between non-termination and failure (Mi Feb 02 2011 - 10:14:47 CET)
- slight differences between non-termination and failure (Mi Feb 02 2011 - 10:06:23 CET)
- Re: Proposal: Syntax extension (Sa Jan 29 2011 - 03:20:48 CET)
- Re: Proposal: Syntax extension (Fr Jan 28 2011 - 15:26:15 CET)
- Re: report of PAKCS installation problems (partly solved) (Mi Jan 26 2011 - 07:03:35 CET)
- Proposal: Syntax extension (Mo Jan 24 2011 - 08:48:39 CET)
- Re: report of PAKCS installation problems (partly solved) (Do Jan 20 2011 - 01:37:31 CET)
- Re: report of PAKCS installation problems (partly solved) (Mi Jan 19 2011 - 12:31:23 CET)
- report of PAKCS installation problems (partly solved) (Mi Jan 19 2011 - 07:24:56 CET)
- Re: Invertible nondeterminism? (Fr Dez 17 2010 - 14:02:47 CET)
- Re: Invertible nondeterminism? (Fr Dez 17 2010 - 09:08:19 CET)
- Re: Invertible nondeterminism? (Fr Dez 17 2010 - 06:31:53 CET)
- Re: Invertible nondeterminism? (Fr Dez 17 2010 - 01:25:36 CET)
- Re: Invertible nondeterminism? (Fr Dez 17 2010 - 00:38:51 CET)
- Re: Invertible nondeterminism? (Do Dez 16 2010 - 16:13:14 CET)
- Re: Invertible nondeterminism? (Do Dez 16 2010 - 15:41:01 CET)
- Re: Invertible nondeterminism? (Do Dez 16 2010 - 15:19:13 CET)
- Re: Invertible nondeterminism? (Do Dez 16 2010 - 14:59:53 CET)
- Re: Invertible nondeterminism? (Do Dez 16 2010 - 13:34:52 CET)
- Re: Invertible nondeterminism? (Do Dez 16 2010 - 13:29:17 CET)
- Re: Invertible nondeterminism? (Do Dez 16 2010 - 13:13:48 CET)
- Re: Invertible nondeterminism? (Do Dez 16 2010 - 12:22:39 CET)
- Re: Invertible nondeterminism? (Do Dez 16 2010 - 08:34:39 CET)
- Invertible nondeterminism? (Do Dez 16 2010 - 05:34:15 CET)
- Re: referential transparency, definiteness, and unfoldability (Do Jul 15 2010 - 12:03:37 CEST)
- referential transparency, definiteness, and unfoldability (Do Jul 15 2010 - 11:30:35 CEST)
- Re: Getting the constructor from flat curry (Fr Jul 02 2010 - 10:28:32 CEST)
- Re: Getting the constructor from flat curry (Mi Jun 30 2010 - 10:31:15 CEST)
- Re: lambda application destroys sharing (Di Jan 05 2010 - 01:42:52 CET)
- Re: lambda application destroys sharing (Mo Jan 04 2010 - 14:05:23 CET)
- Re: lambda application destroys sharing (Fr Jan 01 2010 - 23:47:15 CET)
- Re: lambda application destroys sharing (Mi Nov 25 2009 - 18:38:53 CET)
- lambda application destroys sharing (Mi Nov 25 2009 - 12:00:43 CET)
- Re: Type-classes and call-time choice vs. run-time choice (Fr Aug 28 2009 - 23:35:53 CEST)
- Re: Type-classes and call-time choice vs. run-time choice (Fr Aug 28 2009 - 17:02:36 CEST)
- Re: Type-classes and call-time choice vs. run-time choice (Fr Aug 28 2009 - 15:38:21 CEST)
- Re: beautiful non-determinism (Di Jul 28 2009 - 10:19:34 CEST)
- Re: beautiful non-determinism (So Jul 19 2009 - 22:26:36 CEST)
- beautiful non-determinism (So Jul 19 2009 - 22:18:39 CEST)
- Declarative programming overview (Do Jul 09 2009 - 20:05:47 CEST)
- purely functional lazy non-deterministic programming (Mo Jun 08 2009 - 18:01:33 CEST)
- Re: Curry patterns (Mi Apr 15 2009 - 16:37:30 CEST)
- Re: Curry patterns (Mi Apr 15 2009 - 15:39:36 CEST)
- Re: Editor for Curry (Mi Apr 15 2009 - 15:30:07 CEST)
- Local Haskell meeting, Halle/Saale, Germany, June 12 (Mi Apr 08 2009 - 11:10:47 CEST)
- Re: Bug in PAKCS data inspection ¿? (Do Okt 25 2007 - 10:20:12 CEST)
- Re: Confused Students (Do Jun 21 2007 - 12:15:24 CEST)
- Re: Confused Students (Mi Jun 20 2007 - 09:18:57 CEST)
- Re: Confused Students (Di Jun 19 2007 - 18:52:26 CEST)
- Confused Students (Di Jun 19 2007 - 18:17:12 CEST)
- Re: type-directed programming (Fr Dez 15 2006 - 12:10:51 CET)
- Re: type-directed programming (Fr Dez 15 2006 - 11:52:56 CET)
- Re: Curry Report Vers. 0.8.2 (Mo Mär 20 2006 - 09:28:51 CET)
- Re: Curry module system (Mi Mär 01 2006 - 14:21:11 CET)
- Re: prelude extension proposal (Di Okt 11 2005 - 09:27:21 CEST)
Sebastian Hanowski
- programming-by-simulations (Fr Okt 27 2017 - 07:37:09 CEST)
- micro update on programming whith infinite data structures (Fr Aug 19 2016 - 08:24:25 CEST)
- minor update on infinite data + free variables (Mo Feb 22 2016 - 07:21:01 CET)
- Re: Curry-on to infinity (Mo Dez 21 2015 - 19:40:58 CET)
- Re: Curry-on to infinity (Mo Dez 21 2015 - 09:15:28 CET)
- Re: Curry-on to infinity (Mo Dez 21 2015 - 09:15:18 CET)
- Re: Curry-on to infinity (Mo Dez 14 2015 - 07:49:32 CET)
- Re: Curry-on to infinity (Mi Dez 09 2015 - 07:41:22 CET)
- Curry-on to infinity (Fr Dez 04 2015 - 09:04:02 CET)
- transporting predicates along maps (Fr Jun 13 2008 - 13:42:52 CEST)
- Re: curried fun (Do Mär 20 2008 - 18:46:26 CET)
- curried fun (was: Re: putting laziness back on the parallelized map) (Di Mär 18 2008 - 16:37:05 CET)
- putting laziness back on the parallelized map (Mi Mär 12 2008 - 14:10:24 CET)
- the semantics of inv :: (a -> b) -> (b -> a) (Fr Mär 07 2008 - 11:23:17 CET)
- capitalization unplugged (Fr Okt 26 2007 - 10:21:25 CEST)
- Re: New PAKCS release (Version 1.8.0) (Mi Apr 25 2007 - 08:36:36 CEST)
- Re: New PAKCS release (Version 1.8.0) (Di Apr 24 2007 - 07:33:22 CEST)
- Re: New PAKCS release (Version 1.8.0) (Mo Apr 23 2007 - 09:02:53 CEST)
- Re: New PAKCS release (Version 1.8.0) (Fr Apr 20 2007 - 07:37:48 CEST)
- Re: New PAKCS release (Version 1.8.0) (Do Apr 05 2007 - 10:46:49 CEST)
- Re: New PAKCS release (Version 1.8.0) (Mo Apr 02 2007 - 17:16:57 CEST)
- Re: New PAKCS release (Version 1.8.0) (Fr Mär 30 2007 - 17:15:54 CEST)
- Re: casting with a func. pattern (Mo Feb 05 2007 - 13:51:05 CET)
- casting with a func. pattern (Fr Feb 02 2007 - 09:48:00 CET)
- Re: type-directed programming (Fr Jan 19 2007 - 12:55:23 CET)
- 'polymorphism restriction' anyone? (Mo Dez 18 2006 - 09:17:54 CET)
- type-directed programming (Fr Dez 15 2006 - 09:41:56 CET)
- a proposal featuring a bug (Mo Dez 11 2006 - 08:45:21 CET)
- from static typing to runtime constraints (Fr Dez 08 2006 - 07:55:40 CET)
Sebastian Will
- [CFP] Call for Papers WCB12 (Mi Apr 11 2012 - 15:01:36 CEST)
seha_at_informatik.uni-kiel.de
- Re: New PAKCS release (Version 1.8.0) (Mi Apr 04 2007 - 12:04:14 CEST)
Sergio Antoy
- Re: MIU in Curry (Mi Apr 24 2013 - 20:50:06 CEST)
- Re: MIU in Curry (Di Apr 23 2013 - 22:29:00 CEST)
- Re: Curry Crash Course (Fr Jan 25 2013 - 03:47:51 CET)
- Re: Curry Crash Course (Mi Jan 23 2013 - 01:31:47 CET)
- Re: Curry Crash Course (Di Jan 22 2013 - 00:40:23 CET)
- courses on FLP (Mo Nov 12 2012 - 17:53:03 CET)
- Re: Proposal: Syntax extension (Do Jan 06 2011 - 21:41:54 CET)
- Re: Proposal: Syntax extension (Mi Jan 05 2011 - 19:56:08 CET)
- Re: Invertible nondeterminism? (Do Dez 16 2010 - 20:45:10 CET)
- Re: Invertible nondeterminism? (Do Dez 16 2010 - 07:11:27 CET)
- Re: lambda application destroys sharing (Mo Jan 04 2010 - 22:53:53 CET)
- Re: Type-classes and call-time choice vs. run-time choice (Do Aug 27 2009 - 19:16:27 CEST)
- Re: curried fun (was: Re: putting laziness back on the parallelized map) (Mi Mär 19 2008 - 05:08:44 CET)
- Re: putting laziness back on the parallelized map (Fr Mär 14 2008 - 17:52:18 CET)
- Re: putting laziness back on the parallelized map (Do Mär 13 2008 - 20:36:44 CET)
- ICLP'08 first CFP (Di Jan 29 2008 - 00:34:28 CET)
- Re: Intended meaning (Sa Nov 10 2007 - 15:09:35 CET)
- Re: Intended meaning (Fr Nov 09 2007 - 14:29:56 CET)
- Re: Intended meaning (Do Nov 08 2007 - 19:52:05 CET)
- Re: Intended meaning (Mi Nov 07 2007 - 21:40:22 CET)
- Re: Intended meaning (Mi Nov 07 2007 - 18:47:16 CET)
- Re: Intended meaning (Mo Nov 05 2007 - 19:06:07 CET)
- Re: Intended meaning (Fr Nov 02 2007 - 23:38:45 CET)
- Re: Intended meaning (Do Nov 01 2007 - 18:44:04 CET)
- Re: Intended meaning (Mi Okt 31 2007 - 18:08:39 CET)
- Re: Intended meaning (Mo Okt 29 2007 - 18:52:10 CET)
- Re: Intended meaning (Sa Okt 27 2007 - 02:00:38 CEST)
- Re: Intended meaning (Fr Okt 26 2007 - 06:22:36 CEST)
- Intended meaning (Do Okt 25 2007 - 05:46:39 CEST)
- FLOPS08 last call for papers (Di Okt 02 2007 - 20:11:58 CEST)
- FLPOS2008 second call for papers (Di Sep 18 2007 - 18:15:30 CEST)
- FLOPS08 call for papers (Mo Jul 16 2007 - 21:34:57 CEST)
- Re: Confused Students (Do Jun 21 2007 - 19:09:18 CEST)
- Re: Confused Students (Mi Jun 20 2007 - 17:56:25 CEST)
- Re: Confused Students (Di Jun 19 2007 - 22:56:10 CEST)
- Re: from static typing to runtime constraints (Fr Dez 08 2006 - 19:55:55 CET)
- Re: Help with a little function called "choose" (Mo Jun 12 2006 - 21:57:58 CEST)
- Re: prelude extension proposal (Mi Okt 19 2005 - 01:11:29 CEST)
- Re: prelude extension proposal (Do Okt 13 2005 - 23:30:52 CEST)
- Re: prelude extension proposal (Do Okt 13 2005 - 23:03:50 CEST)
- prelude extension proposal (Mo Okt 10 2005 - 20:41:34 CEST)
- Re: Re: Flexible Enumerations (Do Dez 09 2004 - 19:16:24 CET)
- Re: Name discussion for new primtive (Do Nov 11 2004 - 18:09:45 CET)
- Re: Proposal: Relaxing restrictions in Curry (Di Nov 02 2004 - 17:58:14 CET)
- Re: Non-deterministic operation (Mi Aug 18 2004 - 22:01:16 CEST)
- Re: Strong encapsulation, weak encapsulation, and getSearchTree (Di Jun 15 2004 - 18:56:52 CEST)
- Re: Strong encapsulation, weak encapsulation, and getSearchTree (Mo Jun 14 2004 - 19:39:30 CEST)
- Re: Strong encapsulation, weak encapsulation, and getSearchTree (Mo Jun 14 2004 - 17:21:41 CEST)
- Re: Non-deterministic operation (Mo Jun 07 2004 - 17:55:30 CEST)
- Re: Encapsulated search does not encapsulate (all) non-determinism (Do Jan 10 2002 - 06:32:17 CET)
- Re: Encapsulated search does not encapsulate (all) non-determinism (Mi Jan 09 2002 - 05:36:20 CET)
- Re: Suspending in or-nodes (Do Nov 05 1998 - 18:13:56 CET)
- paper announcement (Fr Apr 10 1998 - 17:47:45 CEST)
- Re: permute example (Fr Jul 04 1997 - 06:39:01 CEST)
- Re: Narrowing vs. rewriting (Fr Jul 04 1997 - 00:16:41 CEST)
- Re: Narrowing vs. rewriting (Do Jul 03 1997 - 23:18:17 CEST)
- Re: Narrowing vs. rewriting (Do Jul 03 1997 - 18:46:55 CEST)
- Re: Narrowing vs. rewriting (Do Jul 03 1997 - 16:10:19 CEST)
- Re: Curry design (Mi Jul 02 1997 - 16:13:30 CEST)
- Two papers (Fr Apr 04 1997 - 23:22:12 CEST)
- Re: Comments from Madrid (Di Feb 04 1997 - 20:59:41 CET)
- Re: Comments from Madrid (Mo Feb 03 1997 - 17:58:40 CET)
- Re: Comments from Madrid (Di Jan 28 1997 - 18:38:03 CET)
- Re: Language change proposal (Do Jan 09 1997 - 00:10:42 CET)
- Re: Language change proposal (Mo Dez 23 1996 - 17:17:37 CET)
- Language change proposal (Fr Dez 20 1996 - 06:00:54 CET)
- Re: Curry mailing list (welcome) (Fr Dez 13 1996 - 17:08:23 CET)
Simon L Peyton Jones
- Re: Curry (Mi Dez 18 1996 - 18:17:20 CET)
- Re: Curry (Mi Dez 18 1996 - 16:55:34 CET)
- Re: Curry (Di Dez 17 1996 - 18:17:21 CET)
Steffen Mazanek
- Re: Proposal: Syntax extension (Mi Jan 05 2011 - 12:46:51 CET)
- Transformation of Business Process Models to BPEL (So Jul 19 2009 - 22:55:05 CEST)
- Re: design pattern wanted (Mo Apr 14 2008 - 12:55:07 CEST)
- Re: design pattern wanted (Do Apr 10 2008 - 08:58:09 CEST)
- Re: PAKCS Sockets on swi-pl? -> solved (Di Apr 08 2008 - 14:31:37 CEST)
- Fwd: design pattern wanted (Di Apr 08 2008 - 13:36:31 CEST)
- design pattern wanted (Di Apr 08 2008 - 11:30:59 CEST)
- PAKCS Sockets on swi-pl? (Mo Apr 07 2008 - 22:13:55 CEST)
- Re: Transmit free variables via socket -> solved (Di Mär 04 2008 - 18:10:48 CET)
- Transmit free variables via socket (Di Mär 04 2008 - 14:04:43 CET)
- Re: Another parser combinator problem (Mo Feb 25 2008 - 11:44:08 CET)
- Re: Another parser combinator problem (So Feb 24 2008 - 13:45:58 CET)
- Another parser combinator problem (Sa Feb 23 2008 - 19:44:39 CET)
- Re: PAKCS, problem with module CLPFD -> solved (Di Feb 12 2008 - 10:47:56 CET)
- Re: PAKCS, problem with module CLPFD (Mo Feb 11 2008 - 11:03:00 CET)
- Re: Parser combinator problem (Mo Feb 11 2008 - 10:14:04 CET)
- Re: Parser combinator problem (Mo Feb 11 2008 - 09:17:29 CET)
- PAKCS, problem with module CLPFD (Fr Feb 08 2008 - 13:07:18 CET)
- Parser combinator problem (Fr Feb 08 2008 - 11:31:25 CET)
Sven Panne
- Re: Curry report updated (Mo Nov 23 1998 - 14:29:47 CET)
- Re: Curry report updated (Fr Nov 20 1998 - 15:22:57 CET)
- Suspending in or-nodes (Do Nov 05 1998 - 16:27:03 CET)
- Re: Proposal for syntax changes in Curry (Fr Okt 23 1998 - 15:39:18 CEST)
- Re: Proposal for syntax changes in Curry (Fr Okt 23 1998 - 14:27:34 CEST)
- Re: Proposal for syntax changes in Curry (Fr Okt 23 1998 - 12:05:25 CEST)
- Status of this list (Di Jul 28 1998 - 10:38:27 CEST)
- Curry's Constraint Syntax (Mo Feb 09 1998 - 10:09:35 CET)
- TasteCurry Bug (Mo Feb 09 1998 - 09:44:36 CET)
Victor L Winter
- CFP: RULE 2007 Workshop (So Feb 11 2007 - 17:29:20 CET)
vmcai10-announce_at_clip.dia.fi.upm.es
- VMCAI 2010 - Call for Participation - Early Reg: Dec 22 (Mo Dez 14 2009 - 02:20:40 CET)
Volker Wysk
- [curry] Re: Haskell compatibility (Do Dez 19 2019 - 13:55:35 CET)
- [curry] Re: Haskell compatibility (Di Dez 17 2019 - 14:36:19 CET)
- [curry] Re: Haskell compatibility (Mo Dez 16 2019 - 20:59:55 CET)
- [curry] Haskell compatibility (Mo Dez 16 2019 - 18:00:37 CET)
- [curry] Unicode support (Mo Dez 16 2019 - 17:51:58 CET)
Wim Vanhoof
- (2nd CFP) Workshop on Logic-based Methods in Programming Environments (WLPE'07) (Sa Jun 02 2007 - 22:16:21 CEST)
- (CFP) WLPE'07 - Workshop on Logic-based Methods in Programming Environments (Di Apr 24 2007 - 17:30:09 CEST)
Wolfgang Jeltsch
- blog article about Curry (Sa Apr 27 2013 - 21:26:57 CEST)
- Re: MIU in Curry (So Apr 28 2013 - 17:51:31 CEST)
- Re: MIU in Curry (Fr Apr 26 2013 - 18:57:17 CEST)
- Re: MIU in Curry (Fr Apr 26 2013 - 13:46:03 CEST)
- default search strategy of KiCS2 (Fr Apr 26 2013 - 18:05:27 CEST)
- Re: MIU in Curry (Mi Apr 24 2013 - 12:27:47 CEST)
- Re: MIU in Curry (Mi Apr 24 2013 - 12:23:34 CEST)
- MIU in Curry (Di Apr 23 2013 - 19:48:07 CEST)
- Re: cannot define operators (Mi Apr 24 2013 - 12:04:29 CEST)
- cannot define operators (Di Apr 23 2013 - 18:42:37 CEST)
- function inversion and functional patterns (Fr Apr 19 2013 - 21:35:08 CEST)
- Re: findall resulting in strange message (Fr Apr 19 2013 - 17:17:11 CEST)
- findall resulting in strange message (Fr Apr 19 2013 - 12:34:45 CEST)
- Re: Curry Report Vers. 0.8.2 (Mi Mär 22 2006 - 17:56:01 CET)
- Re: Curry Report Vers. 0.8.2 (Di Mär 21 2006 - 23:39:24 CET)
- Re: Curry module system and other proposals (Di Feb 28 2006 - 14:02:28 CET)
- Re: Curry module system and other proposals (Mo Feb 27 2006 - 20:50:44 CET)
- Re: Curry module system (Sa Feb 18 2006 - 16:06:40 CET)
- Re: Curry module system (Fr Feb 17 2006 - 17:23:10 CET)
- Re: Curry module system (Do Feb 16 2006 - 17:27:42 CET)
- Re: Curry module system (Fr Jan 27 2006 - 21:07:15 CET)
- Re: Curry module system (Fr Jan 27 2006 - 17:30:19 CET)
- Re: Curry module system (Fr Jan 27 2006 - 15:56:46 CET)
- formal verification for functional-logic programming languages (Fr Nov 04 2005 - 13:49:31 CET)
- constraint solving with MCC (Mo Okt 10 2005 - 11:34:30 CEST)
Wolfgang Lux
- [curry] Re: Choosing default instances in Curry (Mo Mai 27 2019 - 18:18:39 CEST)
- [curry] Re: How to interpret a data type with no RHS (Mo Mai 27 2019 - 09:49:44 CEST)
- [curry] Re: Choosing default instances in Curry (Sa Mai 18 2019 - 16:26:16 CEST)
- Re: Curry syntax (Sa Mär 11 2017 - 16:38:36 CET)
- Re: Curry syntax (Do Mär 09 2017 - 23:37:46 CET)
- Re: Curry syntax (Do Mär 09 2017 - 09:25:29 CET)
- Re: Proposal: Simplifying Curry (Di Okt 06 2015 - 11:32:54 CEST)
- Re: Proposal: Simplifying Curry (Fr Okt 09 2015 - 14:43:36 CEST)
- Re: MIU in Curry (Mo Apr 29 2013 - 10:13:38 CEST)
- Re: cannot define operators (Mi Apr 24 2013 - 14:33:31 CEST)
- Re: equality of partial applications (Di Jun 19 2012 - 15:30:08 CEST)
- Re: equality of partial applications (Di Jun 19 2012 - 10:27:56 CEST)
- Re: equality of partial applications (Mo Jun 18 2012 - 13:31:46 CEST)
- Re: equality of partial applications (Mo Jun 18 2012 - 12:19:18 CEST)
- Re: equality of partial applications (Mo Jun 18 2012 - 09:54:46 CEST)
- Re: equality of partial applications (Mo Jun 18 2012 - 09:30:04 CEST)
- Re: set functions and weak encapsulation (Mo Mär 12 2012 - 11:14:44 CET)
- Re: set functions and weak encapsulation (Mo Mär 12 2012 - 10:32:13 CET)
- Re: set functions and weak encapsulation (Mo Mär 12 2012 - 09:39:22 CET)
- Re: Records with labeled fields (Mi Jul 13 2011 - 10:06:56 CEST)
- Re: residuation for compositional search? (Mi Jun 15 2011 - 18:18:20 CEST)
- Re: residuation for compositional search? (Mi Jun 15 2011 - 10:38:16 CEST)
- Re: residuation for compositional search? (Mi Jun 15 2011 - 09:34:35 CEST)
- Re: residuation for compositional search? (Di Jun 14 2011 - 11:44:18 CEST)
- Re: residuation for compositional search? (Di Jun 14 2011 - 11:37:32 CEST)
- Re: example with 2 combined searches: does "No solution" guarantee no solution actually? (Di Apr 19 2011 - 22:20:45 CEST)
- Re: Neither PAKCS nor MCC transform right sections according to the Curry report. (Sa Feb 19 2011 - 11:09:42 CET)
- Re: Proposal: Syntax extension (Sa Jan 29 2011 - 10:59:33 CET)
- Re: Proposal: Syntax extension (Fr Jan 28 2011 - 17:00:40 CET)
- Re: Proposal: Syntax extension (Do Jan 06 2011 - 12:26:10 CET)
- Re: Proposal: Syntax extension (Mi Jan 05 2011 - 14:58:25 CET)
- Re: Invertible nondeterminism? (Fr Dez 17 2010 - 08:25:56 CET)
- Re: Invertible nondeterminism? (Do Dez 16 2010 - 11:25:53 CET)
- Re: Getting the constructor from flat curry (Do Jul 08 2010 - 09:05:45 CEST)
- Re: lambda application destroys sharing (Mi Nov 25 2009 - 16:29:36 CET)
- Re: 404 for MCC project page (Mo Okt 05 2009 - 12:44:39 CEST)
- Re: Type-classes and call-time choice vs. eval-time choice (Fr Aug 28 2009 - 09:40:15 CEST)
- Type-classes and call-time choice vs. run-time choice (Do Aug 27 2009 - 11:55:45 CEST)
- Re: Editor for Curry (Mi Apr 15 2009 - 17:55:19 CEST)
- Re: Curry patterns (Mi Apr 15 2009 - 17:29:45 CEST)
- Re: MCC: Errors under WIndows (Mi Apr 15 2009 - 17:29:27 CEST)
- Re: Two to Three Ways to write an unsafe type cast without importing Unsafe (Fr Mai 16 2008 - 19:34:06 CEST)
- Re: Two to Three Ways to write an unsafe type cast without importing Unsafe (Fr Mai 16 2008 - 11:25:12 CEST)
- Re: putting laziness back on the parallelized map (Do Mär 13 2008 - 17:05:31 CET)
- Re: Transmit free variables via socket (Di Mär 04 2008 - 17:13:43 CET)
- Re: Another parser combinator problem (Mo Feb 25 2008 - 16:48:00 CET)
- Re: Another parser combinator problem (Mo Feb 25 2008 - 10:58:28 CET)
- Re: Another parser combinator problem (Mo Feb 25 2008 - 09:11:49 CET)
- Re: Another parser combinator problem (Mo Feb 25 2008 - 09:08:42 CET)
- Re: Parser combinator problem (Fr Feb 08 2008 - 17:52:50 CET)
- Re: Intended meaning (Fr Nov 09 2007 - 17:10:10 CET)
- Re: Intended meaning (Fr Nov 09 2007 - 17:10:00 CET)
- Re: Intended meaning (Fr Nov 09 2007 - 12:55:40 CET)
- Re: Intended meaning (Do Nov 08 2007 - 11:55:09 CET)
- Re: Intended meaning (Fr Nov 02 2007 - 09:34:25 CET)
- Re: Intended meaning (Mi Okt 31 2007 - 19:11:04 CET)
- Re: Intended meaning (Mi Okt 31 2007 - 16:41:59 CET)
- Re: Bug in PAKCS data inspection ¿? (Mo Okt 29 2007 - 12:57:09 CET)
- Re: Bug in PAKCS data inspection ¿? (Mo Okt 29 2007 - 09:14:11 CET)
- Re: Bug in PAKCS data inspection ¿? (Do Okt 25 2007 - 10:20:44 CEST)
- Re: Intended meaning (Do Okt 25 2007 - 10:02:27 CEST)
- ANNOUNCE Münster Curry Compiler release 0.9.11 (Mo Jun 11 2007 - 09:44:55 CEST)
- Re: encapsulated search (Re: New PAKCS release (Version 1.8.0)) (Mo Mai 07 2007 - 09:50:35 CEST)
- Re: New PAKCS release (Version 1.8.0) (Do Apr 05 2007 - 10:29:42 CEST)
- Re: New PAKCS release (Version 1.8.0) (Mi Apr 04 2007 - 09:04:12 CEST)
- Re: New PAKCS release (Version 1.8.0) (Di Apr 03 2007 - 09:15:04 CEST)
- Re: New PAKCS release (Version 1.8.0) (Mo Apr 02 2007 - 09:18:12 CEST)
- Re: New PAKCS release (Version 1.8.0) (Fr Mär 30 2007 - 15:00:41 CEST)
- Re: New PAKCS release (Version 1.8.0) (Fr Mär 30 2007 - 14:39:56 CEST)
- Re: New PAKCS release (Version 1.8.0) (Fr Mär 30 2007 - 08:28:20 CEST)
- Re: New PAKCS release (Version 1.8.0) (Do Mär 29 2007 - 18:40:06 CEST)
- Re: New PAKCS release (Version 1.8.0) (Do Mär 29 2007 - 16:23:20 CEST)
- Re: casting with a func. pattern (Fr Feb 02 2007 - 12:06:08 CET)
- Re: 'polymorphism restriction' anyone? (Mo Dez 18 2006 - 12:04:36 CET)
- Bug in Curry type-checker (Mo Dez 18 2006 - 12:04:27 CET)
- Re: type-directed programming (Mo Dez 18 2006 - 09:47:39 CET)
- Re: 'polymorphism restriction' anyone? (Mo Dez 18 2006 - 10:17:09 CET)
- Re: type-directed programming (Fr Dez 15 2006 - 22:05:12 CET)
- Re: type-directed programming (Fr Dez 15 2006 - 17:40:30 CET)
- Re: type-directed programming (Fr Dez 15 2006 - 15:59:56 CET)
- Re: a proposal featuring a bug (Mo Dez 11 2006 - 12:34:30 CET)
- Re: a proposal featuring a bug (Mo Dez 11 2006 - 12:48:33 CET)
- Re: a proposal featuring a bug (Mo Dez 11 2006 - 11:59:11 CET)
- New MCC version (Mo Mai 15 2006 - 18:07:12 CEST)
- Two issues with version 0.8.2 of the report (Fr Mär 24 2006 - 17:02:05 CET)
- Re: Curry Report Vers. 0.8.2 (Fr Mär 24 2006 - 16:09:23 CET)
- Re: Curry Report Vers. 0.8.2 (Do Mär 23 2006 - 17:35:46 CET)
- Re: Curry Report Vers. 0.8.2 (Mi Mär 22 2006 - 17:42:22 CET)
- Re: Curry Report Vers. 0.8.2 (Di Mär 21 2006 - 16:35:39 CET)
- Re: Curry Report Vers. 0.8.2 (Di Mär 21 2006 - 12:35:27 CET)
- Re: Curry Report Vers. 0.8.2 (Mo Mär 20 2006 - 17:09:16 CET)
- Re: Curry Report Vers. 0.8.2 (Do Mär 16 2006 - 18:19:03 CET)
- Re: Lazy Patterns (was: Curry module system and other proposals) (Fr Mär 03 2006 - 09:41:46 CET)
- Re: Lazy Patterns (was: Curry module system and other proposals) (Do Mär 02 2006 - 09:15:31 CET)
- Lazy Patterns (was: Curry module system and other proposals) (Di Feb 28 2006 - 13:50:25 CET)
- Re: Curry module system and other proposals (Mo Feb 20 2006 - 17:11:32 CET)
- Re: Curry module system (Fr Feb 03 2006 - 17:22:10 CET)
- Re: Curry module system (Do Feb 02 2006 - 08:57:43 CET)
- Re: Curry module system (Mo Jan 30 2006 - 17:22:40 CET)
- Re: prelude extension proposal (Mi Okt 26 2005 - 13:11:53 CEST)
- Re: prelude extension proposal (Di Okt 18 2005 - 17:13:45 CEST)
- Re: prelude extension proposal (Fr Okt 14 2005 - 15:01:40 CEST)
- Re: prelude extension proposal (Fr Okt 14 2005 - 14:33:46 CEST)
- Re: prelude extension proposal (Fr Okt 14 2005 - 14:01:49 CEST)
- Re: prelude extension proposal (Fr Okt 14 2005 - 14:01:40 CEST)
- Re: prelude extension proposal (Fr Okt 14 2005 - 11:01:21 CEST)
- Re: prelude extension proposal (Fr Okt 14 2005 - 10:04:53 CEST)
- Re: prelude extension proposal (Fr Okt 14 2005 - 10:05:00 CEST)
- Re: MCC doen't want to install (Fr Dez 10 2004 - 13:24:07 CET)
- Re: Committed Choice (Was: Summary of changes) (Mo Dez 06 2004 - 16:17:47 CET)
- Committed Choice (Was: Summary of changes) (Do Dez 02 2004 - 14:20:35 CET)
- Re: Evaluation Annotations: are they needed? (Di Nov 16 2004 - 09:13:34 CET)
- Re: Evaluation Annotations: are they needed? (Mo Nov 15 2004 - 14:17:00 CET)
- Re: Evaluation Annotations: are they needed? (So Nov 14 2004 - 22:33:28 CET)
- Re: Evaluation Annotations: are they needed? (Fr Nov 12 2004 - 21:23:22 CET)
- Re: Evaluation Annotations: are they needed? (Fr Nov 12 2004 - 18:35:02 CET)
- Re: Evaluation Annotations (Was Re: Proposal: Relaxing restrictions in Curry (Fr Nov 05 2004 - 12:09:10 CET)
- Evaluation Annotations (Was Re: Proposal: Relaxing restrictions in Curry (Mi Nov 03 2004 - 17:10:20 CET)
- Re: Proposal: Relaxing restrictions in Curry (Do Nov 04 2004 - 17:21:23 CET)
- Re: Proposal: Relaxing restrictions in Curry (Mi Nov 03 2004 - 17:10:08 CET)
- Re: Proposal: Relaxing restrictions in Curry (Di Nov 02 2004 - 18:28:10 CET)
- Re: Non-deterministic operation (Mi Aug 18 2004 - 20:00:12 CEST)
- Re: Strong encapsulation, weak encapsulation, and getSearchTree (Mi Jun 16 2004 - 15:53:40 CEST)
- Re: Strong encapsulation, weak encapsulation, and getSearchTree (Di Jun 15 2004 - 09:54:34 CEST)
- Re: Strong encapsulation, weak encapsulation, and getSearchTree (Mo Jun 14 2004 - 19:13:02 CEST)
- Strong encapsulation, weak encapsulation, and getSearchTree (Mo Jun 14 2004 - 15:21:16 CEST)
- Re: Slight change of the Curry syntax (Di Sep 02 2003 - 13:07:41 CEST)
- Re: Slight change of the Curry syntax (Mo Sep 01 2003 - 08:58:46 CEST)
- Announcement: Münster Curry compiler 0.9.5 released (Mo Mai 05 2003 - 09:44:23 CEST)
- Re: Curry Report Vers. 0.8 (Mo Mai 05 2003 - 10:09:23 CEST)
- Re: Proposal: restrict multiple guards (Fr Apr 11 2003 - 09:52:29 CEST)
- Re: Proposal: restrict multiple guards (Do Apr 10 2003 - 15:47:28 CEST)
- Re: Proposal: restrict multiple guards (Do Apr 10 2003 - 09:32:04 CEST)
- Re: Münster Curry compiler release 0.9.1 (Di Nov 12 2002 - 15:04:00 CET)
- Münster Curry compiler release 0.9.1 (Mo Nov 11 2002 - 15:49:24 CET)
- Münster Curry compiler release 0.9 (Mo Nov 04 2002 - 15:17:02 CET)
- Re: Proposal: change flexible/rigid default in Curry (Mo Sep 02 2002 - 11:14:41 CEST)
- Re: Encapsulated search does not encapsulate(all)non-determinism (Di Jan 15 2002 - 13:34:18 CET)
- Re: Encapsulated search does not encapsulate (all)non-determinism (Di Jan 15 2002 - 11:13:42 CET)
- Re: Encapsulated search does not encapsulate (all)non-determinism (Mo Jan 14 2002 - 14:37:27 CET)
- Re: Encapsulated search does not encapsulate (all) non-determinism (Mo Jan 14 2002 - 13:32:49 CET)
- Re: Encapsulated search does not encapsulate (all) non-determinism (Fr Jan 11 2002 - 17:32:05 CET)
- Re: Encapsulated search does not encapsulate (all) non-determinism (Mi Jan 09 2002 - 19:15:17 CET)
- Encapsulated search does not encapsulate (all) non-determinism (Di Jan 08 2002 - 15:36:17 CET)
- Re: Proposal: Lazy matching for local patterns (Do Okt 25 2001 - 11:30:49 CEST)
- Re: Proposal: Lazy matching for local patterns (Mi Okt 24 2001 - 17:57:46 CEST)
- Re: Proposal: Lazy matching for local patterns (Mi Okt 24 2001 - 13:21:46 CEST)
- Re: Proposal: Lazy matching for local patterns (Mi Okt 24 2001 - 11:37:23 CEST)
- Re: Proposal: Lazy matching for local patterns (fwd) (Mi Okt 24 2001 - 11:02:25 CEST)
- Proposal: Lazy matching for local patterns (Mo Okt 22 2001 - 17:04:54 CEST)
- Re: Proposal: Change semantics of pattern matching (Mi Okt 25 2000 - 12:26:51 CEST)
- Re: Proposal: Change semantics of pattern matching (Di Sep 26 2000 - 18:46:00 CEST)
- Proposal: Change semantics of pattern matching (Do Sep 21 2000 - 13:30:15 CEST)
- Re: Updated Curry report (Do Jan 14 1999 - 13:00:01 CET)
- Re: Puzzle (Mi Dez 02 1998 - 17:45:30 CET)
- Re: Puzzle (Di Dez 01 1998 - 18:25:53 CET)
- Re: Puzzle (Di Dez 01 1998 - 15:51:34 CET)
- Puzzle (Di Dez 01 1998 - 15:42:08 CET)
- Re: Curry report updated (Di Nov 24 1998 - 14:41:52 CET)
- Language changes: Committed choice (Mo Okt 26 1998 - 21:08:22 CET)
- Re: Proposal for syntax changes in Curry (Fr Okt 23 1998 - 16:54:13 CEST)
- Re: Proposal for syntax changes in Curry (Fr Okt 23 1998 - 16:26:27 CEST)
- Re: Proposal for syntax changes in Curry (Fr Okt 23 1998 - 14:37:22 CEST)
- Re: Proposal for syntax changes in Curry (Fr Okt 23 1998 - 14:18:47 CEST)
- Re: Proposal for syntax changes in Curry (Do Okt 22 1998 - 17:30:16 CEST)
wrs06_at_redstar.cs.pdx.edu
- WRS06 last call for paper (Di Apr 11 2006 - 21:38:52 CEST)
- WRS06 2nd call for paper (Do Mär 02 2006 - 01:39:54 CET)
- WRS06 1st call for paper (Mi Feb 01 2006 - 20:49:00 CET)
Yi D
- Re: On the textual order of rules (Do Mär 27 2014 - 20:40:38 CET)
- On the textual order of rules (Mi Mär 26 2014 - 11:33:08 CET)
Yike Guo
- Curry (Mi Dez 18 1996 - 17:09:00 CET)
Yliès Falcone
- RV 2016, Sept 23-30 2016, Madrid, Spain - 1st Call for Papers and Tutorials (Fr Jan 15 2016 - 18:49:22 CET)
Гилмуллин Рушан
- Curry patterns (Mi Apr 15 2009 - 15:18:21 CEST)
- MCC: Errors under WIndows (Sa Apr 04 2009 - 00:43:18 CEST)
⁣ ⁣
- OpenGL bindings for Curry? (Mo Jan 11 2016 - 11:39:09 CET)
- Re: PAKCS no longer builds with current SWI release (Mi Sep 02 2015 - 10:47:18 CEST)
- PAKCS no longer builds with current SWI release (Mi Sep 02 2015 - 10:44:15 CEST)

Curry mailing list by author