Jump to content

Programming Computable Functions: Revision history

View logs for this page (view filter log)

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 08:0008:00, 30 January 2023‎ OAbot talk contribs‎ m 8,748 bytes +63‎ Open access bot: doi added to citation with #oabot. undo

curprev 21:0521:05, 30 September 2022‎ Lexi.lambda talk contribs‎ 8,685 bytes +259‎ Convert most general references to inline citations undo

curprev 08:4908:49, 24 May 2022‎ Apanatshka talk contribs‎ m 8,426 bytes +125‎ Added a url to the cited chapter of the Mitchell book undo

curprev 09:1809:18, 22 November 2021‎ Wint7 talk contribs‎ 8,301 bytes +50‎ Adding local short description: "A typed functional language", overriding Wikidata description "typed functional language" (Shortdesc helper) undo

curprev 04:4604:46, 13 September 2021‎ OAbot talk contribs‎ m 8,251 bytes +80‎ Open access bot: hdl added to citation with #oabot. undo

curprev 18:4418:44, 6 July 2021‎ OAbot talk contribs‎ m 8,171 bytes +62‎ Open access bot: doi added to citation with #oabot. undo

curprev 21:4921:49, 29 March 2021‎ Citation bot talk contribs‎ 8,109 bytes −33‎ Removed parameters. | Use this bot. Report bugs. | Suggested by Abductive | via #UCB_webform 548/875 undo

curprev 17:5717:57, 23 March 2021‎ Effleurager talk contribs‎ m 8,142 bytes −5‎ Copy-editing undo Tag: Visual edit

curprev 00:5200:52, 18 October 2020‎ Tom.Reding talk contribs‎ m 8,147 bytes +4‎ Category:CS1 errors: deprecated parameters (last-author-amp=y/yes → name-list-style=amp; etc.) undo Tag: AWB

curprev 12:3212:32, 30 September 2020‎ Citation bot talk contribs‎ 8,143 bytes +270‎ Add: url. | You can use this bot yourself. Report bugs here. | Suggested by SemperIocundus | via #UCB_webform undo

curprev 16:2016:20, 21 May 2020‎ Omnipaedista talk contribs‎ 7,873 bytes −4‎ No edit summary undo

curprev 08:2008:20, 13 December 2019‎ Citation bot talk contribs‎ m 7,877 bytes +23‎ Alter: journal, issue. Add: chapter-url, issue. Removed or converted URL. Formatted dashes. Some additions/deletions were actually parameter name changes.| You can use this bot yourself. Report bugs here.| Activated by User:Nemo bis | via #UCB_webform undo

curprev 20:3620:36, 4 November 2019‎ Rich Farmbrough talk contribs‎ m 7,854 bytes −4‎ →‎References: Cite cleanup undo

curprev 04:2304:23, 28 September 2019‎ Monkbot talk contribs‎ m 7,858 bytes −15‎ →‎References: Task 16: replaced (1×) / removed (0×) deprecated |dead-url= and |deadurl= with |url-status=; undo Tag: AWB

curprev 20:3220:32, 29 August 2019‎ Bender the Bot talk contribs‎ m 7,873 bytes +1‎ →‎References: HTTP → HTTPS for Carnegie Mellon CS, replaced: http://www.cs.cmu.edu/ → https://www.cs.cmu.edu/ undo Tag: AWB

curprev 17:3117:31, 8 November 2018‎ InternetArchiveBot talk contribs‎ 7,872 bytes +277‎ Rescuing 1 sources and tagging 0 as dead. #IABot (v2.0beta10) (Smasongarrison) undo

curprev 23:3523:35, 29 August 2018‎ Smasongarrison talk contribs‎ m 7,595 bytes −4‎ re-categorisation per CFD undo Tag: AWB

curprev 22:2922:29, 1 April 2018‎ InternetArchiveBot talk contribs‎ 7,599 bytes +43‎ Rescuing 1 sources and tagging 0 as dead. #IABot (v1.6.5) undo

curprev 01:0501:05, 29 March 2017‎ 24.85.232.10 talk‎ 7,556 bytes +30‎ →‎Denotational semantics undo

curprev 09:3809:38, 4 February 2017‎ Dimadick talk contribs‎ 7,526 bytes +13‎ →‎External links undo

curprev 13:0113:01, 25 November 2016‎ Βασίλης talk contribs‎ m 7,513 bytes +455‎ Misreference, wording, references undo

curprev 14:5714:57, 4 November 2016‎ Klbrain talk contribs‎ 7,058 bytes −60‎ Removing stale merge proposal from July 2013; no case made, no support over more than 3 years, case for merge is not obvious undo

curprev 13:3313:33, 20 June 2016‎ Dcirovic talk contribs‎ 7,118 bytes +12‎ refs undo

curprev 05:3905:39, 5 June 2016‎ Dcirovic talk contribs‎ m 7,106 bytes +48‎ →‎References: refs using AWB undo

curprev 15:2215:22, 28 April 2016‎ 129.215.91.146 talk‎ 7,058 bytes −3‎ →‎References undo

curprev 17:4317:43, 20 April 2016‎ Ricardohz talk contribs‎ 7,061 bytes +3‎ fixed reference to Plotkin (1997) in introduction undo

curprev 22:2022:20, 18 March 2016‎ BG19bot talk contribs‎ m 7,058 bytes −1‎ →‎Denotational semantics: Remove blank line(s) between list items per WP:LISTGAP to fix an accessibility issue for users of screen readers. Do WP:GENFIXES and cleanup if needed. Discuss this at [[Wikipedia talk:WikiProject Accessibility#L... undo

curprev 17:4617:46, 4 October 2014‎ Rjwilmsi talk contribs‎ 7,059 bytes +36‎ →‎References: 10.1016/0304-3975(93)90095-b undo

curprev 06:0906:09, 2 September 2013‎ Vegaswikian talk contribs‎ 7,023 bytes +39‎ Disambiguated: Theoretical Computer Science → Theoretical Computer Science (journal) undo

curprev 00:1500:15, 25 May 2013‎ Greenrd talk contribs‎ m 6,585 bytes +23‎ Disambiguated: Y combinator → Fixed-point combinator#Y combinator undo

curprev 20:2420:24, 18 November 2012‎ Consider42 talk contribs‎ 6,562 bytes +6‎ No edit summary undo

curprev 12:1712:17, 24 May 2012‎ 129.175.29.6 talk‎ 6,556 bytes +32‎ →‎Denotational semantics: More beautiful brackets. undo

curprev 11:2011:20, 15 September 2011‎ Ruud Koot talk contribs‎ 6,524 bytes +22‎ group=note undo

curprev 13:2613:26, 4 September 2011‎ AugPi talk contribs‎ m 6,502 bytes +16‎ link: "typed" --> type system undo

curprev 02:5702:57, 11 July 2011‎ Khazar talk contribs‎ m 6,486 bytes −21‎ clean up, removed stub tag using AWB undo

curprev 18:0818:08, 6 May 2011‎ Arjayay talk contribs‎ m 6,507 bytes +1‎ Sp - Refered > Referred undo

curprev 17:5117:51, 25 February 2011‎ Ruud Koot talk contribs‎ 6,506 bytes +38‎ Category:1977 in computer science undo
curprev 16:4016:40, 25 February 2011‎ Ruud Koot talk contribs‎ 6,468 bytes +729‎ copyedit undo
curprev 16:1416:14, 25 February 2011‎ Ruud Koot talk contribs‎ 5,739 bytes +72‎ No edit summary undo
curprev 16:1316:13, 25 February 2011‎ Ruud Koot talk contribs‎ m 5,667 bytes 0‎ moved Programming language for Computable Functions to Programming Computable Functions undo

curprev 17:0817:08, 12 February 2011‎ Ruud Koot talk contribs‎ 5,667 bytes +47‎ Category:Educational programming languages undo
curprev 17:0517:05, 12 February 2011‎ Ruud Koot talk contribs‎ m 5,620 bytes +4‎ →‎Denotational semantics: lk undo

curprev 00:0000:00, 24 July 2010‎ Imz talk contribs‎ m 5,616 bytes +3‎ →‎Denotational semantics: +wikilink undo

curprev 05:0205:02, 23 August 2009‎ Functor salad talk contribs‎ 5,613 bytes +52‎ add source reference undo
curprev 04:5304:53, 23 August 2009‎ Functor salad talk contribs‎ 5,561 bytes +1,283‎ quick sketch of denotational semantics undo

Retrieved from "https://en.wikipedia.org/wiki/Programming_Computable_Functions"