Personal tools
Views

User contributions

From HaskellWiki

Jump to: navigation, search
Search for contributions 
 

(Latest | Earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500)

  • 23:54, 1 March 2006 (hist) (diff) m Dependent type‎ (Combinatory Logic as piped link)
  • 23:51, 1 March 2006 (hist) (diff) m Combinatory logic‎ (Dependent Types as piped link)
  • 20:10, 1 March 2006 (hist) (diff) Combinatory logic‎ (Implementing direct sum in CL in a continuation passing style way)
  • 18:14, 1 March 2006 (hist) (diff) m Combinatory logic‎ (Link from CombinatoryLogic back to DependentTypes (so the circular linking is established))
  • 18:10, 1 March 2006 (hist) (diff) Combinatory logic‎ (the ,,not'' operation on Booleans as example for usefulness of ordered pair (direct product) construct)
  • 17:50, 1 March 2006 (hist) (diff) m Combinatory logic‎ (Introducing the list-as-implementation-of-monad's-interface idea in a more clear way)
  • 17:47, 1 March 2006 (hist) (diff) m Combinatory logic‎ (Curry's deferred combinators are denoted by indexing AND parantheses)
  • 17:23, 1 March 2006 (hist) (diff) m Combinatory logic‎ (Missing space character inserted)
  • 17:19, 1 March 2006 (hist) (diff) Dependent type‎ (Links on Curry-Howard isomorphism added to ,,Concept'' section / ,,TypeTheory'' subsection)
  • 16:48, 1 March 2006 (hist) (diff) m Dependent type‎ (,,Illative'' misstype corrected)
  • 16:46, 1 March 2006 (hist) (diff) Dependent type‎ (Refining the structure: adding subsections ,,General'' to ,,Concept'', ,,Other Techniques'' to ,,Languages'')
  • 16:23, 1 March 2006 (hist) (diff) m Dependent type‎ (Using level 1 headlines for top-level structuring, according to HaskellWiki:Guidelines)
  • 16:12, 1 March 2006 (hist) (diff) m Future of Haskell‎ (possessive suffix)
  • 16:03, 1 March 2006 (hist) (diff) m Combinatory logic‎ (Link to a combinatory logic interpreter (Hungarian-language-documented, Haskell-implemented))
  • 15:27, 1 March 2006 (hist) (diff) m Dependent type‎ (Link to Combinatory Logic wiki page)
  • 15:25, 1 March 2006 (hist) (diff) Combinatory logic‎ (->Illative Combinatory Logic section with some dreams and a tutorial added)
  • 14:52, 1 March 2006 (hist) (diff) m Books‎ (nicer layout of the previously corrected link)
  • 14:47, 1 March 2006 (hist) (diff) m Books‎ (Correcting broken link to Jeroen Fokker's Functional Programming)
  • 14:30, 1 March 2006 (hist) (diff) m Dependent type‎ (table of contents)
  • 14:28, 1 March 2006 (hist) (diff) Dependent type‎
  • 14:18, 1 March 2006 (hist) (diff) m Future of Haskell‎ (Seamless link connections between the separate Dependent Types wikipage and Haskell Future page)
  • 14:00, 1 March 2006 (hist) (diff) 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 (hist) (diff) Dependent type‎ (The details of the Dependent Types item of Haskell Furure page has been moved here)
  • 13:28, 1 March 2006 (hist) (diff) 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 (hist) (diff) Combinatory logic‎ (Monadic programming in Combinatory Logic: the idea described and the most important prerequisits too)
  • 08:13, 1 March 2006 (hist) (diff) User:EndreyMark‎ (First reference -- also: creating it -- a CombinatoryLogic page)
  • 16:15, 28 February 2006 (hist) (diff) m Future of Haskell‎ (Plurality suffix added)
  • 16:10, 28 February 2006 (hist) (diff) Future of Haskell‎ (The concept of views provided by dependent types are not-forgetful: they ,,cannot lie'')
  • 15:03, 28 February 2006 (hist) (diff) 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 (hist) (diff) 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 (hist) (diff) m Books‎ (Referring to introductory category logic materials in the foreword part of the ,,Categorical Programming'' section)
  • 21:38, 27 February 2006 (hist) (diff) Books‎ (,,Categorical Programming'' section added after the ,,Separation of Concerns'' section: catamorphisms etc.)
  • 13:21, 27 February 2006 (hist) (diff) 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 (hist) (diff) Applications and libraries‎ (Restructuring ,,Cognitive Science'' section by lifting ,,Genetic Programming'' and ,,Natural Language Processing'' to its subsection level)
  • 12:13, 27 February 2006 (hist) (diff) Applications and libraries‎ (Adding Peter Ljunglöf's portal-like rich publication list to ,,Cognitive Science'' section, NLP subsection)
  • 11:56, 27 February 2006 (hist) (diff) Applications and libraries‎ (Context of the previously added article)
  • 11:51, 27 February 2006 (hist) (diff) 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 (hist) (diff) Books‎ (Adding new section ,,Separation of Concerns'', concerning AOP, containing arrows, attribute grammars, catamorhisms)
  • 10:34, 19 February 2006 (hist) (diff) User:EndreyMark‎ (link to the HaWIki personal page)
  • 12:48, 18 February 2006 (hist) (diff) Future of Haskell‎ (Connections between: (1) dependent types; (2) views; (3) combinator G of Illative Combinatory Logic)
  • 14:31, 16 February 2006 (hist) (diff) Future of Haskell‎ (Adding item on languages relating to dependent types: (1) Epigram (a language, and a radical platform for experimenting), (2) John Huges's article on extending Haskell with dependent types)
  • 00:20, 12 February 2006 (hist) (diff) Applications and libraries‎ (Tools, algorithms, frameworks concerning Cognitive Science == ,,Genetic Programming, AI, Natural Language Processing'' section renamed for ,,Cognitive Science'', + a new Genetic Algorithms item added)
  • 16:09, 10 February 2006 (hist) (diff) Applications and libraries‎ (Linking articles on the aplications of Haskell or combinatory logic in linguistics)
  • 12:42, 10 February 2006 (hist) (diff) Applications and libraries‎ (Adding ,,Shuffle'' (being a Haskell literate programming tool) to the ,,Program Dvelopment'' section's ,,Typesetting Haskell in TeX'' subsection)
  • 10:26, 10 February 2006 (hist) (diff) Applications and libraries‎ (Adding an ,,Attribute Grammar'' item to the ,, Compiler and compilation tools'' section)
  • 00:26, 10 February 2006 (hist) (diff) Applications and libraries‎ (Adding a ,, Genetic Programming, Artificial Intelligence, Natural Language Processing'' section with two paragraphs)
  • 22:40, 9 February 2006 (hist) (diff) m Applications and libraries‎ (GUI's section: wxFruit is _based_ on FRP and arrows and _implemented_ on top of wxHaskell)
  • 10:41, 9 February 2006 (hist) (diff) Applications and libraries‎ (Adding Fruit and wxFruit to the ,,Graphical User Interfaces'' section (mentioning as high-level GUI's))
  • 10:05, 9 February 2006 (hist) (diff) m Applications and libraries‎ (In Web/HTM/XML section, the exact webpage adress of Steve Van Hoyweghen's thesis is updated)
  • 09:52, 9 February 2006 (hist) (diff) m Applications and libraries‎ (Because of a superfluous space between opening bracket and the URL, the ,,[http://www.fh-wedel.de/~si/HXmlToolbox/ Haskell XML Toolbox]'' wiki-notation appeared unchanged in the HTML-page)

(Latest | Earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500)

Retrieved from "http://www.haskell.org/haskellwiki/Special:Contributions"