6 Dec 14:39 2014Moreno Falaschi
*First call for papers LOPSTR 2015 -- 25th International Symposium on L
27 Nov 19:23 2014Moreno Falaschi
*PPDP 2015: first call for papers
28 Oct 17:36 2014Michael Hanus
*Smap: Collecting small programs
29 Oct 00:10 2014David Powers
**Smap: Collecting small programs
29 Oct 13:24 2014Michael Hanus
***Smap: Collecting small programs
30 Oct 00:22 2014David Powers
****Smap: Collecting small programs
30 Oct 17:58 2014Michael Hanus
*****Smap: Collecting small programs
31 Oct 03:35 2014David Powers
******Smap: Collecting small programs
31 Oct 06:42 2014lausgans
******Eliminate Haskell obfuscisms (was Smap: Collecting small programs)
31 Oct 16:20 2014Michael Hanus
*******Eliminate Haskell obfuscisms (was Smap: Collecting small programs)
27 Oct 05:36 2014lausgans
*Some syntax sugar for logic programming
28 Oct 17:17 2014Michael Hanus
**Some syntax sugar for logic programming
31 Oct 06:16 2014lausgans
***Some syntax sugar for logic programming
31 Oct 15:48 2014Michael Hanus
****Some syntax sugar for logic programming
20 Oct 13:09 2014Michael Hanus
*RTA 2015 - First Call For Papers
11 Sep 13:19 2014German Vidal
*PhD position - Computer assisted validation in Erlang
13 Aug 09:45 2014Michael Hanus
*WLP/WFLP - Call for Participation - September 15-17
27 Jul 14:59 2014Jacob Johannsen
*PPDP 2014: Program and 2nd Call for Participation
16 Jul 14:05 2014Michael Hanus
*New KiCS2 release available
11 Aug 12:38 2014lausgans
**New KiCS2 release available
12 Aug 19:04 2014Michael Hanus
***New KiCS2 release available
12 Jul 00:05 2014Jacob Johannsen
*PPDP 2014 Call for Participation
28 Jun 19:47 2014Michael Hanus
*2nd CfP: WFLP 2014 - Workshop on Functional and (Constraint) Logic Pro
1 Jun 09:53 2014German Vidal
*LOPSTR 2014 - Extended Deadlines
14 May 10:26 2014Michael Hanus
*CFP: WFLP 2014 - Workshop on Functional and (Constraint) Logic Program
2 May 22:20 2014Jacob Johannsen
*PPDP 2014: 2nd Call for Papers
11 Apr 19:11 2014Jacob Johannsen
*PPDP 2014: Call for Papers
26 Mar 11:33 2014Yi D
*On the textual order of rules
27 Mar 14:19 2014Sebastian Fischer
**On the textual order of rules
27 Mar 14:41 2014Nikolay Orlyuk
**On the textual order of rules
27 Mar 15:08 2014Michael Hanus
***On the textual order of rules
27 Mar 17:40 2014Michael Hanus
**On the textual order of rules
27 Mar 20:40 2014Yi D
**On the textual order of rules
27 Feb 11:14 2014German Vidal
*[LOPSTR 2014] First Call for Papers
23 Nov 21:17 2013Larry D. Lee jr.
*Possible bug?
25 Nov 17:40 2013Michael Hanus
**Possible bug?
11 Nov 17:32 2013Michael Hanus
*CfP: ICLP 2014
16 Oct 09:05 2013Sebastian Fischer
*Insertion Sort from Permutation Sort
16 Oct 11:32 2013Julio Mariño
**Insertion Sort from Permutation Sort
16 Oct 12:36 2013Sebastian Fischer
***Insertion Sort from Permutation Sort
16 Oct 13:00 2013Michael Hanus
****Insertion Sort from Permutation Sort
22 Sep 17:24 2014Julio Mariño
*****Insertion Sort from Permutation Sort
5 Sep 11:21 2013Michael Hanus
*New survey on Curry and FLP
12 Aug 13:38 2013Michael Hanus
*Call for Participation: Kiel Declarative Programming Days 2013
8 Jul 14:47 2013Rachid Echahed
*PhD position in Grenoble (French Alps)
27 Jun 13:27 2013Michael Hanus
*Call for Papers: Kiel Declarative Programming Days 2013
14 Jun 10:44 2013Michael Hanus
*Call for Papers: WFLP/WLP 2013
28 Apr 17:51 2013Wolfgang Jeltsch
*MIU in Curry
29 Apr 10:07 2013Michael Hanus
**MIU in Curry
29 Apr 10:13 2013Wolfgang Lux
***MIU in Curry
27 Apr 21:26 2013Wolfgang Jeltsch
*blog article about Curry
29 Apr 10:09 2013Michael Hanus
**blog article about Curry
26 Apr 18:05 2013Wolfgang Jeltsch
*default search strategy of KiCS2
26 Apr 18:29 2013Michael Hanus
**default search strategy of KiCS2
24 Apr 12:04 2013Wolfgang Jeltsch
*cannot define operators
24 Apr 14:33 2013Wolfgang Lux
**cannot define operators
24 Apr 15:45 2013Michael Hanus
***cannot define operators
24 Apr 16:32 2013Björn Peemöller
**cannot define operators
23 Apr 19:48 2013Wolfgang Jeltsch
*MIU in Curry
23 Apr 22:29 2013Sergio Antoy
**MIU in Curry
24 Apr 12:27 2013Wolfgang Jeltsch
***MIU in Curry
24 Apr 20:50 2013Sergio Antoy
****MIU in Curry
26 Apr 04:28 2013Sebastian Fischer
****MIU in Curry
26 Apr 13:46 2013Wolfgang Jeltsch
*****MIU in Curry
26 Apr 18:38 2013Michael Hanus
******MIU in Curry
26 Apr 18:57 2013Wolfgang Jeltsch
*******MIU in Curry
24 Apr 10:17 2013Sebastian Fischer
**MIU in Curry
24 Apr 12:23 2013Wolfgang Jeltsch
***MIU in Curry
23 Apr 18:42 2013Wolfgang Jeltsch
*cannot define operators
20 Apr 22:02 2013Jeroen Ketema
*WRS 2013 - 2nd Call for Papers
19 Apr 21:35 2013Wolfgang Jeltsch
*function inversion and functional patterns
19 Apr 22:22 2013Michael Hanus
**function inversion and functional patterns
19 Apr 18:04 2013Michael Hanus
*findall resulting in strange message
19 Apr 12:34 2013Wolfgang Jeltsch
*findall resulting in strange message
19 Apr 14:19 2013Fabian Reck
**findall resulting in strange message
19 Apr 14:21 2013Michael Hanus
**findall resulting in strange message
19 Apr 17:17 2013Wolfgang Jeltsch
***findall resulting in strange message
19 Apr 18:28 2013Fabian Reck
****findall resulting in strange message
8 Apr 13:05 2013Jeroen Ketema
*WRS 2013 - Call for Papers
25 Mar 15:12 2013Michael Hanus
*Call for Papers: WFLP/WLP 2013
20 Jan 20:54 2013Sebastian Fischer
*Curry Crash Course
21 Jan 14:59 2013Michael Hanus
**Curry Crash Course
21 Jan 19:37 2013Sebastian Fischer
***Curry Crash Course
22 Jan 00:40 2013Sergio Antoy
****Curry Crash Course
22 Jan 09:42 2013Sebastian Fischer
*****Curry Crash Course
23 Jan 01:31 2013Sergio Antoy
******Curry Crash Course
23 Jan 14:02 2013Sebastian Fischer
*******Curry Crash Course
24 Jan 17:13 2013Michael Hanus
********Curry Crash Course
25 Jan 03:47 2013Sergio Antoy
*********Curry Crash Course
26 Jan 17:04 2013Michael Hanus
**********Curry Crash Course
13 Dec 15:50 2012Michael Hanus
*RTA 2013: 2nd CfP
12 Nov 17:53 2012Sergio Antoy
*courses on FLP
15 Oct 01:34 2012Sebastian Fischer
*"combinatorics ahoy!"
15 Oct 08:58 2012Sebastian Fischer
**"combinatorics ahoy!"
15 Oct 10:26 2012Jan Christiansen
**"combinatorics ahoy!"
11 Sep 17:50 2012Michael Hanus
*Curry report updated to version 0.8.3
23 Aug 12:53 2012Michael Hanus
*Update of the Curry report
12 Jul 15:36 2012Michael Hanus
*PhD position in declarative programming
12 Jul 15:33 2012Michael Hanus
*PhD position in declarative programming
17 Jun 20:23 2012Sebastian Fischer
*equality of partial applications