User contributions for Elias
A user with 136 edits. Account created on 28 December 2005.
25 December 2019
- 06:5606:56, 25 December 2019 diff hist −213 m Talk:JavaScript syntax →This is not the JavaScript syntax is a very long description of the language: I just signed my comment
23 May 2019
- 11:4311:43, 23 May 2019 diff hist +27 m Talk:Tagged union →There are many misconceptions in this article
- 11:3911:39, 23 May 2019 diff hist +2,416 Talk:Tagged union →There are many misconceptions in this article: new section
8 August 2013
- 06:5306:53, 8 August 2013 diff hist +300 Talk:Glauber →Information missing in this article: new section
7 August 2013
- 21:5021:50, 7 August 2013 diff hist +96 Glauber No edit summary
- 20:3920:39, 7 August 2013 diff hist +324 Glauber →Bibliography
- 20:2020:20, 7 August 2013 diff hist +596 Glauber No edit summary
- 14:0914:09, 7 August 2013 diff hist +364 Glauber →Information representation (data structures)
- 14:0214:02, 7 August 2013 diff hist +1,219 Glauber →Procedures: edit backup not yet finished
6 August 2013
- 21:4921:49, 6 August 2013 diff hist −3 Glauber →Procedures
- 21:4621:46, 6 August 2013 diff hist +541 Glauber →Procedures: this is a partial description, I will delete it to work it apart, this is the first time that I use the new editor in beta version. Tag: Visual edit
- 21:1321:13, 6 August 2013 diff hist +441 Glauber →Procedures: backup of motification
- 20:4920:49, 6 August 2013 diff hist +184 Glauber →The Glauber method
- 20:3020:30, 6 August 2013 diff hist −269 Glauber →The Glauber method: backup of partial edit
- 20:2520:25, 6 August 2013 diff hist +1,447 Glauber Entering a new section with the new editor, save just for backup Tags: nowiki added Visual edit
31 March 2011
- 03:3703:37, 31 March 2011 diff hist +187 m Talk:Combinatory logic →Wrong title
- 03:3303:33, 31 March 2011 diff hist −36 m Combinatory logic I reverted the inclusion of Illative Combinatorial Logic, after reviewing Barendregt's Lambda Calculus book apendix b, ILC should be included apart. I leaved it in other categories as a reminder
30 March 2011
- 16:1216:12, 30 March 2011 diff hist 0 m Combinatory logic →Combinators B, C: I just changed the name of variables in B (composition) and C (flip) to highlight their function, the definitions were already correct.
- 15:5015:50, 30 March 2011 diff hist +642 m Talk:Combinatory logic →Wrong definition of T[ ] ?
- 15:0015:00, 30 March 2011 diff hist +167 m Talk:Combinatory logic →Wrong title
- 14:5214:52, 30 March 2011 diff hist +77 m Combinatory logic illative combinatory logic is other name of this logic, mentioned in Barendregt lambda calculus, already in the bibliography
24 March 2011
- 02:0802:08, 24 March 2011 diff hist +832 m Talk:Algebra of communicating processes →Is there a typo in the axioms?
23 March 2011
- 21:0821:08, 23 March 2011 diff hist +3 m Algebra of communicating processes →Formal definition: eliminated +x\vert y from the axiom, obviously it was an extra paste having no meaning. Also replaced the tau in ACP<sub><sub> because the latex \tau looks better than τ undistinguishable from tau in apple's browser.
- 20:5120:51, 23 March 2011 diff hist +536 m Talk:Algebra of communicating processes →Is there a typo in the axioms?
- 20:3420:34, 23 March 2011 diff hist −356 m Talk:Algebra of communicating processes →Is there a typo in the axioms?
- 19:3919:39, 23 March 2011 diff hist +718 m Talk:Algebra of communicating processes No edit summary
- 03:1303:13, 23 March 2011 diff hist +10 m Erlang (unit) →Extended Erlang B
- 03:0703:07, 23 March 2011 diff hist +24 m Erlang (unit) →Traffic measurements of a telephone circuit: Erlang name converted to link
- 00:5300:53, 23 March 2011 diff hist −112 m Map (higher-order function) →Generalization
- 00:4000:40, 23 March 2011 diff hist +506 m Talk:Map (higher-order function) →Map is neither a catamorphisen nor an anamorphism
22 March 2011
- 23:2623:26, 22 March 2011 diff hist +469 m Talk:Map (higher-order function) →Random heading
- 23:1023:10, 22 March 2011 diff hist +759 Map (higher-order function) →Generalization: introduced fmap signature and corrected the notion of generalized function as polytypic not polymorphic
17 March 2011
- 08:1508:15, 17 March 2011 diff hist −15 m Dataflow programming →History: minor, non destructive assignment is what was intended, so I changed "defined" to assigned because it is more clear.
9 March 2011
- 04:5804:58, 9 March 2011 diff hist +1,297 m Talk:Lisp (programming language) →Influenced: Lisp more influential for implementation
20 February 2011
- 17:2417:24, 20 February 2011 diff hist +455 Talk:Witch-hazel →Food uses should refer to culinary uses.: new section
14 February 2011
- 05:1705:17, 14 February 2011 diff hist +1,745 m Talk:Lisp (programming language) →Lisp based on lambda calculus?: It is right, Lisp is based on recursive functions not in lambda calculus.
- 04:1104:11, 14 February 2011 diff hist +2,418 m Talk:McCarthy Formalism →Request for expert
13 December 2010
- 03:2403:24, 13 December 2010 diff hist +25 m Talk:Confluence (abstract rewriting) →I am not a Wiki-LaTeX expert, but this code may work for the article
- 01:0301:03, 13 December 2010 diff hist +1,161 m Talk:Confluence (abstract rewriting) →suggestion: more suggestions
19 November 2010
- 22:2522:25, 19 November 2010 diff hist −290 m Talk:DNA →Franklin did not receive ...: I just deleted my automatic signature, I do not like such protagonism
- 22:2322:23, 19 November 2010 diff hist −290 m Talk:DNA →DNA as a blueprint is a misleading metaphor, that should be clarified: I do not like protagonism, I just deleted my automatic signature.
- 22:2022:20, 19 November 2010 diff hist +542 m Talk:DNA →Picture of Rosalind Franklin
- 22:0822:08, 19 November 2010 diff hist +3,101 Talk:DNA →DNA is not like a blueprint: I insist to pay more attention in this issue.
8 November 2010
- 18:5218:52, 8 November 2010 diff hist +2,455 Strudel Recipe added, please review the english. This recipe is based in one used in Vienna, but different form others that add one egg to the dough and do not use pecans
28 October 2010
- 11:1711:17, 28 October 2010 diff hist −32 Talk:Menudo (soup) →A clear recipe is needed
- 11:1711:17, 28 October 2010 diff hist +76 Talk:Menudo (soup) →A clear recipe is needed
- 11:0711:07, 28 October 2010 diff hist +172 Talk:Menudo (soup) →A clear recipe is needed: new section
- 11:0011:00, 28 October 2010 diff hist −288 Talk:Menudo (soup) →The name is menudo, the etymology of the name for the dish is wrong in the article
- 10:5610:56, 28 October 2010 diff hist +250 Talk:Menudo (soup) →Menudo on the Weekend?
- 10:5010:50, 28 October 2010 diff hist +1,066 Talk:Menudo (soup) →Is menudos considered a plural noun?: Some comments about the name