The Fox Project
FoxNet / Bibliography

This is a bibliography of research papers and reports related to the FoxNet and systems programming in Standard ML from the Fox project at Carnegie Mellon University. The BibTeX source is available. Papers with known URLs in the World-Wide Web have been annotated with their location and can be previewed or retrieved directly. Corrections, additions, and new URLs for papers and implementations are welcome.

Last updated: Fri May 4 2001

1. Edoardo Biagioni. A structured TCP in Standard ML. In Proceedings of the ACM SIGCOMM Conference on Communications Architectures, Protocols and Applications, pages 36-45, London, England, 1994. Available electronically (Abstract, Postscript).

2. Edoardo Biagioni, Ken Cline, Peter Lee, Chris Okasaki, and Chris Stone. Safe-for-space threads in Standard ML. In Olivier Danvy and Carolyn Talcott, editors, Proceedings of the ACM SIGPLAN Workshop on Continuations, Paris, France, January 1997. Available in special issue of Higher-Order and Symbolic Computation, 11(2):209-225, December 1998. Available electronically (Abstract, Postscript).

3. Edoardo Biagioni, Robert Harper, and Peter Lee. A network protocol stack in Standard ML. Submitted for publication to Higher-Order and Symbolic Computation. Available electronically (Abstract, PDF).

4. Edoardo Biagioni, Robert Harper, and Peter Lee. Standard ML signatures for a protocol stack. Technical Report CMU-CS-93-170, School of Computer Science, Carnegie Mellon University, October 1993. Available electronically (Abstract, Postscript).

5. Edoardo Biagioni, Robert Harper, and Peter Lee. Implementing software architectures in Standard ML (position paper). In Informal Proceedings of the ICSE Workshop on Research Issues in the Intersection of Software Engineering and Programming Languages, Seattle, Washington, April 1995. Available electronically.

6. Edoardo Biagioni, Robert Harper, Peter Lee, and Brian G. Milnes. Signatures for a network stack: A systems application of Standard ML. In Proceedings of the ACM Conference on LISP and Functional Programming, pages 55-64, Orlando, Florida, June 1994. ACM Press. Available electronically (Abstract, Postscript).

7. Edoardo S. Biagioni. Program verification for optimized byte copy. Technical Report CMU-CS-94-172, School of Computer Science, Carnegie Mellon University, July 1994. Available electronically (Abstract, Postscript).

8. Edoardo S. Biagioni. A structured TCP in Standard ML. Technical Report CMU-CS-94-171, School of Computer Science, Carnegie Mellon University, July 1994. Available electronically (Abstract, Postscript).

9. Edoardo S. Biagioni. Sequence types for functional languages. Technical Report CMU-CS-95-180, School of Computer Science, Carnegie Mellon University, August 1995. Available electronically (Abstract, Postscript).

10. Herb Derby. The performance of FoxNet 2.0. Technical Report CMU-CS-99-137, School of Computer Science, Carnegie Mellon University, June 1999. Available electronically (Abstract, Postscript).

11. Nicholas Haines, Edoardo Biagioni, Robert Harper, and Brian G. Milnes. Note on conditional compilation in Standard ML. Technical Report CMU-CS-93-172, School of Computer Science, Carnegie Mellon University, June 1993. Available electronically (Abstract, Postscript).

[ Home | Contact Information | Publications | Researchers ]
[ FoxNet | Typed Intermediate Languages | Proof-Carrying Code ]
[ Logical Frameworks | Staged Computation | Language Design ]

Fox_Project@cs.cmu.edu
http://www.cs.cmu.edu/~fox/