Curry mailing list: by subject

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

Curry mailing list by subject