Curry mailing list by author
- .
- A.M.King
- Alicia Villanueva
- Amy Felty
- Andy Jost
- Antonio Regidor García
- António Porto
- Arthur Peters
- Ayoub Nouri
- bbr_at_informatik.uni-kiel.de
- Bernd Brassel
- Björn Peemöller
- Brian Ledger
- cfp_at_clip.dia.fi.upm.es
- Christian Prehofer
- ciclops-org_at_clip.dia.fi.upm.es
- Claus Reinke
- David Powers
- David Sabel
- David Sacher
- demis_at_dimi.uniud.it
- Diego Berrueta
- Emanuel Kitzelmann
- Emilio Jesús Gallego Arias
- Enrico Pontelli
- epontell
- Ernesto Pimentel Sánchez
- Evelyne Contejean
- Fabian Reck
- Fausto Spoto
- Felix Holmgren
- Fernando Sáenz Pérez
- Finn Teegen
- Francisco J. Lopez Fraguas
- FRANCISCO JAVIER LOPEZ FRAGUAS
- Francisco Javier López Fraguas
- Frank Christoph
- Frank Huch
- Frank Steiner
- German Vidal
- Gopal Gupta
- Gustavo Arroyo Delgado
- h7sa_at_pdx.edu
- Harold Boley
- hema kumar
- Hendrik Lock
- Herbert Kuchen
- herme_at_fi.upm.es
- Horatiu Cirstea
- Isabelle Perseil
- Ivan Zakharyaschev
- Jacob Johannsen
- Jaime Sánchez Hernández
- James Koppel
- Jan Christiansen
- Jeffrey Brown
- Jeroen Ketema
- Johan Boye
- John Gallagher
- John Lloyd
- John Patrick Gallagher
- Jose Hernandez-Orallo
- Juan Rodriguez Hortalá
- Juan Carlos Gonz\alez Moreno
- Juan Carlos González Moreno
- Juan Rodriguez Hortala
- Juergen Giesl
- Julio Mariño
- Julio Mariño y Carballo
- kahl_at_cas.mcmaster.ca
- Karn Kallio
- LADS'007 Co-organisers
- Larry D. Lee jr.
- lausgans_at_gmail.com
- Lee, Larry D.
- list_at_clip.dia.fi.upm.es
- Liu Junfeng
- Logic Programming Rsrch Association
- LOPSTR 2006
- Luca Torella
- Manuel Carro
- Manuel Chakravarty
- Manuel Hermenegildo
- Manuel M. T. Chakravarty
- Marco Comini
- Maria Alpuente Frasnedo
- Maria Garcia de la Banda
- Maribel Fernandez
- Mario Rodriguez Artalejo
- Mario Rodriguez-Artalejo
- Matthew Naylor
- Michael Hanus
- [curry] CfP: FLOPS 2024 Symposium on Functional and Logic Programming (Fr Jul 28 2023 - 15:34:43 CEST)
- [curry] WLP @ KI2023: Call for Papers (Mo Jun 05 2023 - 09:25:11 CEST)
- [curry] PPDP 2023 - Call for Papers (Do Apr 20 2023 - 17:58:39 CEST)
- [curry] LOPSTR 2023 (Lisbon) - Second Call for Papers - Paper Deadline: May (Do Apr 20 2023 - 17:49:31 CEST)
- [curry] LOPSTR 2023 - Call for Papers (Do Mär 23 2023 - 18:26:21 CET)
- [curry] PADL 2023: Final Call for Papers (with updated deadlines!) (Mi Okt 05 2022 - 19:57:43 CEST)
- [curry] 2nd Call for Papers: PADL 2023 (Sa Sep 17 2022 - 18:59:12 CEST)
- [curry] 1st Call for Papers: PADL 2023 (Di Aug 09 2022 - 17:32:18 CEST)
- [curry] FLOPS 2022: Call For Participation & Workshop talk proposals (Di Apr 26 2022 - 17:58:05 CEST)
- [curry] [CfP] ICLP 2022 - Call for Recently Published Research Papers (Mi Feb 09 2022 - 18:04:42 CET)
- [curry] [Final CfP] ICLP 2022 - The 38th International Conference on Logic (Do Jan 13 2022 - 10:52:32 CET)
- [curry] 2nd Call for Papers: FLOPS 2022 (Mi Nov 17 2021 - 17:32:38 CET)
- [curry] ICLP 2022 Call For Papers (Do Okt 21 2021 - 17:21:15 CEST)
- [curry] Call for Papers: FLOPS 2022 (So Sep 26 2021 - 13:20:52 CEST)
- [curry] Preliminary Call for Papers: FLOPS 2022 (Fr Aug 06 2021 - 15:04:27 CEST)
- [curry] Re: Recursion in Set Functions (Di Jul 06 2021 - 18:20:55 CEST)
- [curry] Re: Recursion in Set Functions (Mo Jul 05 2021 - 11:16:33 CEST)
- [curry] LOPSTR 2021 - First CfP (Mo Apr 19 2021 - 15:30:23 CEST)
- Re: PAKCS 3.3.0 release available (Di Feb 16 2021 - 11:39:42 CET)
- [curry] PAKCS 3.3.0 release available (Di Feb 09 2021 - 12:31:44 CET)
- [curry] Re: New homepage for Curry (Mi Nov 18 2020 - 09:22:59 CET)
- [curry] Re: New homepage for Curry (Di Nov 17 2020 - 18:47:13 CET)
- [curry] New homepage for Curry (Fr Okt 16 2020 - 12:30:09 CEST)
- [curry] Call for participation: BOPL 2020 (LOPSTR, Microservices, PPDP, WFLP) (Mo Aug 24 2020 - 10:01:51 CEST)
- [curry] WFLP 2020: 2nd CFP and Extended Deadlines (Mo Jul 06 2020 - 10:15:39 CEST)
- [curry] WFLP 2020 CFP (Workshop on Functional and Constraint Logic
Programming) (Mo Mai 04 2020 - 09:17:13 CEST)
- [curry] LOPSTR 2020 - First CFP (Di Mär 31 2020 - 10:02:35 CEST)
- [curry] Re: Haskell compatibility (Do Dez 19 2019 - 10:46:57 CET)
- [curry] Re: Haskell compatibility (Mo Dez 16 2019 - 23:18:36 CET)
- [curry] Re: Unicode support (Mo Dez 16 2019 - 22:57:39 CET)
- [curry] Re: Dynamic Predicates? (Mo Okt 14 2019 - 18:13:05 CEST)
- [curry] Re: "Normal form" of a partial application (Mi Mai 29 2019 - 18:40:00 CEST)
- [curry] Re: Choosing default instances in Curry (Mo Mai 20 2019 - 18:44:44 CEST)
- [curry] Final Call for Papers - PPDP 2019 (So Apr 14 2019 - 17:39:50 CEST)
- [curry] Re: Lots of problems with cypm (Do Apr 04 2019 - 13:03:37 CEST)
- [curry] CfP: WFLP 2019 - 27th International Workshop on Functional and
(Constraint) Logic Programming (Mo Feb 04 2019 - 09:18:02 CET)
- [curry] Re: pakcs installation gave "inappropriate ioctl" error; I
tried to rebuild `pakcs`; now I can't even build `pakcs` (Mo Dez 03 2018 - 17:23:06 CET)
- [curry] Re: Specifying default rules: Why and how? (Fr Nov 23 2018 - 09:36:27 CET)
- [curry] Re: Specifying default rules: Why and how? (Mo Nov 19 2018 - 18:06:54 CET)
- [curry] Re: What speed to expect doing logic on graphs represented by
maps (Mo Nov 19 2018 - 17:42:34 CET)
- [curry] 2nd Call for Talks -- Haskell Implementors' Workshop (Mi Jul 04 2018 - 18:23:57 CEST)
- WFLP 2018: Call for Papers (Reminder) (Di Jun 19 2018 - 12:19:12 CEST)
- Re: Build errors ghc 8.4.2, macOS (Di Mai 29 2018 - 09:48:41 CEST)
- WFLP 2018: Second Call for Papers (Mi Mai 16 2018 - 15:41:44 CEST)
- Call for Talks -- Haskell Implementors' Workshop (Di Apr 03 2018 - 15:35:33 CEST)
- WFLP 2018: Call for Papers (Di Mär 20 2018 - 09:53:23 CET)
- Debian/Ubuntu packages for PAKCS (Do Okt 26 2017 - 18:41:47 CEST)
- Type classes for Curry (Mi Okt 25 2017 - 21:13:26 CEST)
- Re: Timing Curry programs (Fr Okt 20 2017 - 10:02:13 CEST)
- Re: Timing Curry programs (Fr Okt 20 2017 - 09:55:16 CEST)
- 2nd Call for Papers: WFLP/WLP 2017 (Mo Jun 26 2017 - 22:17:45 CEST)
- Introducing CPM - the Curry Package Manager (Do Jun 22 2017 - 14:46:06 CEST)
- Final Call for Papers: CICLOPS 2017 - 15th International
Colloquium on Implementation of Constraint and LOgic Programming Systems
(DEADLINES EXTENSION) (Mi Jun 21 2017 - 09:38:00 CEST)
- 2nd Call for Papers: CICLOPS 2017 - 15th International
Colloquium on Implementation of Constraint and LOgic Programming Systems (Fr Jun 09 2017 - 13:22:48 CEST)
- Fwd: 2nd CFP,
4th WS on Horn Clauses for Verification & Synthesis HCVS (Deadline:
June 11) (Mi Jun 07 2017 - 13:41:27 CEST)
- Call for Papers: WFLP/WLP 2017 (Mo Mai 22 2017 - 13:55:02 CEST)
- PAKCS on Ubuntu and Debian (Mo Mai 15 2017 - 18:44:42 CEST)
- Re: Help using currypp (So Apr 02 2017 - 13:13:25 CEST)
- Re: Help using currypp (Sa Apr 01 2017 - 13:40:50 CEST)
- Re: Curry syntax (Do Mär 09 2017 - 11:28:43 CET)
- Curry Style Guide (Fr Feb 24 2017 - 16:21:52 CET)
- 2nd Call for Papers: WFLP 2016 - Update: EPTCS Proceedings (Di Mai 31 2016 - 20:28:28 CEST)
- Call for Papers: WFLP 2016 - Workshop on Functional and (Constraint)
Logic Programming (Di Mai 17 2016 - 21:03:16 CEST)
- Call for Papers - 30th Workshop on Logic Programming (WLP 2016) (Fr Apr 22 2016 - 19:58:19 CEST)
- CFP ICLP 2016: 32nd International Conference on Logic
Programming, New York City, Oct 17-21 (Fr Feb 26 2016 - 09:30:47 CET)
- Re: OpenGL bindings for Curry? (Di Jan 12 2016 - 09:26:07 CET)
- Re: Pull tabbing with variables (Mi Dez 30 2015 - 12:21:41 CET)
- Re: Pull tabbing with variables (Mo Dez 21 2015 - 17:46:58 CET)
- Re: Curry-on to infinity (Di Dez 15 2015 - 15:44:34 CET)
- Re: Curry-on to infinity (Do Dez 10 2015 - 22:53:00 CET)
- Re: Curry-on to infinity (Mo Dez 07 2015 - 16:48:12 CET)
- Curry report updated to version 0.9.0 (Mo Nov 16 2015 - 17:31:37 CET)
- Re: Random labeling options for CLPFD (Di Nov 10 2015 - 11:23:34 CET)
- Re: Random labeling options for CLPFD (Do Nov 05 2015 - 14:04:00 CET)
- Re: Random labeling options for CLPFD (Mi Nov 04 2015 - 16:48:32 CET)
- Re: Proposal: Simplifying Curry (Mi Okt 07 2015 - 20:14:12 CEST)
- Re: Proposal: Simplifying Curry (So Okt 11 2015 - 17:43:54 CEST)
- Re: Proposal: Simplifying Curry (So Okt 11 2015 - 17:55:49 CEST)
- Proposal: Simplifying Curry (Do Okt 01 2015 - 13:45:36 CEST)
- Re: PAKCS no longer builds with current SWI release (Mi Sep 02 2015 - 11:11:16 CEST)
- Final CFP: FLOPS 2016,
International Symposium on Functional and Logic Programming (Di Sep 01 2015 - 09:54:15 CEST)
- FLOPS 2016, Second CFP (Mi Jul 22 2015 - 13:01:41 CEST)
- Re: PAKCS Internal Functions (Sa Mai 16 2015 - 17:40:06 CEST)
- CfP: FLOPS 2016 (Mo Mai 04 2015 - 10:39:09 CEST)
- New PAKCS/KiCS2 releases available (Do Mär 12 2015 - 15:28:21 CET)
- Re: Found bugs in PAKCS show (Mo Jan 26 2015 - 23:48:42 CET)
- Re: Multiple instances of PAKCS interfere with each other (Di Jan 06 2015 - 12:59:18 CET)
- Re: Eliminate Haskell obfuscisms (was Smap: Collecting small programs) (Fr Okt 31 2014 - 16:20:16 CET)
- Re: Some syntax sugar for logic programming (Fr Okt 31 2014 - 15:48:56 CET)
- Re: Smap: Collecting small programs (Do Okt 30 2014 - 17:58:54 CET)
- Re: Smap: Collecting small programs (Mi Okt 29 2014 - 13:24:02 CET)
- Smap: Collecting small programs (Di Okt 28 2014 - 17:36:07 CET)
- Re: Some syntax sugar for logic programming (Di Okt 28 2014 - 17:17:13 CET)
- RTA 2015 - First Call For Papers (Mo Okt 20 2014 - 13:09:40 CEST)
- WLP/WFLP - Call for Participation - September 15-17 (Mi Aug 13 2014 - 09:45:37 CEST)
- Re: New KiCS2 release available (Di Aug 12 2014 - 19:04:24 CEST)
- New KiCS2 release available (Mi Jul 16 2014 - 14:05:02 CEST)
- 2nd CfP: WFLP 2014 - Workshop on Functional and
(Constraint) Logic Programming (Sa Jun 28 2014 - 19:47:50 CEST)
- Re: Fwd: MIU in Curry (Fr Jun 20 2014 - 10:49:05 CEST)
- CFP: WFLP 2014 - Workshop on Functional and (Constraint) Logic Programming (Mi Mai 14 2014 - 10:26:38 CEST)
- Re: On the textual order of rules (Do Mär 27 2014 - 17:40:04 CET)
- Re: On the textual order of rules (Do Mär 27 2014 - 15:08:35 CET)
- Re: Possible bug? (Mo Nov 25 2013 - 17:40:13 CET)
- CfP: ICLP 2014 (Mo Nov 11 2013 - 17:32:08 CET)
- Re: Insertion Sort from Permutation Sort (Mi Okt 16 2013 - 13:00:33 CEST)
- New survey on Curry and FLP (Do Sep 05 2013 - 11:21:39 CEST)
- Re: Call for Participation: Kiel Declarative Programming Days 2013 (Mo Aug 12 2013 - 15:05:27 CEST)
- Call for Participation: Kiel Declarative Programming Days 2013 (Mo Aug 12 2013 - 13:38:11 CEST)
- Call for Papers: Kiel Declarative Programming Days 2013 (Do Jun 27 2013 - 13:27:45 CEST)
- Call for Papers: WFLP/WLP 2013 (Fr Jun 14 2013 - 10:44:39 CEST)
- Re: blog article about Curry (Mo Apr 29 2013 - 10:09:11 CEST)
- Re: MIU in Curry (Mo Apr 29 2013 - 10:07:29 CEST)
- Re: MIU in Curry (Fr Apr 26 2013 - 18:38:38 CEST)
- Re: default search strategy of KiCS2 (Fr Apr 26 2013 - 18:29:56 CEST)
- Re: cannot define operators (Mi Apr 24 2013 - 15:45:43 CEST)
- Re: function inversion and functional patterns (Fr Apr 19 2013 - 22:22:10 CEST)
- Re: findall resulting in strange message (Fr Apr 19 2013 - 18:04:10 CEST)
- Re: findall resulting in strange message (Fr Apr 19 2013 - 14:21:40 CEST)
- Call for Papers: WFLP/WLP 2013 (Mo Mär 25 2013 - 15:12:04 CET)
- Re: Curry Crash Course (Sa Jan 26 2013 - 17:04:01 CET)
- Re: Curry Crash Course (Do Jan 24 2013 - 17:13:35 CET)
- Re: Curry Crash Course (Mo Jan 21 2013 - 14:59:53 CET)
- RTA 2013: 2nd CfP (Do Dez 13 2012 - 15:50:34 CET)
- Re: Compiling standalone applications in Kics2 (Di Dez 11 2012 - 12:14:35 CET)
- Re: Compiling standalone applications in Kics2 (Mo Dez 03 2012 - 12:59:06 CET)
- Curry report updated to version 0.8.3 (Di Sep 11 2012 - 17:50:52 CEST)
- Update of the Curry report (Do Aug 23 2012 - 12:53:20 CEST)
- PhD position in declarative programming (Do Jul 12 2012 - 15:36:28 CEST)
- Re: equality of partial applications (Mi Jun 20 2012 - 18:09:49 CEST)
- Final call for papers for TFPIE 2012 (Do Mai 10 2012 - 13:27:15 CEST)
- Call for Presentation of Work in Progress (Wip-WFLP 2012) (Do Apr 05 2012 - 11:00:54 CEST)
- Second call for papers TFPIE 2012 (Do Apr 05 2012 - 10:46:28 CEST)
- Re: set functions and weak encapsulation (Mo Mär 12 2012 - 12:14:34 CET)
- Re: set functions and weak encapsulation (Di Mär 06 2012 - 10:41:43 CET)
- Re: set functions and weak encapsulation (Di Mär 06 2012 - 10:38:57 CET)
- WFLP2012: 2nd Call For Papers (Mi Feb 15 2012 - 09:07:58 CET)
- TFPIE: Trends in Functional Programming in Education 2012 (Mo Feb 06 2012 - 18:07:59 CET)
- PhD position in declarative programming (Mo Feb 06 2012 - 16:35:48 CET)
- LICS 2012 - Final Call for Papers (Mi Jan 04 2012 - 12:00:13 CET)
- RTA 2012: First Call For Papers (Mo Okt 03 2011 - 13:23:07 CEST)
- Re: Do notation for arbitrary monads (Mi Sep 07 2011 - 09:51:37 CEST)
- RTA 2012: Call for Workshop Proposals (Mi Jul 20 2011 - 14:49:56 CEST)
- Re: Records with labeled fields (Mi Jul 13 2011 - 10:42:21 CEST)
- Re: residuation for compositional search? (Mi Jun 15 2011 - 08:08:53 CEST)
- Re: residuation for compositional search? (Mi Jun 15 2011 - 02:19:50 CEST)
- Re: residuation for compositional search? (Di Jun 14 2011 - 18:52:24 CEST)
- Re: residuation for compositional search? (Mo Mai 30 2011 - 05:21:57 CEST)
- Re: residuation for compositional search? (Di Mai 24 2011 - 21:57:26 CEST)
- Call for Participation: PPDP 2011 (Mo Mai 23 2011 - 22:43:59 CEST)
- Re: example with 2 combined searches: does "No solution" guarantee no solution actually? (Mi Apr 20 2011 - 01:32:13 CEST)
- TFP2011: last CfP (Do Mär 31 2011 - 18:52:54 CEST)
- RDP 2011: Call for Participation (Do Mär 24 2011 - 20:07:19 CET)
- Second CfP: Trends in Functional Programming - TFP 2011 (Sa Mär 19 2011 - 00:51:04 CET)
- Second CfP: FOPARA 2011 (Sa Mär 19 2011 - 00:49:00 CET)
- CfP: PPDP 2011 (Di Mär 01 2011 - 22:56:37 CET)
- Re: Neither PAKCS nor MCC transform right sections according to the Curry report. (Di Feb 22 2011 - 15:19:19 CET)
- Re: slight differences between non-termination and failure (Do Feb 03 2011 - 09:16:31 CET)
- Re: report of PAKCS installation problems (partly solved) (Do Jan 20 2011 - 16:18:52 CET)
- Re: report of PAKCS installation problems (partly solved) (Mi Jan 19 2011 - 17:13:53 CET)
- Re: report of PAKCS installation problems (partly solved) (Mi Jan 19 2011 - 12:09:11 CET)
- CfP: PPDP 2011 (Do Jan 13 2011 - 17:29:27 CET)
- Re: Proposal: Syntax extension (Do Jan 06 2011 - 17:27:11 CET)
- Re: Proposal: Syntax extension (Do Jan 06 2011 - 09:48:53 CET)
- Re: Proposal: Syntax extension (Do Jan 06 2011 - 09:42:51 CET)
- Proposal: Syntax extension (Mi Jan 05 2011 - 10:51:18 CET)
- 1st CFP Trends in Functional Programming 2011 (Mo Dez 20 2010 - 08:41:59 CET)
- Call for Workshop Proposals (RDP 2011, Novi Sad) (Mi Sep 22 2010 - 09:40:16 CEST)
- Re: PAKCS On windows??? (Di Apr 20 2010 - 13:00:46 CEST)
- Re: PAKCS On windows??? (Mo Apr 19 2010 - 09:04:31 CEST)
- Curry web pages (Mi Mär 31 2010 - 11:46:32 CEST)
- Last CfP: LOPSTR'10 (Mi Mär 17 2010 - 09:45:04 CET)
- TFP 2010 - Call for Papers and Participation (Di Feb 23 2010 - 07:56:49 CET)
- Re: CLP(FD) and the Minimize labeling option (Di Nov 24 2009 - 23:27:59 CET)
- CFP - VMCAI 2010, Madrid (11th Int'l Conf on Verification, Model Checking, and Abstract Interpretation) (Di Jul 28 2009 - 08:36:27 CEST)
- IFL 2009: Third Call for Papers (Do Jul 16 2009 - 17:31:55 CEST)
- IFL 2009: Second Call for Papers (Mo Jun 01 2009 - 19:10:33 CEST)
- Last CFP: Trends in Functional Programming (Mi Mai 06 2009 - 09:22:01 CEST)
- Re: using maling list (Do Apr 16 2009 - 15:33:24 CEST)
- TFP 2009: Third Call for Papers (Mi Apr 15 2009 - 12:41:33 CEST)
- CfP TFP 2009 and Functional Programming summer school: CEFP 2009 (Do Mär 19 2009 - 09:41:21 CET)
- LOPSTR2009 first Call for Papers (Di Mär 17 2009 - 17:21:56 CET)
- Call for Papers: Workshop on Termination (WST 2009) (Do Mär 12 2009 - 16:17:18 CET)
- CfP: CICLOPS09 (So Mär 08 2009 - 18:27:29 CET)
- Take a break: write an essay for Onward! essays (Do Feb 12 2009 - 12:20:54 CET)
- TFP 2009 CFP (Fr Jan 30 2009 - 10:16:53 CET)
- Call for Papers: IFL 2009 (Fr Jan 16 2009 - 15:58:01 CET)
- Logic Programming: 25th International Conference CFP (Mi Jan 07 2009 - 09:21:08 CET)
- curry-language.org (Mo Sep 01 2008 - 17:48:13 CEST)
- Symposium on Practical Aspects of Declarative Languages (PADL'09) (Di Jul 22 2008 - 10:02:40 CEST)
- FDPE 2008 -- Deadline extension (Di Jun 24 2008 - 11:46:53 CEST)
- CfP: FDPE 2008 (Mi Mai 21 2008 - 17:34:12 CEST)
- Re: Two to Three Ways to write an unsafe type cast without importing Unsafe (Mo Mai 19 2008 - 09:36:20 CEST)
- Re: Two to Three Ways to write an unsafe type cast without importing Unsafe (Fr Mai 16 2008 - 18:34:31 CEST)
- Re: Two to Three Ways to write an unsafe type cast without importing Unsafe (Do Mai 15 2008 - 18:57:26 CEST)
- Second Call for Participation TFP 2008, The Netherlands (Do Apr 24 2008 - 09:16:56 CEST)
- Final CfP: LOPSTR 2008 (Fr Apr 18 2008 - 09:14:29 CEST)
- Re: design pattern wanted (Fr Apr 11 2008 - 17:41:29 CEST)
- WRS 2008 - 2nd CFP (Mi Apr 09 2008 - 09:49:55 CEST)
- Re: PAKCS Sockets on swi-pl? -> solved (Di Apr 08 2008 - 15:30:49 CEST)
- Re: PAKCS Sockets on swi-pl? (Di Apr 08 2008 - 12:41:32 CEST)
- CfP: LOPSTR 2008 (Do Mär 13 2008 - 11:27:04 CET)
- Re: Transmit free variables via socket (Di Mär 04 2008 - 16:05:33 CET)
- Third call for papers TFP 08 and second call for participation AFP 08 (Fr Feb 29 2008 - 19:33:43 CET)
- Re: PAKCS, problem with module CLPFD (Fr Feb 08 2008 - 18:28:04 CET)
- PPDP'08: Call for Papers (Fr Feb 08 2008 - 13:35:27 CET)
- 1st call for participation AFP 2008, The Netherlands (Mo Feb 04 2008 - 18:32:26 CET)
- Second Call for Papers TFP 2008, The Netherlands (Fr Feb 01 2008 - 18:53:39 CET)
- LOPSTR 2008: Preliminary Call for Papers (Fr Dez 21 2007 - 15:25:27 CET)
- New PAKCS release (Version 1.9.0) (Mi Dez 19 2007 - 22:50:45 CET)
- Re: Intended meaning (Fr Nov 02 2007 - 12:53:27 CET)
- Re: Intended meaning (Do Nov 01 2007 - 10:19:32 CET)
- Re: Intended meaning (Di Okt 30 2007 - 17:02:42 CET)
- Re: Intended meaning (Mo Okt 29 2007 - 12:47:38 CET)
- Re: Intended meaning (Fr Okt 26 2007 - 15:24:51 CEST)
- Re: Intended meaning (Do Okt 25 2007 - 12:35:05 CEST)
- Re: Intended meaning (Do Okt 25 2007 - 08:10:02 CEST)
- New survey on FLP and Curry (Fr Okt 12 2007 - 11:48:10 CEST)
- Re: Confused Students (Fr Jun 22 2007 - 09:57:12 CEST)
- Re: Confused Students (Do Jun 21 2007 - 10:33:11 CEST)
- Re: Confused Students (Mi Jun 20 2007 - 09:24:43 CEST)
- WLP 2007 - Extended Deadline: July 1, 2007 (Mi Jun 13 2007 - 11:46:58 CEST)
- 2nd CfP: 21st Workshop on Logic Programming - WLP 2007 (Di Mai 29 2007 - 17:48:48 CEST)
- Re: curry on windows (was: encapsulated search) (Fr Mai 11 2007 - 18:27:59 CEST)
- Re: curry on windows (was: encapsulated search) (Mi Mai 09 2007 - 17:30:55 CEST)
- Re: encapsulated search (Re: New PAKCS release (Version 1.8.0)) (Di Mai 08 2007 - 14:51:24 CEST)
- CfP: 21st Workshop on Logic Programming - WLP 2007 (Mo Apr 23 2007 - 09:59:53 CEST)
- Re: New PAKCS release (Version 1.8.0) (Do Mär 29 2007 - 16:57:18 CEST)
- New PAKCS release (Version 1.8.0) (Do Mär 29 2007 - 13:27:46 CEST)
- Re: from static typing to runtime constraints (Fr Dez 08 2006 - 11:24:08 CET)
- WFLP'06: Call for participation (Mo Okt 30 2006 - 09:11:07 CET)
- Re: Help with a little function called "choose" (Di Jun 13 2006 - 09:12:42 CEST)
- New PAKCS (Version 1.7.2) and Curry report (Do Mär 30 2006 - 18:15:45 CEST)
- Re: Two issues with version 0.8.2 of the report (Mo Mär 27 2006 - 12:55:28 CEST)
- Re: Curry Report Vers. 0.8.2 (Fr Mär 24 2006 - 15:45:34 CET)
- Re: Curry Report Vers. 0.8.2 (Fr Mär 24 2006 - 11:31:34 CET)
- Re: Curry Report Vers. 0.8.2 (Di Mär 21 2006 - 09:54:11 CET)
- Re: Curry Report Vers. 0.8.2 (Mo Mär 20 2006 - 12:20:57 CET)
- Re: Curry Report Vers. 0.8.2 (Fr Mär 17 2006 - 14:04:59 CET)
- Curry Report Vers. 0.8.2 (Di Mär 14 2006 - 13:41:45 CET)
- Re: Lazy Patterns (was: Curry module system and other proposals) (Fr Mär 03 2006 - 11:28:36 CET)
- Re: Lazy Patterns (was: Curry module system and other proposals) (Do Mär 02 2006 - 15:01:27 CET)
- Re: Lazy Patterns (was: Curry module system and other proposals) (Mi Mär 01 2006 - 18:21:13 CET)
- Re: Data structures with labeled fields (Mi Mär 01 2006 - 18:22:48 CET)
- Re: Curry module system and other proposals (Di Feb 28 2006 - 09:23:54 CET)
- Re: Curry module system and other proposals (Mo Feb 27 2006 - 14:39:47 CET)
- Re: Curry module system (Mo Feb 20 2006 - 15:22:50 CET)
- Re: Curry module system (Mo Feb 20 2006 - 14:25:57 CET)
- Re: Curry module system (Fr Feb 17 2006 - 11:16:18 CET)
- Re: Curry module system (Do Feb 16 2006 - 16:28:59 CET)
- Re: Curry module system (Mo Feb 06 2006 - 14:50:55 CET)
- Re: Curry module system (Do Feb 02 2006 - 18:33:31 CET)
- Re: Curry module system (Di Jan 31 2006 - 18:45:05 CET)
- Re: Curry module system (Mo Jan 30 2006 - 09:33:54 CET)
- Re: Curry module system (Fr Jan 27 2006 - 18:03:11 CET)
- Re: Curry module system (Fr Jan 27 2006 - 16:36:07 CET)
- Curry module system (Fr Jan 27 2006 - 12:03:33 CET)
- New PAKCS (Version 1.7.0) available (Mo Dez 05 2005 - 18:42:28 CET)
- Re: formal verification for functional-logic programming languages (Mo Nov 07 2005 - 10:14:19 CET)
- Re: prelude extension proposal (Do Okt 27 2005 - 11:18:16 CEST)
- Re: prelude extension proposal (Di Okt 25 2005 - 16:10:39 CEST)
- Re: prelude extension proposal (Di Okt 25 2005 - 15:53:26 CEST)
- Re: prelude extension proposal (Fr Okt 14 2005 - 18:08:08 CEST)
- Re: prelude extension proposal (Mi Okt 12 2005 - 17:19:30 CEST)
- Re: constraint solving with MCC (Mo Okt 10 2005 - 12:44:13 CEST)
- PAKCS Version 1.6.1 available (Mo Okt 10 2005 - 11:35:03 CEST)
- CfP: 20th Workshop on Logic Programming - WLP 2006 (Mi Sep 14 2005 - 09:49:57 CEST)
- WCFLP 2005: Call for Participation (Mi Aug 03 2005 - 23:46:09 CEST)
- FDPE'05: Call for Participation (Mo Aug 01 2005 - 19:36:21 CEST)
- Curry and Functional Logic Programming 2005 (2nd CfP) (Mi Mai 18 2005 - 00:41:36 CEST)
- CfP: Curry and Functional Logic Programming 2005 (Fr Mär 18 2005 - 02:27:18 CET)
- Functional and Declarative Programming in Education 2005 (Mi Jan 19 2005 - 09:00:16 CET)
- Re: external solvers (Di Jan 04 2005 - 14:06:25 CET)
- Re: PAKCS and Sicstus 3.12 (Di Dez 21 2004 - 14:26:39 CET)
- Re: Re: Flexible Enumerations (Fr Dez 10 2004 - 09:50:37 CET)
- Re: Flexible Enumerations (Do Dez 09 2004 - 12:51:40 CET)
- Re: Committed Choice (Was: Summary of changes) (Do Dez 09 2004 - 13:07:31 CET)
- Re: Committed Choice (Was: Summary of changes) (Fr Dez 03 2004 - 12:19:49 CET)
- Summary of changes (Di Nov 23 2004 - 18:11:45 CET)
- Re: Evaluation Annotations: are they needed? (Di Nov 16 2004 - 10:19:56 CET)
- Re: Evaluation Annotations: are they needed? (Mo Nov 15 2004 - 17:54:37 CET)
- Re: Evaluation Annotations: are they needed? (Mo Nov 15 2004 - 17:41:42 CET)
- Re: Evaluation Annotations: are they needed? (Mo Nov 15 2004 - 10:57:15 CET)
- Re: AW: Name discussion for new primtive (Fr Nov 12 2004 - 12:10:29 CET)
- Re: Name discussion for new primtive (Fr Nov 12 2004 - 09:26:41 CET)
- Re: Name discussion for new primtive (Do Nov 11 2004 - 12:51:58 CET)
- Re: Name discussion for new primtive (Do Nov 11 2004 - 12:43:52 CET)
- Re: Evaluation Annotations (Was Re: Proposal: Relaxing restrictions in Curry (Mi Nov 10 2004 - 14:02:18 CET)
- Re: Re: Evaluation Annotations (Fr Nov 05 2004 - 17:04:07 CET)
- Re: Evaluation Annotations (Fr Nov 05 2004 - 10:00:17 CET)
- Re: Proposal: Relaxing restrictions in Curry (Fr Nov 05 2004 - 09:18:19 CET)
- Re: Proposal: Relaxing restrictions in Curry (Do Nov 04 2004 - 14:06:02 CET)
- Re: Proposal: Relaxing restrictions in Curry (Mi Nov 03 2004 - 09:16:22 CET)
- Re: Proposal: Relaxing restrictions in Curry (Mi Nov 03 2004 - 08:59:32 CET)
- Proposal: Relaxing restrictions in Curry (Di Nov 02 2004 - 12:11:57 CET)
- Re: Non-deterministic operation (Do Aug 19 2004 - 14:32:32 CEST)
- Non-deterministic operation (Mo Jun 07 2004 - 17:17:13 CEST)
- Re: Slight change of the Curry syntax (Di Sep 02 2003 - 09:39:39 CEST)
- Slight change of the Curry syntax (Mo Aug 18 2003 - 19:24:03 CEST)
- PAKCS Version 1.5 available (Mo Mai 26 2003 - 17:30:46 CEST)
- Re: Curry Report Vers. 0.8 (Di Mai 06 2003 - 11:22:59 CEST)
- Curry Report Vers. 0.8 (Mi Apr 16 2003 - 14:10:01 CEST)
- Re: Proposal: restrict multiple guards (Do Apr 10 2003 - 17:42:52 CEST)
- Re: Proposal: restrict multiple guards (Do Apr 10 2003 - 13:28:51 CEST)
- Proposal: restrict multiple guards (Mo Apr 07 2003 - 16:05:04 CEST)
- PAKCS Version 1.4.1 available (Do Sep 26 2002 - 14:57:06 CEST)
- Curry Report Vers. 0.7.2 (Fr Sep 20 2002 - 18:01:55 CEST)
- Re: Proposal: change flexible/rigid default in Curry (Mo Sep 09 2002 - 13:14:41 CEST)
- Proposal: change flexible/rigid default in Curry (Mo Aug 26 2002 - 19:01:52 CEST)
- PAKCS Version 1.4 available (Fr Mai 24 2002 - 11:32:11 CEST)
- Re: Encapsulated search does not encapsulate(all)non-determinism (Do Jan 24 2002 - 16:13:03 CET)
- Re: Encapsulated search does not encapsulate (all)non-determinism (Di Jan 15 2002 - 07:36:05 CET)
- Re: Encapsulated search does not encapsulate (all) non-determinism (Fr Jan 11 2002 - 14:19:17 CET)
- Re: Proposal: Lazy matching for local patterns (Mo Okt 29 2001 - 15:31:20 CET)
- Re: Proposal: Lazy matching for local patterns (Mi Okt 24 2001 - 12:55:55 CEST)
- FlatCurry (Do Aug 30 2001 - 12:22:52 CEST)
- CIDER: a graphical development environment for Curry (Fr Dez 22 2000 - 10:25:06 CET)
- PAKCS Version 1.3 available (Mo Dez 18 2000 - 13:55:56 CET)
- Re: Proposal: Change semantics of pattern matching (Do Okt 26 2000 - 15:14:01 CEST)
- Re: Proposal: Change semantics of pattern matching (Di Okt 24 2000 - 15:17:47 CEST)
- Curry is the future! (Di Sep 26 2000 - 18:33:04 CEST)
- Re: Proposal: Change semantics of pattern matching (Di Sep 26 2000 - 18:23:15 CEST)
- PACS -> PAKCS (Mi Jun 21 2000 - 18:31:31 CEST)
- Curry: new web pages and report (Di Jun 06 2000 - 15:28:22 CEST)
- Curry Report Vers. 0.7 (Mi Feb 02 2000 - 18:39:49 CET)
- PACS Version 1.1 available (Fr Dez 10 1999 - 18:13:33 CET)
- Curry language changes (Do Nov 25 1999 - 11:08:46 CET)
- Curry Report Vers. 0.6 (Fr Okt 22 1999 - 12:45:58 CEST)
- PACS: The Portland Aachen Curry System (Di Jul 06 1999 - 12:52:05 CEST)
- New TasteCurry and Examples (Fr Apr 09 1999 - 16:36:19 CEST)
- Re: Updated Curry report (Do Jan 14 1999 - 14:58:25 CET)
- Updated Curry report (Mi Jan 13 1999 - 11:51:10 CET)
- Free variables in Curry (Do Jan 07 1999 - 12:36:06 CET)
- Re: Occurs-check in the unification (" =:= ") (Mo Jan 04 1999 - 14:15:02 CET)
- Re: Puzzle (Mi Dez 02 1998 - 18:11:30 CET)
- Re: Puzzle (Mi Dez 02 1998 - 12:25:29 CET)
- Re: Puzzle (Di Dez 01 1998 - 15:35:37 CET)
- Re: Curry report updated (Di Nov 24 1998 - 15:36:54 CET)
- Re: Curry report updated (Mo Nov 23 1998 - 15:28:19 CET)
- Re: Curry report updated (Mo Nov 23 1998 - 12:32:45 CET)
- Curry report updated (Do Nov 19 1998 - 10:40:56 CET)
- Re: Local pattern declarations in Curry (Fr Nov 13 1998 - 16:35:25 CET)
- Re: Local pattern declarations in Curry (Do Nov 12 1998 - 16:18:11 CET)
- Re: Local pattern declarations in Curry (Mi Nov 11 1998 - 17:16:32 CET)
- Re: Local pattern declarations in Curry (Di Nov 10 1998 - 17:44:45 CET)
- Local pattern declarations in Curry (Mo Nov 09 1998 - 18:13:46 CET)
- Re: Suspending in or-nodes (Fr Nov 06 1998 - 09:45:56 CET)
- Re: Language changes: Committed choice (Mi Okt 28 1998 - 11:30:24 CET)
- Re: Language changes: Committed choice (Di Okt 27 1998 - 14:49:20 CET)
- Existential quantification in expressions (Fr Okt 23 1998 - 17:11:44 CEST)
- Re: Proposal for syntax changes in Curry (Fr Okt 23 1998 - 13:39:19 CEST)
- Re: Proposal for syntax changes in Curry (Fr Okt 23 1998 - 12:22:44 CEST)
- Proposal for syntax changes in Curry (Do Okt 22 1998 - 13:32:22 CEST)
- New TasteCurry System (Fr Aug 28 1998 - 17:24:54 CEST)
- Re: Status of this list (Do Aug 06 1998 - 16:37:09 CEST)
- Minutes of a meeting on Curry (Mi Mai 06 1998 - 18:41:20 CEST)
- Re: Curry's Constraint Syntax (Di Feb 10 1998 - 16:10:23 CET)
- Re: TasteCurry Bug (Di Feb 10 1998 - 12:43:46 CET)
- Updated Curry Report (Mi Feb 04 1998 - 17:42:41 CET)
- Re: Narrowing: yes or no? (Mo Jul 14 1997 - 13:24:46 CEST)
- Re: Narrowing: yes or no? [was Re: Narrowing vs. rewriting] (Mo Jul 14 1997 - 13:05:14 CEST)
- Re: killer apps (Mo Jul 14 1997 - 12:36:41 CEST)
- Re: Concurrency (Fr Jul 04 1997 - 17:41:49 CEST)
- Re: Narrowing vs. rewriting (Fr Jul 04 1997 - 14:20:45 CEST)
- Re: Narrowing: yes or no? [was Re: Narrowing vs. rewriting] (Fr Jul 04 1997 - 11:05:59 CEST)
- Re: Narrowing vs. rewriting (Do Jul 03 1997 - 18:29:43 CEST)
- Re: Curry design (Do Jul 03 1997 - 18:11:58 CEST)
- Narrowing vs. rewriting (Do Jul 03 1997 - 13:23:22 CEST)
- Re: Curry design (Do Jul 03 1997 - 13:14:06 CEST)
- Re: Curry design (Mi Jul 02 1997 - 18:57:23 CEST)
- Update on Curry report (Fr Jun 06 1997 - 18:32:41 CEST)
- Re: Comments from Madrid (Di Feb 04 1997 - 16:26:40 CET)
- Re: Comments from Madrid (Fr Jan 31 1997 - 13:58:00 CET)
- Re: Comments from Madrid (Fr Jan 24 1997 - 17:53:54 CET)
- Re: Language change proposal (Mo Jan 13 1997 - 16:22:48 CET)
- Re: Language change proposal (Di Jan 07 1997 - 15:18:28 CET)
- Re: Curry (Do Dez 19 1996 - 16:13:30 CET)
- Re: Curry (Mi Dez 18 1996 - 17:13:34 CET)
- Re: Curry mailing list (welcome) (Mo Dez 16 1996 - 15:50:58 CET)
- Draft Report on Curry (dvi,compressed) (Do Dez 05 1996 - 15:58:13 CET)
- Curry mailing list (welcome) (Do Dez 05 1996 - 15:57:20 CET)
- Michael Maher
- Moreno Falaschi
- Nikolay Orlyuk
- Oege.de.Moor_at_comlab.ox.ac.uk
- P M Hill
- Paco Lopez Fraguas
- Pedro López García
- pedro.lopez
- Petra Hofstedt (BTU)
- Philip Wadler
- Prof. Dr. Herbert Kuchen
- Rachid Echahed
- rinus plasmeijer
- Rusreg
- Salvador Lucas
- Salvador Tamarit
- Sandra Dylus
- Santiago Escobar
- scube-phd-grants_at_clip.dia.fi.upm.es
- Sebastian Fischer
- Sebastian Hanowski
- Sebastian Will
- seha_at_informatik.uni-kiel.de
- Sergio Antoy
- Simon L Peyton Jones
- Steffen Mazanek
- Sven Panne
- Victor L Winter
- vmcai10-announce_at_clip.dia.fi.upm.es
- Volker Wysk
- Wim Vanhoof
- Wolfgang Jeltsch
- Wolfgang Lux
- wrs06_at_redstar.cs.pdx.edu
- Yi D
- Yike Guo
- Yliès Falcone
- Гилмуллин Рушан
-
- Last message date: Fr Jul 28 2023 - 15:38:38 CEST
- Archived on: Do Feb 01 2024 - 07:15:13 CET