Higher-order abstract syntax: 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 18:5718:57, 4 January 2024 82.25.27.218 talk 9,379 bytes +20 No edit summary undo

curprev 17:0417:04, 22 August 2023 Citation bot talk contribs 9,359 bytes +44 Alter: title. Add: series, chapter. Removed parameters. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_toolbar undo

curprev 21:4721:47, 21 August 2023 24.187.172.87 talk 9,315 bytes +3 →Use in logical frameworks: Fix dynamic scope link undo

curprev 01:5201:52, 21 January 2023 Citation bot talk contribs 9,312 bytes +71 Add: url, s2cid. | Use this bot. Report bugs. | Suggested by Corvus florensis | #UCB_webform 301/1800 undo

curprev 09:4109:41, 3 July 2022 Felix QW talk contribs 9,241 bytes −4 Removing wikilink before disambiguating. undo Tag: 2017 wikitext editor

curprev 12:1312:13, 14 February 2022 2.27.23.144 talk 9,245 bytes −2 →Relation to first-order abstract syntax undo

curprev 10:4810:48, 21 December 2021 Alexey Muranov talk contribs 9,247 bytes +14 →Relation to first-order abstract syntax: fix a misunderstanding: the syntax is abstract, not the tree undo

curprev 00:3100:31, 4 November 2021 Cedar101 talk contribs m 9,233 bytes +117 →Use in logical frameworks: {{sxhl}} undo Tag: nowiki added

curprev 03:2403:24, 17 October 2021 JCW-CleanerBot talk contribs m 9,116 bytes −9 clean up, replaced: The Journal of Automated Reasoning → Journal of Automated Reasoning undo Tag: AWB

curprev 08:0408:04, 2 September 2021 Dale A Miller talk contribs m 9,125 bytes 0 →Use in logic programming: Fixed external url to a reference. undo

curprev 17:2417:24, 1 September 2021 Dale A Miller talk contribs 9,125 bytes +1,105 No edit summary undo

curprev 16:5516:55, 7 February 2021 Jonesey95 talk contribs 8,020 bytes +34 Fix Linter errors undo Tag: nowiki added

curprev 18:5118:51, 4 February 2021 2a02:810d:903f:e4b0:c4c9:470b:72f5:bce1 talk 7,986 bytes +295 elaborated on what example of HOAS in Twelf syntax concretely shows undo

curprev 18:2718:27, 4 June 2020 WillNess talk contribs 7,691 bytes +1 →Relation to first-order abstract syntax: add a comma undo Tag: 2017 wikitext editor

curprev 04:1204:12, 22 September 2019 Monkbot talk contribs m 7,690 bytes −9 →References: Task 16: replaced (3×) / removed (0×) deprecated |dead-url= and |deadurl= with |url-status=; undo Tag: AWB

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

curprev 01:5501:55, 20 February 2019 Citation bot talk contribs m 7,698 bytes +1 Alter: isbn, template type. | You can use this bot yourself. Report bugs here. | User-activated. undo

curprev 07:1107:11, 2 April 2017 InternetArchiveBot talk contribs 7,697 bytes +466 Rescuing 3 sources and tagging 0 as dead. #IABot (v1.3beta4) undo

curprev 17:3417:34, 31 May 2016 Dcirovic talk contribs m 7,231 bytes +23 →References: clean up using AWB undo

curprev 20:2020:20, 31 January 2016 BD2412 talk contribs m 7,208 bytes −15 →Implementation: Fixing links to disambiguation pages, replaced: graph{{dn|date=January 2016}} → graph using AWB undo
curprev 14:3914:39, 31 January 2016 BD2412 talk contribs m 7,223 bytes +24 →Implementation: Graph (mathematics) is now a disambiguation link; please fix., replaced: graph → graph{{dn|{{subst:DATE}}}} using AWB undo

curprev 08:4308:43, 18 December 2015 Yobot talk contribs m 7,199 bytes −12 →References: WP:CHECKWIKI error fixes using AWB (11757) undo

curprev 00:5400:54, 15 December 2014 Gilo1969 talk contribs 7,211 bytes +6 fix citation with wikilinks embedded in URL undo

curprev 12:3712:37, 3 April 2014 Nbarth talk contribs m 7,205 bytes 0 →top: better link undo

curprev 05:5205:52, 19 December 2013 BiT talk contribs 7,205 bytes +54 →See also undo

curprev 20:2220:22, 27 June 2012 Edward talk contribs m 7,151 bytes −36 link boilerplate code using Find link undo

curprev 10:2710:27, 3 March 2012 Pjoef talk contribs 7,187 bytes +15 Disambiguated: canonical → canonical form undo

curprev 22:3422:34, 26 January 2012 Sirmob talk contribs 7,172 bytes +22 →Use in logical frameworks: modify emphasis undo
curprev 22:3322:33, 26 January 2012 Sirmob talk contribs 7,150 bytes +37 →Use in logical frameworks: It was pointed out to me on Twitter that this paragraph wasn't particularly meaningful; I think this is an improvement. undo

curprev 12:5012:50, 1 June 2011 131.211.84.85 talk 7,113 bytes 0 Category:Programming language theory undo
curprev 12:5012:50, 1 June 2011 131.211.84.85 talk 7,113 bytes +84 Category:Dependently typed programming Category:Programming langauge theory undo
curprev 12:4712:47, 1 June 2011 131.211.84.85 talk 7,029 bytes +54 see also: Generalized algebraic data type undo

curprev 13:4313:43, 23 August 2010 SmackBot talk contribs m 6,975 bytes +18 Date maintenance tags and general fixes: build 472: undo
curprev 12:2112:21, 23 August 2010 Cybercobra talk contribs 6,957 bytes +16 no footnotes undo

curprev 08:0108:01, 10 April 2010 Auntof6 talk contribs 6,941 bytes +45 →References: Typo fixing and/or general cleanup using AWB undo

curprev 18:5218:52, 20 December 2009 RjwilmsiBot talk contribs m 6,896 bytes +4 →References: fixing page range dashes using Project:AWB undo

curprev 07:0807:08, 2 March 2009 75.2.139.211 talk 6,892 bytes −18 No edit summary undo

curprev 14:4214:42, 17 February 2009 Citation bot talk contribs m 6,910 bytes +27 Citation maintenance. Added: doi. You can use this bot yourself! Please report any bugs. undo

curprev 14:5014:50, 24 September 2008 JRB-Europe talk contribs m 6,883 bytes +4 Added hyperlink to mathematical object undo

curprev 11:5711:57, 26 November 2007 E-boy talk contribs m 6,879 bytes +1 →References: Fixed layout issue undo

curprev 07:3507:35, 25 November 2007 Dale A Miller talk contribs m 6,878 bytes −10 →References: Fixed the name of the category undo
curprev 07:3307:33, 25 November 2007 Dale A Miller talk contribs 6,888 bytes +41 →References: Added a second category for this article undo
curprev 07:2607:26, 25 November 2007 Dale A Miller talk contribs 6,847 bytes +558 →References: Added two references to earlier work on HOAS undo

curprev 10:1810:18, 6 July 2007 141.84.29.14 talk 6,289 bytes +17 →Use in logical frameworks: - reference boilerplate code, instead of just boilerplate undo

curprev 08:3208:32, 20 December 2006 SmackBot talk contribs m 6,272 bytes 0 ISBN formatting/gen fixes using AWB undo

curprev 04:4204:42, 12 November 2006 Pi Delport talk contribs 6,272 bytes +1,566 add sources undo

curprev 16:3916:39, 11 October 2006 E-boy talk contribs 4,706 bytes +61 restructured the text undo

curprev 20:0820:08, 28 September 2006 Sagaciousuk talk contribs 4,645 bytes −12 General clean up & fixes using AWB undo

curprev 12:5612:56, 26 June 2006 E-boy talk contribs m 4,657 bytes −14 improved typesetting of 'lambda' and 'exp -> exp' undo

curprev 22:5222:52, 9 September 2005 Ruud Koot talk contribs m 4,671 bytes −64 copyedit undo

4 January 2024

22 August 2023

21 August 2023

21 January 2023

3 July 2022

14 February 2022

21 December 2021

4 November 2021

17 October 2021

2 September 2021

1 September 2021

7 February 2021

4 February 2021

4 June 2020

22 September 2019

29 August 2019

20 February 2019

2 April 2017

31 May 2016

31 January 2016

18 December 2015

15 December 2014

3 April 2014

19 December 2013

27 June 2012

3 March 2012

26 January 2012

1 June 2011

23 August 2010

10 April 2010

20 December 2009

2 March 2009

17 February 2009

24 September 2008

26 November 2007

25 November 2007

6 July 2007

20 December 2006

12 November 2006

11 October 2006

28 September 2006

26 June 2006

9 September 2005