User contributions
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 09:58, 17 July 2012 (diff | hist) . . (-1) . . m Template:Main/Events (Move "ICFP Programming Contest 2012" from →Upcoming Events: to →Recent Events)
- 11:41, 12 July 2012 (diff | hist) . . (0) . . m Template:Main/Events (swap order at the new inserted item)
- 11:39, 12 July 2012 (diff | hist) . . (+85) . . Template:Main/Events (ICFP Programming Contest 2012)
- 06:46, 10 December 2010 (diff | hist) . . (-6) . . m Arrow (Updating link)
- 12:21, 24 May 2009 (diff | hist) . . (-6) . . m Template:Main/Events (More relevant imformation emphasized)
- 12:20, 24 May 2009 (diff | hist) . . (-9) . . m Template:Main/Events (shorten)
- 12:19, 24 May 2009 (diff | hist) . . (+21) . . m Template:Main/Events (Capitalize)
- 12:19, 24 May 2009 (diff | hist) . . (-5) . . m Template:Main/Events (typo)
- 12:17, 24 May 2009 (diff | hist) . . (+87) . . Template:Main/Events (ICFP Programming Contest 2009)
- 21:34, 14 March 2009 (diff | hist) . . (+143) . . Chaitin's construction (``Workpage template'', warning about missing substantial details)
- 13:52, 5 July 2008 (diff | hist) . . (-1) . . m Chaitin's construction (grammar: singular)
- 13:46, 5 July 2008 (diff | hist) . . (+172) . . Chaitin's construction (→Eliminating any concept of code by handling combinatory logic terms directly: Domain of "normal form" partial function)
- 02:57, 17 June 2008 (diff | hist) . . (-6) . . m Template:Main/Events (rm year)
- 02:54, 17 June 2008 (diff | hist) . . (+10) . . Template:Main/Events (Rm redundance from date, giving hours instead)
- 02:51, 17 June 2008 (diff | hist) . . (0) . . Template:Main/Events (Swap two items)
- 02:50, 17 June 2008 (diff | hist) . . (+188) . . Template:Main/Events (ICFP Programming Contest 2008)
- 11:26, 13 August 2007 (diff | hist) . . (-2) . . m Zipper (mixed terms)
- 11:24, 13 August 2007 (diff | hist) . . (+223) . . Zipper (Moving from hole towards root is an independent idea)
- 21:00, 7 August 2007 (diff | hist) . . (+171) . . Relational algebra (→Other links: The λ Abroad. A Functional Approach To Software Components by Daniel Johannes Pieter Leijen)
- 20:28, 20 July 2007 (diff | hist) . . (+122) . . Zipper (Notion of "hole" mentioned)
- 21:48, 19 July 2007 (diff | hist) . . (-14) . . m Zipper ("plugging" means something different (it returns a (simple) tree, not a tree with focus), thus not mentioning it here)
- 21:35, 19 July 2007 (diff | hist) . . (+14) . . m Zipper ("plug" is used in the literature for filling the hole in)
- 09:39, 19 July 2007 (diff | hist) . . (+36) . . m Zipper (Agreement of number: both be plural, or both be singular)
- 09:26, 19 July 2007 (diff | hist) . . (+24) . . m Zipper (resolve another ambiguity, borders of scopes better expressed)
- 09:21, 19 July 2007 (diff | hist) . . (+8) . . m Zipper (resolve ambiguity)
- 09:17, 19 July 2007 (diff | hist) . . (+16) . . m Zipper (66-99-style quotation marks (“”), instead of ASCII-style "s)
- 09:02, 19 July 2007 (diff | hist) . . (+139) . . Zipper ("Mounting" a tree into a context: representation of tree with marked subtree (focus))
- 08:58, 19 July 2007 (diff | hist) . . (+12) . . m Zipper (syntax of image inserting)
- 08:56, 19 July 2007 (diff | hist) . . (+102) . . N File:Mount-op12cl-34.png (Subtree (1 2) "mounted" into context (@ (3 4)). Made by own hands with GIMP and LaTeX's qtree package.) (current)
- 08:55, 19 July 2007 (diff | hist) . . (+99) . . N File:Circum-op12cl-34.png (Tree ((1 2) (3 4)) with left subtree marked. Made by own hands with GIMP and LaTeX's qtree package.) (current)
- 08:49, 19 July 2007 (diff | hist) . . (+58) . . Zipper (Image: "mounting" subtree into context)
- 08:08, 19 July 2007 (diff | hist) . . (+147) . . Zipper (Mentionong, that solutions for binary trees, arbitrary-branches-trees can be regarded as special cases of a more general soution)
- 16:39, 17 July 2007 (diff | hist) . . (+139) . . m Zipper (→Automation: Add a similar paper)
- 13:58, 17 July 2007 (diff | hist) . . (+167) . . Zipper (→Comonads and monads: Another comonadic zipper article: Evaluating cellular automata is comonadic, part of Sigfpe's A Neighborhood of Infinity)
- 13:53, 17 July 2007 (diff | hist) . . (+617) . . Zipper (→Comonads and monads: related external links (Tarmo Uustalu's papers and an article from A Neighborhood of Infinity))
- 12:38, 17 July 2007 (diff | hist) . . (+3) . . m Zipper (better intro for a sentence)
- 12:36, 17 July 2007 (diff | hist) . . (+23) . . m Zipper (Using term "focus")
- 11:04, 17 July 2007 (diff | hist) . . (+92) . . Continuation (→External links: Continuations.html Continuations and delimited control)
- 11:01, 17 July 2007 (diff | hist) . . (+13) . . m Zipper (→Further reading: Scope of quotation)
- 10:59, 17 July 2007 (diff | hist) . . (+225) . . Continuation (→See also: extended to →Delimited continuation)
- 10:53, 17 July 2007 (diff | hist) . . (+1) . . m Zipper (→Further reading: typo)
- 10:52, 17 July 2007 (diff | hist) . . (-1) . . m Zipper (→Further reading: typo)
- 10:51, 17 July 2007 (diff | hist) . . (+216) . . Zipper (→Futher reading: , about the zippers and delimited continuations)
- 10:38, 17 July 2007 (diff | hist) . . (+88) . . Continuation (→See also: Delimited continuation, Zipper)
- 10:33, 17 July 2007 (diff | hist) . . (+19) . . m Zipper (→Application: There is a HaskellWiki article on delimited continuations, providing a link there)
- 11:56, 16 July 2007 (diff | hist) . . (+94) . . m Help:Editing ((1) Small stylistical correction (2) small conclusion/summary part)
- 19:04, 15 July 2007 (diff | hist) . . (+2) . . m Help:Editing (Long hyphen as symbol — and not as --)
- 17:13, 15 July 2007 (diff | hist) . . (+16) . . m Help:Editing (clarify)
- 17:11, 15 July 2007 (diff | hist) . . (+59) . . m Help:Editing (clarify)
- 17:07, 15 July 2007 (diff | hist) . . (-6) . . m Help:Editing (grammatical corrections)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)