1999-report.bib

@comment{{This file has been generated by bib2bib 1.97pl2}}
@comment{{Command line: bib2bib -oc 1999-report.cite -ob 1999-report.bib -c 'year = 1999 and topics : "team" and ($type="techreport" or $type="manual" or $type="mastersthesis")' /users/demons/filliatr/bibliodemons/abbrevs.bib /users/demons/filliatr/bibliodemons/demons.bib /users/demons/filliatr/bibliodemons/demons2.bib /users/demons/filliatr/bibliodemons/demons3.bib /users/demons/filliatr/bibliodemons/team.bib /users/demons/filliatr/bibliodemons/crossrefs.bib}}
@manual{CoqManual99,
  author = {B. Barras  and S. Boutin  and C. Cornes  and J. Courant and
          Y. Coscoy and D. Delahaye and D. de Rauglaudre and
          J.C. Filli\^atre and E. Gim\'enez and H. Herbelin and
          G. Huet and H. Laulh\`ere and P. Loiseleur and C. Mu{\~n}oz and
          C. Murthy and C. Parent and C. Paulin and A. Sa{\"\i}bi and
          B. Werner},
  title = {{The Coq Proof Assistant Reference Manual -- Version V6.3}},
  year = 1999,
  month = jul,
  type_publi = {manuel},
  topics = {team},
  note = {\url{http://coq.inria.fr/doc/main.html}},
  abstract = {http://coq.inria.fr/doc/main.html}
}
@manual{CoqTutorial99,
  author = {G.~Huet and G.~Kahn and Ch.~Paulin-Mohring},
  title = {The {\sf Coq} Proof Assistant - A tutorial - Version 6.3},
  month = jul,
  topics = {team},
  type_publi = {manuel},
  year = {1999},
  abstract = {http://coq.inria.fr/doc/tutorial.html}
}
@techreport{Cou99,
  author = {Judica\"el Courant},
  title = {{$\mathcal{MC}$: A module calculus for Pure Type Systems}},
  institution = {LRI},
  year = 1999,
  month = jun,
  type = {Research Report},
  number = 1217,
  type_publi = {interne},
  clef_labo = 1217,
  topics = {team},
  ps = {http://www.lri.fr/~jcourant/papers/thesis/main.ps}
}
@techreport{Filliatre99rr,
  author = {Jean-Christophe Filli\^atre},
  title = {{A theory of monads parameterized by effects}},
  institution = {{LRI, Universit\'e Paris Sud}},
  type = {{Research Report}},
  number = {1367},
  month = {November},
  year = 1999,
  url = {http://www.lri.fr/~filliatr/ftp/publis/monads.ps.gz},
  topics = {team, lri},
  type_publi = {interne}
}