14 Jun 2013 10:44Michael Hanus
*Call for Papers: WFLP/WLP 2013
28 Apr 2013 17:51Wolfgang Jeltsch
*MIU in Curry
29 Apr 2013 10:07Michael Hanus
**MIU in Curry
29 Apr 2013 10:13Wolfgang Lux
***MIU in Curry
27 Apr 2013 21:26Wolfgang Jeltsch
*blog article about Curry
29 Apr 2013 10:09Michael Hanus
**blog article about Curry
26 Apr 2013 18:05Wolfgang Jeltsch
*default search strategy of KiCS2
26 Apr 2013 18:29Michael Hanus
**default search strategy of KiCS2
24 Apr 2013 12:04Wolfgang Jeltsch
*cannot define operators
24 Apr 2013 14:33Wolfgang Lux
**cannot define operators
24 Apr 2013 15:45Michael Hanus
***cannot define operators
24 Apr 2013 16:32Björn Peemöller
**cannot define operators
23 Apr 2013 19:48Wolfgang Jeltsch
*MIU in Curry
23 Apr 2013 22:29Sergio Antoy
**MIU in Curry
24 Apr 2013 12:27Wolfgang Jeltsch
***MIU in Curry
24 Apr 2013 20:50Sergio Antoy
****MIU in Curry
26 Apr 2013 04:28Sebastian Fischer
****MIU in Curry
26 Apr 2013 13:46Wolfgang Jeltsch
*****MIU in Curry
26 Apr 2013 18:38Michael Hanus
******MIU in Curry
26 Apr 2013 18:57Wolfgang Jeltsch
*******MIU in Curry
24 Apr 2013 10:17Sebastian Fischer
**MIU in Curry
24 Apr 2013 12:23Wolfgang Jeltsch
***MIU in Curry
23 Apr 2013 18:42Wolfgang Jeltsch
*cannot define operators
20 Apr 2013 22:02Jeroen Ketema
*WRS 2013 - 2nd Call for Papers
19 Apr 2013 21:35Wolfgang Jeltsch
*function inversion and functional patterns
19 Apr 2013 22:22Michael Hanus
**function inversion and functional patterns
19 Apr 2013 18:04Michael Hanus
*findall resulting in strange message
19 Apr 2013 12:34Wolfgang Jeltsch
*findall resulting in strange message
19 Apr 2013 14:19Fabian Reck
**findall resulting in strange message
19 Apr 2013 14:21Michael Hanus
**findall resulting in strange message
19 Apr 2013 17:17Wolfgang Jeltsch
***findall resulting in strange message
19 Apr 2013 18:28Fabian Reck
****findall resulting in strange message
8 Apr 2013 13:05Jeroen Ketema
*WRS 2013 - Call for Papers
25 Mar 2013 15:12Michael Hanus
*Call for Papers: WFLP/WLP 2013
20 Jan 2013 20:54Sebastian Fischer
*Curry Crash Course
21 Jan 2013 14:59Michael Hanus
**Curry Crash Course
21 Jan 2013 19:37Sebastian Fischer
***Curry Crash Course
22 Jan 2013 00:40Sergio Antoy
****Curry Crash Course
22 Jan 2013 09:42Sebastian Fischer
*****Curry Crash Course
23 Jan 2013 01:31Sergio Antoy
******Curry Crash Course
23 Jan 2013 14:02Sebastian Fischer
*******Curry Crash Course
24 Jan 2013 17:13Michael Hanus
********Curry Crash Course
25 Jan 2013 03:47Sergio Antoy
*********Curry Crash Course
26 Jan 2013 17:04Michael Hanus
**********Curry Crash Course
13 Dec 2012 15:50Michael Hanus
*RTA 2013: 2nd CfP
12 Nov 2012 17:53Sergio Antoy
*courses on FLP
15 Oct 2012 01:34Sebastian Fischer
*"combinatorics ahoy!"
15 Oct 2012 08:58Sebastian Fischer
**"combinatorics ahoy!"
15 Oct 2012 10:26Jan Christiansen
**"combinatorics ahoy!"
11 Sep 2012 17:50Michael Hanus
*Curry report updated to version 0.8.3
23 Aug 2012 12:53Michael Hanus
*Update of the Curry report
12 Jul 2012 15:36Michael Hanus
*PhD position in declarative programming
12 Jul 2012 15:33Michael Hanus
*PhD position in declarative programming
17 Jun 2012 20:23Sebastian Fischer
*equality of partial applications
18 Jun 2012 09:30Wolfgang Lux
**equality of partial applications
18 Jun 2012 09:53Sebastian Fischer
***equality of partial applications
18 Jun 2012 12:19Wolfgang Lux
****equality of partial applications
18 Jun 2012 12:37Sebastian Fischer
*****equality of partial applications
18 Jun 2012 13:31Wolfgang Lux
******equality of partial applications
18 Jun 2012 22:12Sebastian Fischer
*******equality of partial applications
19 Jun 2012 10:27Wolfgang Lux
********equality of partial applications
19 Jun 2012 15:30Wolfgang Lux
*********equality of partial applications
19 Jun 2012 19:27Sebastian Fischer
*********equality of partial applications
20 Jun 2012 21:01Sebastian Fischer
**********equality of partial applications
20 Jun 2012 18:09Michael Hanus
****equality of partial applications
18 Jun 2012 09:54Wolfgang Lux
***equality of partial applications
11 Jun 2012 12:50Michael Hanus
*CfP: 26th Workshop on Logic Programming
11 Jun 2012 08:22Karn Kallio
*PAKCS mccparser build with GHC 7.4.1
11 Jun 2012 12:28Michael Hanus
**PAKCS mccparser build with GHC 7.4.1
17 Nov 2012 17:29Larry D. Lee jr.
***Coding error?
17 Nov 2012 18:41Sergio Antoy
****Coding error?
18 Nov 2012 14:03Sebastian Fischer
****Coding error?
8 Jun 2012 10:19Santiago Escobar
*6th International School on Rewriting (ISR 2012) - Early registration
10 May 2012 16:22Santiago Escobar
*6th International School on Rewriting (ISR), Valencia, July 16-20, 201
10 May 2012 13:27Michael Hanus
*Final call for papers for TFPIE 2012
13 Apr 2012 14:53Santiago Escobar
*Last CfP: UNIF 2012 - 26th International Workshop on Unification
11 Apr 2012 15:01Sebastian Will
*[CFP] Call for Papers WCB12
5 Apr 2012 11:00Michael Hanus
*Call for Presentation of Work in Progress (Wip-WFLP 2012)
5 Apr 2012 10:46Michael Hanus
*Second call for papers TFPIE 2012
2 Apr 2012 12:38Santiago Escobar
*6th International School on Rewriting (ISR), July 16-20, 2012
6 Mar 2012 02:06Sebastian Fischer
*set functions and weak encapsulation
6 Mar 2012 06:53Sebastian Fischer
**set functions and weak encapsulation
6 Mar 2012 10:41Michael Hanus
***set functions and weak encapsulation
6 Mar 2012 13:09Sebastian Fischer
****set functions and weak encapsulation
6 Mar 2012 10:38Michael Hanus
**set functions and weak encapsulation
12 Mar 2012 09:39Wolfgang Lux
**set functions and weak encapsulation
12 Mar 2012 09:57Sebastian Fischer
***set functions and weak encapsulation
12 Mar 2012 10:32Wolfgang Lux
****set functions and weak encapsulation
12 Mar 2012 10:57Sebastian Fischer
*****set functions and weak encapsulation
12 Mar 2012 11:14Wolfgang Lux
******set functions and weak encapsulation
12 Mar 2012 11:23Sebastian Fischer
*******set functions and weak encapsulation
12 Mar 2012 12:14Michael Hanus
*****set functions and weak encapsulation
15 Feb 2012 09:07Michael Hanus
*WFLP2012: 2nd Call For Papers
9 Feb 2012 22:53Ernesto Pimentel Sánchez
*CfP: European Conference on Service-Oriented and Cloud Computing (ESOC
6 Feb 2012 18:07Michael Hanus
*TFPIE: Trends in Functional Programming in Education 2012
6 Feb 2012 16:35Michael Hanus
*PhD position in declarative programming
26 Jan 2012 01:03Isabelle Perseil
*CALL FOR PAPERS : UML&FM 2012
4 Jan 2012 12:00Michael Hanus
*LICS 2012 - Final Call for Papers
4 Jan 2012 16:34Manuel Hermenegildo
**LICS 2012 - Final Call for Papers -> OK
28 Nov 2011 08:23Herbert Kuchen
*CfP WFLP 2012