User contributions
Jump to navigation
Jump to search
- 14:18, 1 March 2006 diff hist -12 m Future of Haskell Seamless link connections between the separate Dependent Types wikipage and Haskell Future page
- 14:00, 1 March 2006 diff hist -1,284 Future of Haskell Moving the details of the Dependent Types item to a separate DependentTyes wikipage, leaving only a link and an abstract-like short description here
- 13:56, 1 March 2006 diff hist +1,759 N Dependent type The details of the Dependent Types item of Haskell Furure page has been moved here
- 13:28, 1 March 2006 diff hist +20 User:EndreyMark Creating a separate page for Dependent types, for being able to move Haskell Furure's dependent type details there
- 13:15, 1 March 2006 diff hist +7,383 N Combinatory logic Monadic programming in Combinatory Logic: the idea described and the most important prerequisits too
- 08:13, 1 March 2006 diff hist +53 User:EndreyMark First reference -- also: creating it -- a CombinatoryLogic page
- 16:15, 28 February 2006 diff hist +1 m Future of Haskell Plurality suffix added
- 16:10, 28 February 2006 diff hist +172 Future of Haskell The concept of views provided by dependent types are not-forgetful: they ,,cannot lie''
- 15:03, 28 February 2006 diff hist +248 m Future of Haskell Updating a broken link to the Views Proposal, adding a new link on views and mentioning its relatedness to dependent types. Adding an IMHO-phrase to the section on dependent types and Illative CL
- 14:31, 28 February 2006 diff hist +439 Future of Haskell Using formulas to express correspondance between dependent types (of Epigram) and G combinator of Illative Combinatory Logic
- 22:12, 27 February 2006 diff hist +246 m Books Referring to introductory category logic materials in the foreword part of the ,,Categorical Programming'' section
- 21:38, 27 February 2006 diff hist +621 Books ,,Categorical Programming'' section added after the ,,Separation of Concerns'' section: catamorphisms etc.
- 13:21, 27 February 2006 diff hist +245 Applications and libraries Adding a portal-like rich material list on Exact Computation (Exact Real Arithmetic) to ,,Numerical algorithms and mathematics'' section
- 12:43, 27 February 2006 diff hist +219 Applications and libraries Restructuring ,,Cognitive Science'' section by lifting ,,Genetic Programming'' and ,,Natural Language Processing'' to its subsection level
- 12:13, 27 February 2006 diff hist +261 Applications and libraries Adding Peter Ljunglöf's portal-like rich publication list to ,,Cognitive Science'' section, NLP subsection
- 11:56, 27 February 2006 diff hist +60 Applications and libraries Context of the previously added article
- 11:51, 27 February 2006 diff hist +148 Applications and libraries Adding Gordon J. Pace' ,,Monadic Compositional Parsing with Contex Using Maltese as a Case Studyt'' to ,,Cognitive Science'' section, ,,Natural Language Processing'' subsection
- 08:46, 27 February 2006 diff hist +2,028 Books Adding new section ,,Separation of Concerns'', concerning AOP, containing arrows, attribute grammars, catamorhisms
- 10:34, 19 February 2006 diff hist +62 N User:EndreyMark link to the HaWIki personal page
- 12:48, 18 February 2006 diff hist +535 Future of Haskell Connections between: (1) dependent types; (2) views; (3) combinator G of Illative Combinatory Logic