C. B. Jay, H. Y. Lu, and Q.T. Nguyen University of Technology, Sydney, P.O....  Home/Search
Context
Related
| uts.edu.au/~cbj/Public...imperatives.ps 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/Publications/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The constructor calculus allows one to define generic operations on locations in terms of their primitive forms. The resulting assignment operation is performed in-place whenever this is reasonable, and allocates fresh memory otherwise. This approach has the potential to eliminate many of the space overheads associated with higher-order polymorphic languages. (Update)
Active bibliography (related documents): More All
0.2: The Pattern Calculus - Jay (2003) (Correct)
0.2: Distinguishing Data Structures and Functions: the Constructor.. - Jay (2001) (Correct)
0.2: The Constructor Calculus - Jay (2003) (Correct)
Similar documents based on text: More All
0.1: Functorial Lambda-Calculus - Jay School Of (Correct)
0.1: Polymorphism Over Nested Regular Arrays: Theory and.. - Jay, Steckler (1998) (Correct)
0.1: Functorial ML - Jay, Bellè, Moggi (1998) (Correct)
BibTeX entry: (Update)
@techreport{ jay00polymorphic,
author = "C. Barry Jay",
title = "The Polymorphic Imperative",
year = "2000",
url = "citeseer.ist.psu.edu/732348.html" }
Citations (may not include all citations):2157 Design Patterns: Elements of Reusable Object-Oriented Softwa.. (context) - Gamma, Helm et al. - 1995
257 force-calculation algorithm (context) - Barnes, Hut et al. - 1986
110 Eliminating array bound checking through dependent types - Xi, Pfenning - 1998
65 Proving the correctness of reactive systems using sized type.. - Hughes, Pareto et al. - 1996
39 The essence of the visitor pattern - Palsberg, Jay - 1998
14 Distinguishing data structures and functions: the constructo.. - Jay - 2001
7 Workshop on Generic Programming: Marstrand (context) - Backhouse, Sheard - 1998
1 http://www.cs.cmu.edu/ ~crary/tic00 (context) - ACM, on et al. - 2000
1 The constructor calculus - Jay - 2002
http://cm.bell-labs.com/cm/
Documents on the same site (http://www-staff.it.uts.edu.au/~cbj/Publications/): More
Shape Analysis for Parallel Computing - Jay (1995) (Correct)
The Pattern Calculus - Jay (2003) (Correct)
Partial Evaluation of Shaped Programs: Experience with FISh - Jay (1999) (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