The Fox Project: Advanced Development of Systems Software

The Fox Project: Advanced Development of Systems Software (1991)

Cached

Download Links

[www.cs.cmu.edu]

by Eric Cooper , Robert Harper , Peter Lee

Citations:

23 - 3 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	The Fox Project: Advanced Development of Systems Software	user correction - Legacy Corrections
AUTHOR NAME	Eric Cooper	SVM HeaderParse 0.1
AUTHOR AFFIL	School of Computer Science; Carnegie Mellon University	SVM HeaderParse 0.2
AUTHOR ADDR	Pittsburgh, PA 15213	SVM HeaderParse 0.1
AUTHOR NAME	Robert Harper	SVM HeaderParse 0.1
AUTHOR AFFIL	School of Computer Science; Carnegie Mellon University	SVM HeaderParse 0.2
AUTHOR ADDR	Pittsburgh, PA 15213	SVM HeaderParse 0.1
AUTHOR NAME	Peter Lee	SVM HeaderParse 0.1
AUTHOR AFFIL	School of Computer Science; Carnegie Mellon University	SVM HeaderParse 0.2
AUTHOR ADDR	Pittsburgh, PA 15213	SVM HeaderParse 0.1
ABSTRACT	The Fox project will use an advanced programming language to build software such as operating systems, network protocols, and distributed systems. The goals of the project are to improve the design and construction of real systems software and to further the development of advanced programming languages. We will base our work on Standard ML, a modern functional programming language that provides polymorphism, first-class functions, exception handling, garbage collection, a parameterized module system, static typing, and formal semantics. The Fox project spans a wide range of research interests, from experimental systems building to type theory, and involves several faculty members. This research was sponsored by the Air Force Systems Command and the Defense Advanced Research Projects Agency (DARPA) under Contract F19628-91-C-0128. The views and conclusionscontained in this document are those of the authors and should not be interpreted as representing the official policies, either expr...	user correction - Legacy Corrections
YEAR	1991	INFERENCE
VENUE TYPE	TECHREPORT	INFERENCE
TECH	Technical Report CMU-CS-91-178	INFERENCE
CITATIONS	37 found	ParsCit 1.0