User contributions
From Clean
(newest | oldest) View (newer 250 | older 250) (20 | 50 | 100 | 250 | 500)
- 16:32, 23 November 2018 (diff | hist) . . (+33) . . N File:ConciseGuideToClean2xStdEnv.pdf (guide to Clean 2.x StdEnv modules) (current)
- 12:12, 5 July 2018 (diff | hist) . . (+229) . . ITasks
- 11:21, 1 November 2017 (diff | hist) . . (-217) . . ST Publications (→2012)
- 11:17, 1 November 2017 (diff | hist) . . (+152) . . ST Publications (→2017)
- 11:16, 1 November 2017 (diff | hist) . . (+10) . . ST Publications (→2016)
- 11:16, 1 November 2017 (diff | hist) . . (+16) . . ST Publications (→Table of Contents)
- 11:10, 1 November 2017 (diff | hist) . . (-32) . . ST Publications (→2013)
- 11:09, 1 November 2017 (diff | hist) . . (+32) . . ST Publications (→2013)
- 11:07, 1 November 2017 (diff | hist) . . (+1,966) . . ST Publications (→2016)
- 10:48, 1 November 2017 (diff | hist) . . (+10) . . ST Publications (→2015)
- 10:46, 1 November 2017 (diff | hist) . . (+16) . . ST Publications (→Table of Contents)
- 10:45, 1 November 2017 (diff | hist) . . (+276) . . ST Publications (→2015)
- 10:38, 1 November 2017 (diff | hist) . . (+197) . . ST Publications (→2014)
- 14:25, 29 January 2016 (diff | hist) . . (+78) . . m Functional Programming in Clean (→Part III: Software Engineering Aspects) (current)
- 14:23, 29 January 2016 (diff | hist) . . (+13) . . m Functional Programming in Clean (→Part I: Introduction to Functional Programming)
- 12:33, 8 June 2015 (diff | hist) . . (-33) . . ST Publications (→2015)
- 12:32, 8 June 2015 (diff | hist) . . (0) . . ST Publications (→2013)
- 12:32, 8 June 2015 (diff | hist) . . (-323) . . ST Publications (→2014)
- 12:31, 8 June 2015 (diff | hist) . . (+1,639) . . ST Publications (→2015)
- 12:25, 8 June 2015 (diff | hist) . . (+11) . . ST Publications (→2014)
- 12:23, 8 June 2015 (diff | hist) . . (+1,729) . . ST Publications (→2014)
- 12:13, 8 June 2015 (diff | hist) . . (+20) . . ST Publications
- 12:09, 8 June 2015 (diff | hist) . . (0) . . ST Publications (→Table of Contents)
- 12:08, 8 June 2015 (diff | hist) . . (+33) . . ST Publications (→Table of Contents)
- 12:07, 8 June 2015 (diff | hist) . . (+1,083) . . ST Publications (→2013)
- 12:01, 8 June 2015 (diff | hist) . . (+726) . . ST Publications (→2013)
- 11:58, 8 June 2015 (diff | hist) . . (+949) . . ST Publications (→2013)
- 11:52, 8 June 2015 (diff | hist) . . (-227) . . ST Publications (→2012)
- 16:48, 9 January 2014 (diff | hist) . . (+30) . . m ST Publications (→1986)
- 16:47, 9 January 2014 (diff | hist) . . (+135) . . m ST Publications (→1987)
- 16:46, 9 January 2014 (diff | hist) . . (+60) . . m ST Publications (→1988)
- 16:46, 9 January 2014 (diff | hist) . . (+60) . . m ST Publications (→1990)
- 16:45, 9 January 2014 (diff | hist) . . (+225) . . m ST Publications (→1991)
- 16:44, 9 January 2014 (diff | hist) . . (+255) . . m ST Publications (→1992)
- 16:42, 9 January 2014 (diff | hist) . . (+404) . . m ST Publications (→1993)
- 16:40, 9 January 2014 (diff | hist) . . (+180) . . m ST Publications (→1994)
- 16:38, 9 January 2014 (diff | hist) . . (+358) . . m ST Publications (→1995)
- 16:36, 9 January 2014 (diff | hist) . . (+87) . . m ST Publications (→1996)
- 16:34, 9 January 2014 (diff | hist) . . (+255) . . m ST Publications (→1997)
- 16:32, 9 January 2014 (diff | hist) . . (+60) . . m ST Publications (→1998)
- 16:31, 9 January 2014 (diff | hist) . . (+150) . . m ST Publications (→1999)
- 16:30, 9 January 2014 (diff | hist) . . (+165) . . m ST Publications (→2000)
- 16:28, 9 January 2014 (diff | hist) . . (+210) . . m ST Publications (→2001)
- 16:27, 9 January 2014 (diff | hist) . . (+390) . . m ST Publications (→2002)
- 16:24, 9 January 2014 (diff | hist) . . (+240) . . m ST Publications (→2003)
- 16:22, 9 January 2014 (diff | hist) . . (+540) . . m ST Publications (→2004)
- 16:18, 9 January 2014 (diff | hist) . . (+555) . . m ST Publications (→2005)
- 16:15, 9 January 2014 (diff | hist) . . (+195) . . m ST Publications (→2006)
- 16:13, 9 January 2014 (diff | hist) . . (+270) . . m ST Publications (→2007)
- 16:11, 9 January 2014 (diff | hist) . . (+525) . . m ST Publications (→2008)
- 16:06, 9 January 2014 (diff | hist) . . (+15) . . m ST Publications (→2009)
- 16:05, 9 January 2014 (diff | hist) . . (+135) . . m ST Publications (→2010)
- 16:03, 9 January 2014 (diff | hist) . . (+105) . . m ST Publications (→2011)
- 16:00, 9 January 2014 (diff | hist) . . (+15) . . m Documentation (→Libraries)
- 11:50, 15 July 2013 (diff | hist) . . (+74) . . ITasks (→Snapshot for CEFP 2013 Course)
- 11:49, 15 July 2013 (diff | hist) . . (+47) . . N File:Assignments answers.ppt (answers and explanations to the lab assignments) (current)
- 14:43, 12 July 2013 (diff | hist) . . (+3) . . ITasks (→Snapshot for CEFP 2013 Course)
- 14:42, 12 July 2013 (diff | hist) . . (+46) . . ITasks (→Snapshot for CEFP 2013 Course)
- 14:41, 12 July 2013 (diff | hist) . . (0) . . File:Ligretto framework.zip (uploaded a new version of "File:Ligretto framework.zip": completely worked out example implementation of Ligretto case study) (current)
- 13:32, 11 July 2013 (diff | hist) . . (0) . . File:TOP Part 2 CEFP 2013.ppt (uploaded a new version of "File:TOP Part 2 CEFP 2013.ppt": minor change: misspelled name) (current)
- 23:51, 10 July 2013 (diff | hist) . . (+177) . . ITasks (→Snapshot for CEFP 2013 Course)
- 23:47, 10 July 2013 (diff | hist) . . (+17) . . N File:TOP Part 2 CEFP 2013.ppt (slides lecture #2)
- 23:45, 10 July 2013 (diff | hist) . . (+17) . . N File:TOP Part 1 CEFP 2013.ppt (slides lecture #1) (current)
- 23:42, 10 July 2013 (diff | hist) . . (+65) . . ITasks (→Snapshot for CEFP 2013 Course)
- 23:35, 10 July 2013 (diff | hist) . . (0) . . File:Assignments.ppt (uploaded a new version of "File:Assignments.ppt": added tips at several places; changed assignment 6: more example functions in ligrettoTOP.icl, now you need to implement only the hand-rendering function) (current)
- 23:32, 10 July 2013 (diff | hist) . . (0) . . File:Ligretto framework.zip (uploaded a new version of "File:Ligretto framework.zip": fixed missing function (glue_style_atts) in ligrettoTOP.icl; added more html-rendering functions for illustration purposes.)
- 14:17, 10 July 2013 (diff | hist) . . (+118) . . ITasks (→Snapshot for CEFP 2013 Course)
- 22:55, 9 July 2013 (diff | hist) . . (+135) . . ITasks (→Snapshot for CEFP 2013 Course)
- 22:52, 9 July 2013 (diff | hist) . . (-2) . . ITasks (→Snapshot for CEFP 2013 Course)
- 22:51, 9 July 2013 (diff | hist) . . (+110) . . m ITasks (→Snapshot for CEFP 2013 Course)
- 22:48, 9 July 2013 (diff | hist) . . (+36) . . N File:Assignments.ppt (The assignments for the lab-sessions)
- 22:47, 9 July 2013 (diff | hist) . . (+89) . . N File:Ligretto case study.ppt (slides briefly explaining what the Ligretto game is about and what the framework contains) (current)
- 22:14, 9 July 2013 (diff | hist) . . (0) . . File:Ligretto framework.zip (uploaded a new version of "File:Ligretto framework.zip")
- 23:16, 8 July 2013 (diff | hist) . . (+130) . . ITasks (→Snapshot for CEFP 2013 Course)
- 23:10, 8 July 2013 (diff | hist) . . (+49) . . N File:Ligretto framework.zip (Incomplete framework for the Ligretto case study.)
- 10:29, 8 January 2013 (diff | hist) . . (+11) . . NL-FP dag 2013 (→Programma)
- 09:31, 25 September 2012 (diff | hist) . . (0) . . ST Publications (→2012)
- 09:27, 25 September 2012 (diff | hist) . . (+214) . . ST Publications (→2012)
- 09:17, 25 September 2012 (diff | hist) . . (+217) . . ST Publications (→2012)
- 09:09, 25 September 2012 (diff | hist) . . (+66) . . ST Publications (→2012)
- 17:28, 4 September 2012 (diff | hist) . . (+4) . . ST Publications (→2012)
- 17:28, 4 September 2012 (diff | hist) . . (+309) . . ST Publications (→2012)
- 17:25, 4 September 2012 (diff | hist) . . (-268) . . ST Publications (→2011)
- 15:08, 4 September 2012 (diff | hist) . . (-8) . . ST Publications (→2010)
- 15:06, 4 September 2012 (diff | hist) . . (+22) . . ST Publications (→2010)
- 15:04, 4 September 2012 (diff | hist) . . (+32) . . ST Publications (→2011)
- 15:00, 4 September 2012 (diff | hist) . . (+28) . . ST Publications (→2010)
- 14:44, 4 September 2012 (diff | hist) . . (-1) . . ST Publications (→2009)
- 14:43, 4 September 2012 (diff | hist) . . (-1) . . ST Publications (→2009)
- 14:39, 4 September 2012 (diff | hist) . . (+227) . . ST Publications (→2012)
- 14:37, 4 September 2012 (diff | hist) . . (+55) . . ST Publications (→2012)
- 14:35, 4 September 2012 (diff | hist) . . (+344) . . ST Publications (→2012)
- 14:32, 4 September 2012 (diff | hist) . . (-11) . . ST Publications (→2012)
- 14:31, 4 September 2012 (diff | hist) . . (+115) . . ST Publications (→2012)
- 14:29, 4 September 2012 (diff | hist) . . (+302) . . ST Publications (→2012)
- 10:02, 24 April 2012 (diff | hist) . . (+445) . . Events (→Upcoming events)
- 13:14, 23 April 2012 (diff | hist) . . (-10) . . m ST Publications (→2011)
- 13:13, 23 April 2012 (diff | hist) . . (+1,125) . . ST Publications (→2012)
- 13:17, 25 October 2011 (diff | hist) . . (+68) . . ST Publications (→2011: added info on IFL'10 paper Steffen Michels)
- 13:15, 25 October 2011 (diff | hist) . . (+118) . . ST Publications (→2011: added info on ISCRAM'11 paper Bas Lijnse)
- 13:14, 25 October 2011 (diff | hist) . . (+485) . . ST Publications (→2011: IFL'08 paper Bas Lijnse moved to here)
- 13:13, 25 October 2011 (diff | hist) . . (-452) . . ST Publications (→2009: removed IFL08 paper Bas Lijnse, to be moved to 2011)
- 13:12, 25 October 2011 (diff | hist) . . (+425) . . ST Publications (→2011: IFL'08 paper Pieter Koopman moved to here)
- 13:11, 25 October 2011 (diff | hist) . . (-392) . . ST Publications (→2009: removed IFL08 paper Pieter Koopman, to be moved to 2011)
- 13:10, 25 October 2011 (diff | hist) . . (+428) . . ST Publications (→2011: IFL'08 paper Jan Martin moved from 2009 to here)
- 13:08, 25 October 2011 (diff | hist) . . (-395) . . ST Publications (→2009: removed IFL08 paper Jan Martin Jansen, to be moved to 2011)
- 13:07, 25 October 2011 (diff | hist) . . (+268) . . ST Publications (→2011)
- 13:52, 12 August 2011 (diff | hist) . . (+72) . . ST Publications
- 13:51, 12 August 2011 (diff | hist) . . (+72) . . ST Publications
- 13:34, 12 August 2011 (diff | hist) . . (+81) . . ST Publications
- 13:33, 12 August 2011 (diff | hist) . . (+77) . . ST Publications
- 09:22, 28 April 2011 (diff | hist) . . (+1,402) . . ST Publications (→2011)
- 09:20, 28 April 2011 (diff | hist) . . (-205) . . m ST Publications (→2010)
- 21:49, 2 March 2011 (diff | hist) . . (-25) . . Download Clean (→Latest experimental release (for Haskell Front End))
- 12:20, 4 November 2010 (diff | hist) . . (+485) . . Documentation (added links to library documents)
- 14:07, 31 August 2010 (diff | hist) . . (-7) . . m Documentation (→Clean books)
- 12:50, 12 November 2009 (diff | hist) . . (-6,264) . . Publications
- 18:35, 14 March 2009 (diff | hist) . . (+5,399) . . Workflow examples
(newest | oldest) View (newer 250 | older 250) (20 | 50 | 100 | 250 | 500)
