John Hughes, Lars Pareto  Home/Search
Context Related
Links: DBLP | cs.chalmers.se/~pareto/icfp99.ps md.chalmers.se/~pareto/icfp99.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: cs.chalmers.se/~pareto/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a functional language with a type system such that well typed programs run within stated space-bounds. The language is a strict, first-order variant of ML with constructs for explicit storage management. The type system is a variant of Tofte and Talpin's region inference system to which the notion of sized types, of Hughes, Pareto and Sabry, has been added. (Update)
Cited by: More
Using Ambients to Control Resources - Teller, Zimmer, Hirschkoff (2002) (Correct)
Generating Heap-bounded Programs in a - Functional Setting Walid (Correct)
Similar documents (at the sentence level):
43.1%: Recursion and Dynamic Data-structures in Bounded.. - Hughes, Pareto (1999) (Correct)
Active bibliography (related documents): More All
0.2: Sized Types for Typing Eden Skeletons - Peña, Segura (Correct)
0.2: The Space Usage Problem: An Evaluation Kit for.. - Bakewell, Runciman (2000) (Correct)
0.0: Program Modules, Separate Compilation, and Intermodule Optimisation - Elsman (Correct)
Similar documents based on text: More All
0.2: A Comparison Between Erlang and C++ for Implementation of.. - Aronsson, Grafström (1995) (Correct)
0.2: The concurrent functional programming language Erlang - An Overview - Sahlin (1996) (Correct)
0.2: A Parallel and Multithreaded ERLANG Implementation - Hedqvist (1998) (Correct)
Related documents from co-citation: More All
19: Proving the correctness of reactive systems using sized types - Hughes, Pareto et al. - 1996
13: Resource bound certification - Crary, Weirich - 2000
12: A Type System for Bounded Space and Functional In-Place Update - Hofmann - 2000
BibTeX entry: (Update)
J. Hughes and L. Pareto. Recursion and dynamic data structures in bounded space: towards embedded ml programming. In Proc. ICFP '99, 1999. to appear. http://citeseer.ist.psu.edu/hughes99recursion.html More
@inproceedings{ hughes99recursion,
author = "John Hughes and Lars Pareto",
title = "Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded {ML} Programming",
booktitle = "International Conference on Functional Programming",
pages = "70-81",
year = "1999",
url = "citeseer.ist.psu.edu/hughes99recursion.html" }
Citations (may not include all citations):242 Concurrent programming in erlang - Armstrong, Virding et al. - 1993
235 The synchronous dataflow programming language Lustre - Halbwachs, Caspi et al. - 1991
218 The Mechanical Evaluation of Expressions (context) - Landin - 1964
164 A practical algorithm for exact array dependence analysis (context) - Pugh - 1992 ACM DBLP
65 Proving the correctness of reactive systems using sized type.. - Hughes, Pareto et al. - 1996 ACM DBLP
54 Programming with regions in the ML Kit - Tofte, Birkedal et al.
5 Chalmers University of Technology (context) - Pareto, types et al. - 1998
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.chalmers.se/~pareto/):
Proving the Correctness of Reactive Systems Using Sized Types - Hughes, Pareto, Sabry (1996) (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