Categorical abstract machine: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 14:4114:41, 10 May 2022 Mlliarm talk contribs 3,120 bytes +39 →Further reading: Fixed broken link (archive.org) undo Tags: Mobile edit Mobile web edit
curprev 14:3814:38, 10 May 2022 Mlliarm talk contribs 3,081 bytes +4 →Further reading: Fixed broken link undo Tags: Mobile edit Mobile web edit

curprev 16:0016:00, 9 August 2021 ZI Jony talk contribs m 3,077 bytes −15 v2.04b - Fix errors for CW project (Link equal to linktext) undo Tag: WPCleaner

curprev 17:2217:22, 27 June 2021 Winter Aconite talk contribs 3,092 bytes +40 →Overview: Make clear that all three languages mentioned provide type inference; minor grammar and style fixes. undo

curprev 18:5018:50, 31 May 2017 Magic links bot talk contribs m 3,052 bytes +4 Replace magic links with templates per local RfC and MediaWiki RfC undo

curprev 18:3818:38, 20 May 2017 Me, Myself, and I are Here talk contribs m 3,048 bytes +6 →top: adjust bold undo

curprev 14:3014:30, 6 February 2017 Narky Blert talk contribs 3,042 bytes 0 Link to DAB page repaired undo

curprev 14:1914:19, 15 December 2016 Jayprich talk contribs 3,042 bytes +254 added links to OCaml and Caml which implemented the CAM undo

curprev 21:1321:13, 14 September 2016 206.168.43.185 talk 2,788 bytes −4 →Implementation: Fixed grammatical error. undo Tags: Mobile edit Mobile web edit

curprev 03:0703:07, 20 December 2015 AnomieBOT talk contribs m 2,792 bytes +19 Dating maintenance tags: {{How}} undo
curprev 01:0701:07, 20 December 2015 70.247.174.22 talk 2,773 bytes +7 preserves how? from the application level down to the underlying CAM base (guessing)? undo

curprev 16:1216:12, 5 January 2015 66.74.176.59 talk 2,766 bytes −10 edit undo

curprev 18:2318:23, 6 August 2014 Frietjes talk contribs m 2,776 bytes −23 cleanup (wikitables, html markup, layout, etc.) undo

curprev 21:3921:39, 1 November 2013 Jameshfisher talk contribs 2,799 bytes −4 →Overview undo

curprev 09:1609:16, 11 March 2013 Addbot talk contribs m 2,803 bytes −141 Bot: Migrating 2 interwiki links, now provided by Wikidata on d:q4217267 undo

curprev 09:4009:40, 17 December 2012 AnomieBOT talk contribs m 2,944 bytes +19 Dating maintenance tags: {{Refimprove}} undo
curprev 09:2009:20, 17 December 2012 Bgwhite talk contribs 2,925 bytes −613 Use proper template undo

curprev 12:3612:36, 27 April 2011 131.211.151.197 talk 3,538 bytes +64 Category:Implementation of functional programming languages undo

curprev 17:2217:22, 28 February 2011 Cydebot talk contribs m 3,474 bytes +1 Robot - Moving category Computational models to Models of computation per CFD at Wikipedia:Categories for discussion/Log/2011 February 19. undo

curprev 08:3708:37, 28 January 2011 FrescoBot talk contribs m 3,473 bytes −22 Bot: links syntax undo

curprev 18:1118:11, 29 November 2010 MathMaven talk contribs 3,495 bytes −46 Removed unnecessary tags undo
curprev 18:0518:05, 29 November 2010 MathMaven talk contribs 3,541 bytes −675 More work on that copy-edit undo
curprev 18:0018:00, 29 November 2010 MathMaven talk contribs 4,216 bytes +14 More work on that copy-edit undo
curprev 15:5815:58, 29 November 2010 MathMaven talk contribs 4,202 bytes +634 A copy-edit in general undo

curprev 06:2106:21, 10 September 2010 Furrykef talk contribs m 3,568 bytes 0 capitalization undo

curprev 17:3717:37, 22 May 2010 190.103.194.239 talk 3,568 bytes +27 De Bruijn notation link undo

curprev 04:1104:11, 20 May 2010 Derek Ross talk contribs m 3,541 bytes −2 tweak undo
curprev 04:1004:10, 20 May 2010 Derek Ross talk contribs m 3,543 bytes +3 needs copy editing undo

curprev 12:5412:54, 23 August 2009 VolkovBot talk contribs m 3,540 bytes +1 robot Modifying: uk:Категоріальна абстрактна машина undo

curprev 12:3312:33, 3 April 2009 Cícero talk contribs m 3,539 bytes −31 Undid revision 281489229 by Cícero (talk) undo
curprev 12:3112:31, 3 April 2009 Cícero talk contribs m 3,570 bytes +31 +Category:Combinatory logic undo

curprev 18:0318:03, 17 March 2009 Chalst talk contribs 3,539 bytes +70 →Further reading: +ln Wolfengagen undo

curprev 15:5815:58, 16 March 2009 ComputScientist talk contribs m 3,469 bytes −59 →Further reading: removed dead link undo

curprev 15:3915:39, 25 February 2009 Greenrd talk contribs m 3,528 bytes +32 tagged undo

curprev 17:2417:24, 16 January 2009 4th-otaku talk contribs 3,496 bytes −60 – Category:Lambda calculus, Category:Combinatory logic (superseded/narrowed by Category:Applicative computing systems) undo
curprev 16:5816:58, 16 January 2009 4th-otaku talk contribs 3,556 bytes −45 – Category:Theoretical computer science, Category:Theory of computation, Category:Formal methods (superseded-narrowed); + Category:Lambda calculus, Category:Combinatory logic undo

curprev 02:2902:29, 7 October 2008 165.84.1.71 talk 3,601 bytes −2 No edit summary undo

curprev 11:1211:12, 5 October 2008 DragonBot talk contribs m 3,603 bytes +67 robot Adding: uk:Категорiальна абстрактна машина undo

curprev 13:1213:12, 15 June 2008 62.212.105.93 talk 3,536 bytes +26 Links to SECD machine and Landin pages. undo

curprev 17:3917:39, 30 May 2008 Zoonfafer talk contribs m 3,510 bytes +1 →de Bruijn’s notation: sp.: faze -> phase undo

curprev 07:1907:19, 16 April 2008 Punto7 talk contribs 3,509 bytes +36 →See also undo

10 May 2022

9 August 2021

27 June 2021

31 May 2017

20 May 2017

6 February 2017

15 December 2016

14 September 2016

20 December 2015

5 January 2015

6 August 2014

1 November 2013

11 March 2013

17 December 2012

27 April 2011

28 February 2011

28 January 2011

29 November 2010

10 September 2010

22 May 2010

20 May 2010

23 August 2009

3 April 2009

17 March 2009

16 March 2009

25 February 2009

16 January 2009

7 October 2008

5 October 2008

15 June 2008

30 May 2008

16 April 2008

15 April 2008