Pablo Nogueira http://www.google.com/search?q=Pablo+Nogueira 23rd September...  Home/Search
Context
Related
| babel.ls.fi.upm.es...gisteffects.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: babel.ls.fi.upm.es/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We explain the gist of how to attain side effects in pure functional programming languages via monads and unique types with input-output as a motivating example. Our vehicle for illustration is the strongly type-checked, pure, and non-strict functional language Haskell. The category-theoretical origins of monads are explained. Some basic notions of Category Theory are also presented in programming terms. We provide a list of suggested reading material in the references. (Update)
Active bibliography (related documents): More All
0.6: Polytypic Functional Programming and Data Abstraction - Iglesias (2006) (Correct)
0.3: Basic Category Theory for Models of Syntax - Crole (2002) (Correct)
0.3: Higher-Order Charity - Schroeder (1997) (Correct)
Similar documents based on text: More All
0.2: GistSumm: A Summarization Tool Based on a New Extractive Method - Pardo, Rino, Nunes (2003) (Correct)
0.2: OCELOT: A system for summarizing web pages - Vibhu (2000) (Correct)
0.2: Understanding Ecient Universal Functions for the -Calculus - Pablo Nogueira Babel (2001) (Correct)
BibTeX entry: (Update)
@misc{ http-gist,
author = "Pablo Nogueira Http",
title = "The Gist of Side Effects in Pure Functional Languages",
url = "citeseer.ist.psu.edu/731997.html" }
Citations (may not include all citations):369 Information and Computation (context) - Moggi, computation - 1991
333 Introduction to Functional Programming (context) - Bird, Wadler - 1988
236 Categories for the Working Mathematician (context) - MacLane - 1971
206 Why functional programming matters - Hughes - 1989
138 Functional Programming and Parallel Graph Rewriting (context) - Plasmeijer, Van Eekelen et al. - 1993
84 Basic Category Theory for Computer Scientists (context) - Pierce - 1991
41 Mathematical Structures in Computer Science (context) - Goguen, manifesto - 1991
30 International Series in Computer Science (context) - Bird, de Moor et al. - 1997
21 Kluwer Academic Publishers (context) - Levy, Functional et al. - 2004
14 Topoi: The Categorial Analysis of Logic (context) - Goldblatt - 1979
14 A gentle introduction to category theory --- the calculation.. (context) - Fokkinga - 1992
11 i and Giuseppe Longo. Categories, types, and structures: an .. (context) - Aspert - 1988
3 Number 28 in Cambridge Computer Science Texts (context) - Walters, Computer - 1991
2 Category theory (context) - Barr, Wells - 1999
1 An introduction to categories in computing (context) - Jay
1 st International Spring School on Advanced Functional Progra.. (context) - Jeuring, Meijer - 1995
1 International Series in Computer Science (context) - Reade, Functional - 1989
1 A categorical primer - Hillman - 2001
Documents on the same site (http://babel.ls.fi.upm.es/papers/): More
Lazy Narrowing in a Graph Machine - Moreno-Navarro, Kuchen, Loogen.. (1990) (Correct)
From Executable Specifications to Java - Herranz, Maya, Moreno-Navarro (2003) (Correct)
Efficient Implementation of General Negation Using.. - Munoz, Moreno.. (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC