Extracted from fox-bib.bib with
M-x bibtex-extract-matching-entries fox-bib.bib keywords foxnet
Fri May  4 18:46:29 UTC 2001

@Unpublished{Biagioni?hosc,
  author =       "Edoardo Biagioni and Robert Harper and Peter Lee",
  title =        "A Network Protocol Stack in {Standard ML}",
  note =         "Submitted for publication to {\em Higher-Order and
                 Symbolic Computation}",
  urlpdf =       "http://www.cs.cmu.edu/~rwh/papers/foxnet/final.pdf",
  urlabstract =  "http://www.cs.cmu.edu/~rwh/papers/foxnet/abstract.txt",
  keywords =     "foxnet",
}

@TechReport{Derby99tr137,
  author =       "Herb Derby",
  title =        "The Performance of {F}ox{N}et 2.0",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1999",
  number =       "CMU-CS-99-137",
  month =        jun,
  urlabstract =  "http://reports-archive.adm.cs.cmu.edu/anon/1999/abstracts/99-137.html",
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1999/CMU-CS-99-137.ps",
  keywords =     "foxnet",
}

@InProceedings{Biagioni97cw,
  author =       "Edoardo Biagioni and Ken Cline and Peter Lee and Chris
                 Okasaki and Chris Stone",
  title =        "Safe-for-Space Threads in {Standard ML}",
  editor =       "Olivier Danvy and Carolyn Talcott",
  booktitle =    "Proceedings of the {ACM} {SIGPLAN} Workshop on
                 Continuations",
  address =      "Paris, France",
  year =         "1997",
  month =        jan,
  note =	 "Available in special issue of {\em Higher-Order
		  and Symbolic Computation}, 11(2):209--225, December 1998",
  urlps =        "http://foxnet.cs.cmu.edu/papers/cokasaki-threads.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/cokasaki-threads.abstract",
  keywords =     "foxnet",
}

@TechReport{Biagioni95,
  author =       "Edoardo S. Biagioni",
  title =        "Sequence Types for Functional Languages",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1995",
  number =       "CMU-CS-95-180",
  month =        aug,
  urlps =        "http://foxnet.cs.cmu.edu/papers/esb-sequences.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/esb-sequences.abstract",
  keywords =     "foxnet",
}

@InProceedings{Biagioni95workshop,
  author =       "Edoardo Biagioni and Robert Harper and Peter Lee",
  title =        "Implementing Software Architectures in {S}tandard {ML}
                 (Position Paper)",
  booktitle =    "Informal Proceedings of the {ICSE} Workshop on
                 Research Issues in the Intersection of Software
                 Engineering and Programming Languages",
  year =         "1995",
  address =      "Seattle, Washington",
  month =        apr,
  urlps =        "http://foxnet.cs.cmu.edu/papers/icse17.ps",
  keywords =     "foxnet",
}

@InProceedings{Biagioni94sigcomm,
  author =       "Edoardo Biagioni",
  title =        "A Structured {TCP} in {Standard ML}",
  booktitle =    "Proceedings of the {ACM} {SIGCOMM} Conference on
                 Communications Architectures, Protocols and
                 Applications",
  address =      "London, England",
  pages =        "36--45",
  mon =          aug,
  year =         "1994",
  urlps =        "http://foxnet.cs.cmu.edu/papers/sigcomm94.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/sigcomm94.abstract",
  annote =       "Extended version available as~\cite{Biagioni94tr171}",
  keywords =     "foxnet",
}

@TechReport{Biagioni94tr172,
  author =       "Edoardo S. Biagioni",
  title =        "Program Verification for Optimized Byte Copy",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1994",
  number =       "CMU-CS-94-172",
  month =        jul,
  urlps =        "http://foxnet.cs.cmu.edu/papers/copy-proof.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/copy-proof.abstract",
  keywords =     "foxnet",
}

@TechReport{Biagioni94tr171,
  author =       "Edoardo S. Biagioni",
  title =        "A Structured {TCP} in {S}tandard {ML}",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1994",
  number =       "CMU-CS-94-171",
  month =        jul,
  urlps =        "http://foxnet.cs.cmu.edu/papers/esb-tcp-structure.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/esb-tcp-structure.abstract",
  keywords =     "foxnet",
}

@InProceedings{Biagioni94lfp,
  author =       "Edoardo Biagioni and Robert Harper and Peter Lee and
                 Brian G. Milnes",
  title =        "Signatures for a Network Stack: {A} Systems
                 Application of {Standard ML}",
  booktitle =    "Proceedings of the {ACM} Conference on {LISP} and
                 Functional Programming",
  publisher =    "ACM Press",
  year =         "1994",
  month =        jun,
  address =      "Orlando, Florida",
  pages =        "55--64",
  urlps =        "http://foxnet.cs.cmu.edu/papers/lfp-signatures.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/lfp-signatures.abstract",
  keywords =     "foxnet",
}

@TechReport{Biagioni93,
  author =       "Edoardo Biagioni and Robert Harper and Peter Lee",
  title =        "{Standard ML} Signatures for a Protocol Stack",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1993",
  number =       "CMU-CS-93-170",
  month =        oct,
  urlps =        "http://foxnet.cs.cmu.edu/papers/esb-signatures.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/esb-signatures.abstract",
  keywords =     "foxnet",
}

@TechReport{Haines93,
  author =       "Nicholas Haines and Edoardo Biagioni and Robert Harper
                 and Brian G. Milnes",
  title =        "Note on Conditional Compilation in {Standard ML}",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1993",
  number =       "CMU-CS-93-172",
  month =        jun,
  urlps =        "http://foxnet.cs.cmu.edu/papers/haines-conditional.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/haines-conditional.abstract",
  keywords =     "foxnet",
}