User contributions for DPMulligan

Search for contributionsshowhide

⧼contribs-top⧽

Username, IP address or CIDR range:

Namespace:

Invert selection

Associated namespace

Tag filter:

Invert selection

Only show edits that are latest revisions

Only show edits that are page creations

Hide minor edits

⧼contribs-date⧽

From date:

To date:

Show only edits pending review

Hide probably good edits

18:4318:43, 30 January 2012 diff hist +347 Talk:Wynd No edit summary

17:5217:52, 12 December 2010 diff hist 0 Dependent type →Comparison of languages with dependent types

13:4613:46, 3 November 2010 diff hist +38 Lambda cube Fixed incorrect claim regarding LF
13:4413:44, 3 November 2010 diff hist +19 User:DPMulligan No edit summary current

19:2919:29, 2 November 2010 diff hist +92 Talk:Lambda cube →LF isn't a system in the cube
19:2919:29, 2 November 2010 diff hist +250 Talk:Lambda cube No edit summary

12:1912:19, 23 August 2010 diff hist −779 m Ruth Deech, Baroness Deech Removed vandalism
11:5011:50, 23 August 2010 diff hist −822 Ruth Deech, Baroness Deech No edit summary
11:4811:48, 23 August 2010 diff hist −160 m Ruth Deech, Baroness Deech Removed uncited claim.

09:1909:19, 17 May 2010 diff hist +28 Unification (computer science) →Informal overview
09:1709:17, 17 May 2010 diff hist +493 Unification (computer science) Added lede, moved old introduction to informal description section.
09:0609:06, 17 May 2010 diff hist +27 Unification No edit summary

12:4812:48, 15 May 2010 diff hist +32 User:DPMulligan No edit summary

13:3313:33, 14 May 2010 diff hist +154 User:DPMulligan No edit summary
10:2310:23, 14 May 2010 diff hist −65 Talk:Nominal terms (computer science) No edit summary
10:2210:22, 14 May 2010 diff hist +149 User:DPMulligan No edit summary
10:1210:12, 14 May 2010 diff hist +792 Talk:Higher-order abstract syntax No edit summary
09:5909:59, 14 May 2010 diff hist +20 Nominal terms (computer science) Fixed disambiguation problem

21:1621:16, 13 May 2010 diff hist +1,108 Talk:Nominal terms (computer science) →Topic
21:1021:10, 13 May 2010 diff hist −32 m Nominal terms (computer science) No edit summary
21:0921:09, 13 May 2010 diff hist +32 Nominal techniques No edit summary
21:0821:08, 13 May 2010 diff hist −1,073 Nominal techniques No edit summary
20:5620:56, 13 May 2010 diff hist +138 Nominal terms (computer science) No edit summary
20:5520:55, 13 May 2010 diff hist +102 User:DPMulligan No edit summary
20:5420:54, 13 May 2010 diff hist +268 Nominal terms (computer science) →References
20:5120:51, 13 May 2010 diff hist +238 Nominal terms (computer science) →References
20:4820:48, 13 May 2010 diff hist +217 Nominal terms (computer science) →References
20:4320:43, 13 May 2010 diff hist +63 Nominal terms (computer science) →Relation with higher-order patterns
20:3920:39, 13 May 2010 diff hist −2 Nominal terms (computer science) →References
20:3920:39, 13 May 2010 diff hist +197 Nominal terms (computer science) →References
20:3720:37, 13 May 2010 diff hist +1,776 Nominal terms (computer science) →Relation with higher-order patterns
20:2520:25, 13 May 2010 diff hist −30 m Nominal terms (computer science) Removed Category:Computer science (using HotCat)
20:2520:25, 13 May 2010 diff hist +42 m Nominal terms (computer science) Adding category Category:Theoretical computer science (using HotCat)
20:2520:25, 13 May 2010 diff hist +1 Nominal terms (computer science) →References
20:2420:24, 13 May 2010 diff hist +219 Nominal terms (computer science) No edit summary
20:1820:18, 13 May 2010 diff hist 0 m Nominal terms (computer science) Adding category Category:Computer science; removed {{uncategorized}} (using HotCat)
20:1720:17, 13 May 2010 diff hist +1,456 Nominal terms (computer science) No edit summary
19:5619:56, 13 May 2010 diff hist +885 N Nominal terms (computer science) ←Created page with 'Nominal terms are a metalanguage for embedding object languages with binding constructs into. Intuitively, they may be seen as an extension of first-order term...'
19:4119:41, 13 May 2010 diff hist +225 User:DPMulligan No edit summary
19:3819:38, 13 May 2010 diff hist +159 Talk:Lambda calculus →What exactly is lambda calculus? I still don't know.
15:5515:55, 13 May 2010 diff hist +25 Unification (computer science) No edit summary
15:5315:53, 13 May 2010 diff hist +377 Unification (computer science) No edit summary
15:4915:49, 13 May 2010 diff hist +23 Unification (computer science) No edit summary
15:4615:46, 13 May 2010 diff hist 0 m Unification (computer science) No edit summary
15:4515:45, 13 May 2010 diff hist +103 Unification (computer science) No edit summary
15:3615:36, 13 May 2010 diff hist +77 Unification (computer science) No edit summary
15:3315:33, 13 May 2010 diff hist +508 User talk:Noamz No edit summary
15:2915:29, 13 May 2010 diff hist +88 Talk:Unification (computer science) →Reworking article
15:2915:29, 13 May 2010 diff hist +280 Talk:Unification (computer science) →Reworking article: new section
15:2715:27, 13 May 2010 diff hist +1,816 Unification (computer science) Reworked introduction.

30 January 2012

12 December 2010

3 November 2010

2 November 2010

23 August 2010

17 May 2010

15 May 2010

14 May 2010

13 May 2010