BibTeX records: Raphaël Montelatici

• > Home > Persons > Raphaël Montelatici

@phdthesis{DBLP:phd/hal/Montelatici07,
  author       = {Rapha{\"{e}}l Montelatici},
  title        = {Langages fonctionnels, typage et interop{\'{e}}rabilit{\'{e}}
                  : Objective Caml sur .NET. (Functional languages, typing and interoperability:
                  Objective Caml on .NET)},
  school       = {Paris Diderot University, France},
  year         = {2007},
  url          = {https://tel.archives-ouvertes.fr/tel-00154790},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/hal/Montelatici07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0705-1458,
  author       = {Emmanuel Chailloux and
                  Gr{\'{e}}goire Henry and
                  Rapha{\"{e}}l Montelatici},
  title        = {Mixing the Objective Caml and C{\#} Programming Models in the .Net
                  Framework},
  journal      = {CoRR},
  volume       = {abs/0705.1458},
  year         = {2007},
  url          = {http://arxiv.org/abs/0705.1458},
  eprinttype    = {arXiv},
  eprint       = {0705.1458},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0705-1458.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tsi/ChaillouxHM05,
  author       = {Emmanuel Chailloux and
                  Gr{\'{e}}goire Henry and
                  Rapha{\"{e}}l Montelatici},
  title        = {Interop{\'{e}}rabilit{\'{e}} avec Objective Caml},
  journal      = {Tech. Sci. Informatiques},
  volume       = {24},
  number       = {9},
  pages        = {1055--1080},
  year         = {2005},
  url          = {https://doi.org/10.3166/tsi.24.1055-1080},
  doi          = {10.3166/TSI.24.1055-1080},
  timestamp    = {Wed, 24 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsi/ChaillouxHM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rivf/ChaillouxMP04,
  author       = {Emmanuel Chailloux and
                  Rapha{\"{e}}l Montelatici and
                  Bruno Pagano},
  title        = {CamIL: Un compilateur Objective Caml vers .NET},
  booktitle    = {Actes de la Deuxieme Conference Internationale Associant Chercheurs
                  Vietnamiens et Francophones en Informatique, Hano{\"{\i}} Vietnam,
                  2-5 F{\'{e}}vrier 2004},
  pages        = {147--152},
  year         = {2004},
  url          = {http://e-ifi.org/rivf/2004/proceedings/ArticlesRIVR\_04/p147-152.pdf},
  timestamp    = {Mon, 06 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rivf/ChaillouxMP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tlca/Montelatici03,
  author       = {Rapha{\"{e}}l Montelatici},
  editor       = {Martin Hofmann},
  title        = {Polarized Proof Nets with Cycles and Fixpoints Semantics},
  booktitle    = {Typed Lambda Calculi and Applications, 6th International Conference,
                  {TLCA} 2003, Valencia, Spain, June 10-12, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2701},
  pages        = {256--270},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44904-3\_18},
  doi          = {10.1007/3-540-44904-3\_18},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/tlca/Montelatici03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}