Barry Jay, Eugenio Moggi, Gianna Bellè  Home/Search
Context
Related
| uts.edu.au/~cbj/Pu...s_and_shapes.ps.gz wsinwp01.win.tue.nl:1234/WG...Jay.ps.gz uts.edu.au/~cbj/Pu...s_and_shapes.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: uts.edu.au/~cbj/Publicat...shapes (more) From: wsinwp01.win.tue.nl:1234/...index (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: r goals of generic programming. However, in pointing out minor differences, let us not forget the overwhelming unity of purpose that brings us together. FML supports a kind of functors F; G, as well as of types ø and type schema oe. The full type system is given by F; G ::= U j C j \Pi m i j F hGi n j ¯ m F ø ::= X j F (ø) j ø 1 ! ø 2 oe ::= ø j 8U : m:oe j 8X : T:oe : Each functor F has an arity m (written F : m), which indicates the number of type arguments it takes. The functors... (Update)
Active bibliography (related documents): More All
0.5: Fusion of Recursive Programs with Computational Effects - Pardo (2000) (Correct)
0.3: Costing Parallel Programs as a Function of Shapes - Jay (1999) (Correct)
0.2: Experiments with Generic Visitors - Palsberg, Jay, Noble (Correct)
Similar documents based on text: More All
0.5: Functorial ML - Belle, Jay, Moggi (1996) (Correct)
0.4: Monads, Shapely Functors and Traversals - Moggi, Bellè, Jay (1999) (Correct)
0.3: PolyLib - a library of polytypic functions - Jansson, Jeuring (1998) (Correct)
BibTeX entry: (Update)
@misc{ jay-functors,
author = "Barry Jay and Eugenio Moggi and Gianna Bellè",
title = "Functors, Types and Shapes",
url = "citeseer.ist.psu.edu/jay99functors.html" }
Citations (may not include all citations):129 A system of constructor classes: overloading and implicit hi.. - Jones - 1995
109 PolyP -- a polytypic programming language extension - Jansson, Jeuring - 1997
64 Science of Computer Programming (context) - Jay, for - 1995
61 Polytypic programming - Jeuring, Jansson - 1996
48 Merging monads and folds for functional programming - Meijer, Jeuring - 1995
48 Calculate Polytypically - Meertens - 1996
46 Journal of Functional Programming (context) - Jay, Belle et al. - 1998
39 The essence of the visitor pattern - Palsberg, Jay - 1997
31 Shapely types and shape polymorphism - Jay, Cockett - 1994
18 Functorial ML (context) - Belle, Jay et al. - 1996
18 Technical Report (context) - Cockett, Fukushima - 1992
15 Polynomial polymorphism - Jay - 1995
3 Polymorphism over nested regular arrays: theory and implemen.. - Jay, Steckler - 1998
2 Technical Report DISI-TR (context) - Moggi, Belle et al. - 1998
Documents on the same site (http://linus.socs.uts.edu.au/~cbj/Publications/shapes.html): More
The Essence of the Visitor Pattern - Palsberg, Jay (1997) (Correct)
Experiments with Generic Visitors - Palsberg, Jay, Noble (Correct)
Matrices, Monads and the Fast Fourier Transform - Jay (1993) (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