Jump to content

Lambda lifting: 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 20:2820:28, 8 November 2023‎ OAbot talk contribs‎ m 74,875 bytes +20‎ Open access bot: doi updated in citation with #oabot. undo

curprev 06:1706:17, 1 December 2022‎ JamesTMartin talk contribs‎ m 74,855 bytes +24‎ Subsection "Logical inconsistency" in Deductive lambda calculus renamed to "Inconsistency with the Principle of Bivalence"; fix link to section. undo Tag: 2017 wikitext editor

curprev 11:1111:11, 22 March 2022‎ SpiralSource talk contribs‎ 74,831 bytes +49‎ No edit summary undo Tags: Mobile edit Mobile app edit Android app edit

curprev 07:1807:18, 14 October 2021‎ RDBrown talk contribs‎ 74,782 bytes +151‎ →‎External links: →Cite web undo
curprev 03:5703:57, 14 October 2021‎ RDBrown talk contribs‎ 74,631 bytes +346‎ Tweak cites undo

curprev 09:0009:00, 29 September 2021‎ Cedar101 talk contribs‎ m 74,285 bytes +26‎ →‎Build parameter lists: cell templates undo

curprev 17:1117:11, 6 August 2021‎ Sietse Snel talk contribs‎ 74,259 bytes +93‎ adjust citation to show book title; add authors, year undo

curprev 10:5810:58, 1 August 2021‎ Jarble talk contribs‎ m 74,166 bytes +4‎ link function pointer using Find link undo

curprev 11:2811:28, 5 April 2021‎ Hellacioussatyr talk contribs‎ 74,162 bytes +38‎ →‎Anonymous lift: Italics undo Tag: 2017 wikitext editor
curprev 11:2511:25, 5 April 2021‎ Hellacioussatyr talk contribs‎ 74,124 bytes −20‎ →‎Let expressions and lambda calculus: html table instead of latex undo Tag: 2017 wikitext editor

curprev 00:5000:50, 30 January 2021‎ Monkbot talk contribs‎ m 74,144 bytes +1‎ Task 18 (cosmetic): eval 4 templates: hyphenate params (1×); undo Tag: AWB

curprev 04:5404:54, 11 December 2020‎ Monkbot talk contribs‎ m 74,143 bytes −18‎ Task 18 (cosmetic): eval 4 templates: del empty params (2×); undo Tag: AWB

curprev 18:0318:03, 11 May 2020‎ DannyS712 bot talk contribs‎ m 74,161 bytes +72‎ Task 70: Update syntaxhighlight tags - remove use of deprecated <source> tags undo Tag: AWB

curprev 06:3906:39, 1 May 2020‎ Briandamgaard talk contribs‎ m 74,089 bytes 0‎ "are similar in that they to allow the local definition of a function, for for use in a restricted scopr" -> "are similar in that they too allow the local definition of a function for use in a restricted scope" undo

curprev 14:1414:14, 27 January 2020‎ 192.41.132.1 talk‎ 74,089 bytes −4‎ Removed link undo

curprev 04:4904:49, 9 August 2019‎ Gparker talk contribs‎ m 74,093 bytes +1‎ →‎Lamba-lift transformation undo

curprev 11:4411:44, 11 October 2018‎ The Anome talk contribs‎ 74,092 bytes +35‎ Category:Compiler construction undo Tag: Visual edit
curprev 11:4211:42, 11 October 2018‎ The Anome talk contribs‎ 74,057 bytes 0‎ →‎Named Lift: casing of subhead undo Tag: Visual edit
curprev 11:4111:41, 11 October 2018‎ The Anome talk contribs‎ 74,057 bytes +19‎ beta reduction undo Tag: 2017 wikitext editor
curprev 11:2511:25, 11 October 2018‎ Texvc2LaTeXBot talk contribs‎ m 74,038 bytes +278‎ Replacing deprecated latex syntax mw:Extension:Math/Roadmap undo

curprev 15:2215:22, 22 July 2018‎ Zoren.dk talk contribs‎ 73,760 bytes 0‎ →‎Example undo

curprev 18:2118:21, 8 November 2017‎ 152.1.137.158 talk‎ 73,760 bytes +1‎ →‎Let expressions and lambda calculus: ~~~~ fixed commas. undo

curprev 00:4800:48, 6 September 2017‎ Cedar101 talk contribs‎ m 73,759 bytes −28‎ →‎Execution: \begin{cases} undo
curprev 00:4300:43, 6 September 2017‎ Cedar101 talk contribs‎ m 73,787 bytes +58‎ →‎Examples: style="white-space: nowrap;" undo
curprev 00:4200:42, 6 September 2017‎ Cedar101 talk contribs‎ m 73,729 bytes +58‎ →‎Choosing named and anonymous functions for lifting: style="white-space: nowrap;" undo
curprev 00:4200:42, 6 September 2017‎ Cedar101 talk contribs‎ m 73,671 bytes +58‎ →‎Choosing anonymous functions only for lifting: style="white-space: nowrap;" undo

curprev 09:0009:00, 3 September 2017‎ John of Reading talk contribs‎ m 73,613 bytes +1‎ →‎Lambda dropping in lambda calculus: Typo fixing, replaced: Lamda → Lambda using AWB undo

curprev 03:4203:42, 6 March 2017‎ 93.216.207.164 talk‎ 73,612 bytes −16‎ fix link undo
curprev 03:4103:41, 6 March 2017‎ 93.216.207.164 talk‎ 73,628 bytes −1‎ FIFO does not make sense here to me, it's probably LIFO undo

curprev 16:5816:58, 13 November 2016‎ Pintoch talk contribs‎ m 73,629 bytes −6‎ change |id={{citeseerx}} to |citeseerx= using AWB undo

curprev 20:5520:55, 16 September 2016‎ 164.52.229.114 talk‎ 73,635 bytes +19‎ No edit summary undo

curprev 08:0308:03, 28 August 2016‎ Fitindia talk contribs‎ m 73,616 bytes +3‎ clean up, typo(s) fixed: For example → For example, (3) using AWB undo

curprev 14:2014:20, 14 August 2016‎ 109.110.66.155 talk‎ 73,625 bytes +4‎ →‎Lambda lifting versus closures: C++1* is likely not modern enough for the previous writer. undo

curprev 14:5414:54, 7 August 2016‎ Finlay McWalter talk contribs‎ 73,621 bytes −4‎ per WP:REDNOT, "A redlink to a person's name should be avoided" undo

curprev 15:1815:18, 25 July 2016‎ Bender235 talk contribs‎ m 73,625 bytes +1‎ →‎External links: clean up; http->https (see this RfC) using AWB undo

curprev 14:5614:56, 7 April 2016‎ 217.10.52.10 talk‎ 73,624 bytes −72‎ No edit summary undo

curprev 00:5200:52, 4 February 2016‎ Pmdboi talk contribs‎ 73,696 bytes −1‎ →‎Example: fix indentation undo

curprev 10:2210:22, 29 August 2015‎ The Anome talk contribs‎ 73,697 bytes 0‎ →‎Anonymous Lift: -- casing of title undo

curprev 23:1323:13, 28 August 2015‎ Dexbot talk contribs‎ m 73,697 bytes +208‎ Bot: Deprecating Template:Cite doi and some minor fixes undo

curprev 22:0722:07, 8 May 2015‎ Phil Boswell talk contribs‎ 73,489 bytes −267‎ convert dodgy URL to ID; fix up refs using AWB undo

curprev 21:1121:11, 5 May 2015‎ The Anome talk contribs‎ 73,756 bytes +4‎ adding links undo

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