Curry mailing list: by messages with attachments

CFP: RULE 2007 Workshop Victor L Winter (So Feb 11 2007 - 17:29:20 CET)
1. RULE_2007_CFP.pdf (36932 bytes)
curry on windows (was: encapsulated search) Claus Reinke (Di Mai 08 2007 - 20:04:57 CEST)
1. diff.txt (1459 bytes)
Re: curry on windows (was: encapsulated search) Claus Reinke (Mi Mai 09 2007 - 14:51:18 CEST)
1. diff.txt (2515 bytes)
Re: putting laziness back on the parallelized map Sergio Antoy (Do Mär 13 2008 - 20:36:44 CET)
1. Hanowski.curry (637 bytes)
First Call For Papers: PEPM'10 John Gallagher (Di Jun 16 2009 - 17:39:06 CEST)
1. smime.p7s (1925 bytes)
Re: beautiful non-determinism Sebastian Fischer (Di Jul 28 2009 - 10:19:34 CEST)
1. PGP.sig (164 bytes)
Re: MIU in Curry Sergio Antoy (Di Apr 23 2013 - 22:29:00 CEST)
1. s.curry (618 bytes)
Insertion Sort from Permutation Sort Sebastian Fischer (Mi Okt 16 2013 - 09:05:24 CEST)
1. permsort.curry (526 bytes)
Re: Insertion Sort from Permutation Sort Julio Mariño (Mo Sep 22 2014 - 17:24:27 CEST)
1. NaiveSort.curry (2145 bytes)
2. NaiveSort7.curry (1347 bytes)
3. NaiveSort2.curry (2637 bytes)
FLOPS 2016, Second CFP Michael Hanus (Mi Jul 22 2015 - 13:01:41 CEST)
1. signature.asc (182 bytes)
Final CFP: FLOPS 2016, International Symposium on Functional and Logic Programming Michael Hanus (Di Sep 01 2015 - 09:54:15 CEST)
1. signature.asc (182 bytes)
Re: PAKCS no longer builds with current SWI release Michael Hanus (Mi Sep 02 2015 - 11:11:16 CEST)
1. signature.asc (182 bytes)
Proposal: Simplifying Curry Michael Hanus (Do Okt 01 2015 - 13:45:36 CEST)
1. signature.asc (182 bytes)
Re: Random labeling options for CLPFD Michael Hanus (Mi Nov 04 2015 - 16:48:32 CET)
1. signature.asc (182 bytes)
Re: Random labeling options for CLPFD Michael Hanus (Do Nov 05 2015 - 14:04:00 CET)
1. signature.asc (182 bytes)
Re: Random labeling options for CLPFD Michael Hanus (Di Nov 10 2015 - 11:23:34 CET)
1. signature.asc (182 bytes)
Curry report updated to version 0.9.0 Michael Hanus (Mo Nov 16 2015 - 17:31:37 CET)
1. signature.asc (182 bytes)
Re: Curry-on to infinity Michael Hanus (Mo Dez 07 2015 - 16:48:12 CET)
1. signature.asc (182 bytes)
Re: Curry-on to infinity Michael Hanus (Di Dez 15 2015 - 15:44:34 CET)
1. signature.asc (182 bytes)
Re: Pull tabbing with variables Michael Hanus (Mo Dez 21 2015 - 17:46:58 CET)
1. signature.asc (182 bytes)
Re: OpenGL bindings for Curry? Michael Hanus (Di Jan 12 2016 - 09:26:07 CET)
1. signature.asc (182 bytes)
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)
1. signature.asc (182 bytes)
Call for Papers - 30th Workshop on Logic Programming (WLP 2016) Michael Hanus (Fr Apr 22 2016 - 19:58:19 CEST)
1. signature.asc (199 bytes)
Call for Papers: WFLP 2016 - Workshop on Functional and (Constraint) Logic Programming Michael Hanus (Di Mai 17 2016 - 21:03:16 CEST)
1. signature.asc (199 bytes)
2nd Call for Papers: WFLP 2016 - Update: EPTCS Proceedings Michael Hanus (Di Mai 31 2016 - 20:28:28 CEST)
1. signature.asc (199 bytes)
Re: Timing Curry programs Sandra Dylus (Fr Okt 20 2017 - 09:05:31 CEST)
1. signature.asc_ (861 bytes)
[curry] 2nd CFP WFLP Herbert Kuchen (Di Apr 02 2019 - 16:05:56 CEST)
1. smime.p7s (5502 bytes)
[curry] WFLP 2019 - Submission Deadline extended Herbert Kuchen (Di Jun 04 2019 - 12:47:12 CEST)
1. smime.p7s (5502 bytes)
[curry] Re: Recursion in Set Functions Andy Jost (So Jul 04 2021 - 21:32:56 CEST)
1. penalty.curry (1592 bytes)

Curry mailing list by messages with attachments