Edoardo S. Biagioni  Home/Search
Context Related
| cmu.edu/papers/esbsequences.ps cmu.edu/people/esb/p...esbsequences.ps cmu.edu/project/fox/...esbsequences.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: cmu.edu/project/fox/mosaic/peo... (more) From: cmu.edu/project/fox/mosa...papers (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The use of types such as arrays, lazy lists, and other sequential types in Standard ML and other advanced languages can be made as natural and useful as the use of lists. These types are collectively referred to as sequences. This report presents a sequence interface which can be satisfied by every sequence type regardless of the details of representation, laziness or eagerness, extensibility, and mutability of the specific data structure implementing the type. In addition, an implementation of ... (Update)
Context of citations to this paper: More
.... language is designed to hide the cost of executing particular operations , and fails to provide primitives for ecient access to memory [8] or hardware resources. In spite of these drawbacks, we decided to use SML NJ because of the fairly high eciency of generated code,...
Cited by: More
The Hello Operating System - Biagioni, Fu (Correct)
Active bibliography (related documents): More All
0.7: Symbolic Safety Analysis of Memory Accesses Within Loops - Christopher (Correct)
0.5: Warm Fusion for the Masses: Detailing Virtual Data.. - Johann, Launchbury (1997) (Correct)
0.3: TERSE: A Visual Environment for Supporting Analysis.. - Kawaguchi, Sakabe.. (1996) (Correct)
Similar documents based on text: More All
0.1: Agent surgery: The case for mutable agents - Boloni, Marinescu (Correct)
0.1: A Distributed Operational Semantics for a Parallel.. - Hidalgo-Herrero.. (2000) (Correct)
0.0: Genetic plasticity of V genes under somatic hypermutation.. - Oprea, Kepler (1999) (Correct)
BibTeX entry: (Update)
Edoardo S. Biagioni. Sequence Types for Functional Languages. Carnegie Mellon University Technical Report, CMU-CS-95-180, August 1995. http://citeseer.ist.psu.edu/biagioni95sequence.html More
@misc{ biagioni95sequence,
author = "E. Biagioni",
title = "Sequence Types for Functional Languages",
text = "Edoardo S. Biagioni. Sequence Types for Functional Languages. Carnegie
Mellon University Technical Report, CMU-CS-95-180, August 1995.",
year = "1995",
url = "citeseer.ist.psu.edu/biagioni95sequence.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
484 Common LISP: The Language (context) - Jr - 1990
476 Programming Language (context) - Kernighan, Ritchie - 1978
273 Can programming be liberated from the von Neumann style (context) - Backus - 1978
257 Report on the Programming Language Haskell (context) - Hudak, Peyton-Jones et al. - 1992
197 Revised report on the algorithmic language scheme - Rees, Clinger et al. - 1986
178 Standard ML of New Jersey - Appel, MacQueen - 1991
89 Systems Programming with Modula (context) - Nelson - 1991
65 Lisp and Symbolic Computation (context) - Appel, aren't - 1989
63 Tag-free garbage collection using explicit type parameters - Tolmach - 1994
31 Automatic transformation of series expressions into loops (context) - Waters - 1991
30 A structured TCP in Standard ML - Biagioni - 1994
27 Signatures for a network protocol stack -- a systems applica.. - Biagioni, Harper et al. - 1994
23 Garbage collection for strongly-typed languages using run-ti.. - Aditya, Flood et al. - 1994
20 Specification matching of software components - Zaremski, Wing
18 The history of LISP - McCarthy - 1978
17 Purely functional random-access lists - Okasaki - 1995
6 LARCH: Languages and Tools for Formal Specification (context) - Horning, Guttag - 1993
6 The history of FORTRAN (context) - Backus - 1978
4 Standard ML of New Jersey -- Base Environment (context) - AT - 1993
4 Obviously synchronizable series expressions: Part I: User's .. (context) - Waters - 1988
4 Obviously synchronizable series expressions: Part II: Overvi.. (context) - Waters - 1988
4 Technical Report CMU-CS-94-104 (context) - Harper, Lee et al. - 1994
3 CML: A higer-order concurrent language (context) - Reppy - 1991
2 Program verification for optimized byte copy - Biagioni - 1994
1 Technical Report TR (context) - Biagioni, for - 1988
Documents on the same site (http://foxnet.cs.cmu.edu/afs/cs.cmu.edu/project/fox/mosaic/people/esb/): More
A Structured TCP in Standard ML - Biagioni (1994) (Correct)
Signatures for a Network Protocol Stack: A Systems.. - Edoardo Biagioni (Correct)
Safe-for-Space Threads in Standard ML - Biagioni, Cline, Lee, Okasaki.. (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