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